Elicitation of Formal Software Specifications from an Object-Oriented Domain Model
Timothy Karagias · 1996
:::::::::::::::::::::::::::::::::::::::: viii I. Introduction :::::::::::::::::::::::::::::::::: 1-1 1.1 Background :::::::::::::::::::::::::::: 1-1 1.2 Problem :::::::::::::::::::::::::::::: 1-3 1.3 Initial AssessmentofPast E#ort :::::::::::::::: 1-5 1.4 Assumptions ::::::::::::::::::::::::::: 1-6 1.5 Scope ::::::::::::::::::::::::::::::: 1-7 1.6 Research Objective :::::::::::::::::::::::: 1-7 1.7 Approach ::::::::::::::::::::::::::::: 1-7 1.8 Conclusion :::::::::::::::::::::::::::: 1-9 II. Literature Search ::::::::::::::::::::::::::::::: 2-1 2.1 Introduction ::::::::::::::::::::::::::: 2-1 2.2 Domain Analysis Overall Implementation ::::::::::: 2-1 2.2.1 The First Step: Planning ::::::::::::::: 2-1 2.2.2 Developing Software Within A Domain ::::::: 2-3 2.2.3 The Avionics Domain Application Generation Environment #ADAGE# ::::::::::::::::::: 2-5 2.2.4 Model-Based Reuse Repositories ::::::::::: 2-6 2.3 Formal Representations of Domains :::::::::::::: 2-8 2.3.1 Language-Oriented Programm...