Application of Formal Methods to Scenario-based Requirements Engineering
INTERNATIONAL JOURNAL OF COMPUTERS AND APPLICATIONS ; 23 ; 141-151
2001-01-01
11 pages
Article (Journal)
English
| 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 Archive | 2007
Scenario Assisted Requirements Identification
| British Library Conference Proceedings | 1996
Experiences using lightweight formal methods for requirements modeling
| Tema Archive | 1998