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
|