The following pages link to Automated Software Engineering (Q185909):
Displaying 30 items.
- Special issue of selected papers from the 13th IEEE international conference on automated software engineering. ASE '98, Honolulu, HI, USA, October 13--16, 1998 (Q1569628) (← links)
- Behavioural conflicts in a causal specification (Q1857266) (← links)
- Identifying objects in procedural programs using clustering neural networks (Q1857268) (← links)
- Planning proofs of equations in CCS (Q1857269) (← links)
- Extension language automation of embedded system debugging (Q1857273) (← links)
- Static and dynamic slicing of constraint logic programs (Q1857275) (← links)
- Kima: An automated error correction system for concurrent logic programs (Q1857277) (← links)
- Non-intrusive detection of synchronization errors using execution replay (Q1857278) (← links)
- On the automatic recovery of style-specific architectural relations in software systems (Q1857281) (← links)
- Enterprise modeling and decision-support for automating the business rules lifecycle (Q1857283) (← links)
- Proving invariants of I/O automata with TAME (Q1857285) (← links)
- Specification, validation, and synthesis of email agent controllers: A case study in function rich reactive system design (Q1857286) (← links)
- Creating high confidence in a separation kernel (Q1857290) (← links)
- The DSD schema language (Q1857291) (← links)
- Mark, a reasoning kit for mobility (Q1857293) (← links)
- XMILE: An XML based approach for incremental code mobility and update (Q1857297) (← links)
- The FUSE platform: Supporting ubiquitous collaboration within diverse mobile environments (Q1857302) (← links)
- Predictive software (Q1857303) (← links)
- Logic program synthesis as problem reduction using combining forms (Q1857307) (← links)
- The automated refinement of a requirements domain theory (Q1857309) (← links)
- Executing formal specifications with concurrent constraint programming (Q1857312) (← links)
- Specifying and automatically generating a specialization tool for Fortran 90 (Q1857313) (← links)
- Industrial applications of software synthesis via category theory -- case studies using specware (Q5935933) (← links)
- Automatic generation of test oracles -- from pilot studies to application (Q5935934) (← links)
- Modeling architecture description languages using AML (Q5935935) (← links)
- Evolving object-oriented designs with refactorings (Q5935936) (← links)
- Software engineering books for desert island reading (Q5935937) (← links)
- Automatic real-time analysis of reactive systems with the PARTS toolset (Q5955432) (← links)
- Model checking interactor specifications (Q5955433) (← links)
- An approach for recovering distributed system architectures (Q5955434) (← links)
