Entity usage

This page lists pages that use the given entity (e.g. Q42). The list is sorted by descending page ID, so that newer pages are listed first.

Showing below up to 30 results in range #1 to #30.

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