Reasoning about software specifications - A case study
7th Computers in Aerospace Conference ; 1989 ; Monterey , CA , U.S.A.
1989-01-01
Aufsatz (Konferenz)
Elektronische Ressource
Englisch
Case-Based Reasoning for Software Design Reuse
British Library Conference Proceedings | 2005
|Specifications for IDAMST Software
NTIS | 1977
|Tailoring software acquisition specifications
Tema Archiv | 1976
|Reasoning about procedural knowledge
AIAA | 1985
|Model checking large software specifications
Tema Archiv | 1997
|