A knowledge based approach to software development: ESPRIT project ASPIS

Introduction. The ASPIS Development Method. The Languages used in ASPIS. Part I: ASPIS in Operation. Specification of Requirements: Starting the Analysis. Performing Functional Analysis. Performing Data Analysis. Specifying the Non-Functional Requirements. Constructing a Specification from Reusable Components. Prototyping: The Prototyping Environment. Edit Facility. Check Facility. Execute Facility. Design: Introduction to the Design Assistant. General Facilities. General Hardware Design. General Software Design. Software-Hardware Connection. Detailed Software Design. Control of Change: General Description of the Marks Mechanism. Changes in the Requirements. Changes in Design. Knowledge Acquisition: General Nature of Knowledge Acquisition. Knowledge Acquisition Sessions for ASPIS. The Domain Knowledge Base Editor. Part II: Design of the ASPIS System. The Infrastructure of ASPIS: The Knowledge Representation System. User Interface. The Synonym Facility. The Analysis Assistant: Methodical Knowledge Representation. Domain Knowledge Base Network. The Editors and the Documents Database. The Design Assistant: Software Translation. Hardware Translation. The Hardware Architecture. Hardware and Software Editors. Viewpoints. Marks. The Reuse Assistant: The Reuse Assistant Architecture. Interaction with the Development Assistants. The Prototyping Assistant: Compilation of Requirement Specifications. Execution of Requirement Specifications. Part III: Discussion. The ASPIS Approach to Systems' Development. References. Appendix.