Incremental requirements specification withLotos

被引：3
|
作者：
K. J. Turner
机构：
[1] University of Stirling,Department of Computing Science and Mathematics
来源：
Requirements Engineering | 1997年 / 2卷 / 3期
关键词：
Constraint; Formal method; LOTOS (Language Of Temporal Ordering Specification); Requirements; Specification;
D O I：
10.1007/BF02802772
中图分类号：
学科分类号：
摘要：
The importance of formally and incrementally specifying requirements is discussed. An approach based on LOTOS (Language Of Temporal Ordering Specification) is proposed that exploits desirable characteristics of the constraint-oriented style. The nature of constraint-oriented specification is discussed at some length, and guidelines for how to use it effectively with LOTOS are presented. Small introductory examples lead to the incremental specification of a file access system using the approach in the paper. It is shown how the requirements for the file access system can be gradually formalised, leading to a complete system specification.
引用
收藏
页码：132 / 151
页数：19
相关论文
共 50 条
  • [21] The Role of Groupware in Requirements Specification
    Robert Davison
    Group Decision and Negotiation, 2000, 9 : 149 - 160
  • [22] AN EXAMINATION OF REQUIREMENTS SPECIFICATION LANGUAGES
    TSE, TH
    PONG, L
    COMPUTER JOURNAL, 1991, 34 (02): : 143 - 152
  • [23] AN INCREMENTAL SPECIFICATION OF THE SLIDING-WINDOW PROTOCOL
    PALIWODA, K
    SANDERS, JW
    DISTRIBUTED COMPUTING, 1991, 5 (02) : 83 - 94
  • [24] Incremental Verification Techniques for an Updated Architectural Specification
    Mitra, Srobona
    Ghosh, Priyankar
    Dasgupta, Pallab
    Chakrabarti, Partha P.
    2009 ANNUAL IEEE INDIA CONFERENCE (INDICON 2009), 2009, : 205 - 208
  • [25] A Concurrent Specification of an Incremental DFA Minimisation Algorithm
    Strauss, Tinus
    Kourie, Derrick G.
    Watson, Bruce W.
    PROCEEDINGS OF THE PRAGUE STRINGOLOGY CONFERENCE 2008, 2008, : 218 - 226
  • [26] SDE - INCREMENTAL SPECIFICATION AND DEVELOPMENT OF COMMUNICATIONS SOFTWARE
    ICHIKAWA, H
    ITOH, M
    KATO, J
    TAKURA, A
    SHIBASAKI, M
    IEEE TRANSACTIONS ON COMPUTERS, 1991, 40 (04) : 553 - 561
  • [27] Flexible incremental development by integrating specification and code
    Schmid, P
    Hofmeister, C
    Proceedings of the IASTED International Conference on Software Engineering, 2004, : 160 - 165
  • [28] A Requirements Specification Case Study with ProjectIT-Studio/Requirements
    Ferreira, David
    da Silva, Alberto Rodrigues
    APPLIED COMPUTING 2008, VOLS 1-3, 2008, : 656 - 657
  • [29] Using the Requirements Specification to Infer the Implicit Test Status of Requirements
    Morciniec, Tobias
    Podelski, Andreas
    2015 IEEE 23RD INTERNATIONAL REQUIREMENTS ENGINEERING CONFERENCE (RE), 2015, : 362 - 371
  • [30] Software requirements specification database based on requirements frame model
    Ohnishi, A
    PROCEEDINGS OF THE SECOND INTERNATIONAL CONFERENCE ON REQUIREMENTS ENGINEERING, 1996, : 221 - 228
12345