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