ASE 1992
25 papers
- A code synthesis experiment
- A knowledge-based software development environment for scientific model-building
- A knowledge-based software process library for process-driven software development
- Automatic composition of data structures to represent relations
- CAESAR: a system for case based software reuse
- DoD's software technology plans: what do they mean for KBSE, and what does it mean for them?
- Domain abstractions in requirements engineering: an exemplar approach?
- Domain-oriented design environments
- Educating knowledge-based software engineers
- Efficiently computing derived performance data
- Explorations on the formal frontier of distributed system design
- Knowledge-based constraint-driven software synthesis
- Knowledge-based support for scientific programming
- Managing design knowledge to provide assistance to large-scale software development
- Program concept recognition
- Program understanding - does it offer hope for aging software?
- Prototyping VDM specifications with KIDS
- Reusing database queries in analogical domains
- Simulating the Gries/Dijkstra design process
- Software design by reusing architectures
- Software reuse through view type clusters
- Software synthesis shell SOFTEX/S
- Towards a logic-based reconstruction of software configuration management
- Track assignment in an air traffic control system: a rational reconstruction of system design
- Transformation of a semi-formal specification to VDM