Result 141 to 160 of 234 total
The DSD schema language. (English)
Autom. Softw. Eng. 9, No. 3, 285-319 (2002).
141
Creating high confidence in a separation kernel. (English)
Autom. Softw. Eng. 9, No. 3, 263-284 (2002).
142
Specification, validation, and synthesis of email agent controllers: A case study in function rich reactive system design. (English)
Autom. Softw. Eng. 9, No. 3, 233-261 (2002).
143
Proving invariants of I/O automata with TAME. (English)
Autom. Softw. Eng. 9, No. 3, 201-232 (2002).
144
Enterprise modeling and decision-support for automating the business rules lifecycle. (English)
Autom. Softw. Eng. 9, No. 4, 361-404 (2002).
145
On the automatic recovery of style-specific architectural relations in software systems. (English)
Autom. Softw. Eng. 9, No. 4, 331-360 (2002).
146
Non-intrusive detection of synchronization errors using execution replay. (English)
Autom. Softw. Eng. 9, No. 1, 95-121 (2002).
147
Kima: An automated error correction system for concurrent logic programs. (English)
Autom. Softw. Eng. 9, No. 1, 67-94 (2002).
148
Static and dynamic slicing of constraint logic programs. (English)
Autom. Softw. Eng. 9, No. 1, 41-65 (2002).
149
Extension language automation of embedded system debugging. (English)
Autom. Softw. Eng. 9, No. 1, 7-39 (2002).
150
The automated refinement of a requirements domain theory. (English)
Autom. Softw. Eng. 8, No. 2, 195-218 (2001).
151
Logic program synthesis as problem reduction using combining forms. (English)
Autom. Softw. Eng. 8, No. 2, 167-193 (2001).
152
Predictive software. (English)
Autom. Softw. Eng. 8, No. 2, 139-166 (2001).
153
An approach for recovering distributed system architectures. (English)
Automated Software Engineering 8, No.3-4, 311-354 (2001).
154
Model checking interactor specifications. (English)
Automated Software Engineering 8, No.3-4, 275-310 (2001).
155
Automatic real-time analysis of reactive systems with the PARTS toolset. (English)
Automated Software Engineering 8, No.3-4, 227-273 (2001).
156
Software engineering books for desert island reading. (English)
Automated Software Engineering 8, No.1, 121-123 (2001).
157
Evolving object-oriented designs with refactorings. (English)
Automated Software Engineering 8, No.1, 89-120 (2001).
158
Modeling architecture description languages using AML. (English)
Automated Software Engineering 8, No.1, 63-88 (2001).
159
Automatic generation of test oracles ‒ from pilot studies to application. (English)
Automated Software Engineering 8, No.1, 31-61 (2001).
160
Result 141 to 160 of 234 total
Start
Contact
Print
General Help
