Application of Formal Methods to Scenario-based Requirements Engineering
INTERNATIONAL JOURNAL OF COMPUTERS AND APPLICATIONS ; 23 ; 141-151
01.01.2001
11 pages
Aufsatz (Zeitschrift)
Englisch
DDC: | 004.16 |
© Metadata Copyright the British Library Board and other contributors. All rights reserved.
Formal methods and temporal safety requirements: A level crossing application
Tema Archiv | 2007
|Scenario Assisted Requirements Identification
British Library Conference Proceedings | 1996
|Experiences using lightweight formal methods for requirements modeling
Tema Archiv | 1998
|