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 条
  • [1] Specification of Incremental Requirements Upstream of System Design
    Damouche, Nasrine
    2022 6TH INTERNATIONAL CONFERENCE ON SYSTEM RELIABILITY AND SAFETY, ICSRS, 2022, : 212 - 216
  • [2] Formal incremental requirements specification of service-oriented automotive software systems
    Hartmann, J.
    Rittmann, S.
    Wild, D.
    Scholz, P.
    SOSE 2006: SECOND IEEE INTERNATIONAL SYMPOSIUM ON SERVICE-ORIENTED SYSTEM ENGINEERING, PROCEEDINGS, 2006, : 130 - +
  • [3] A Reflective Requirements Specification for Requirements Evolving
    Yuan Wen-jie
    Ying Shi
    THIRD INTERNATIONAL CONFERENCE ON GENETIC AND EVOLUTIONARY COMPUTING, 2009, : 23 - 26
  • [4] Incremental specification of telecommunication services
    Mermet, B
    Mery, D
    FIRST IEEE INTERNATIONAL CONFERENCE ON FORMAL ENGINEERING METHODS, PROCEEDINGS, 1997, : 60 - 69
  • [5] A practical approach to incremental specification
    Lakos, C
    Lewis, G
    FORMAL METHODS FOR OPEN OBJECT-BASED DISTRIBUTED SYSTEMS IV, 2000, 49 : 233 - 256
  • [6] REQUIREMENTS SPECIFICATION IN TEMPORA
    THEODOULIDIS, C
    WANGLER, B
    LOUCOPOULOS, P
    LECTURE NOTES IN COMPUTER SCIENCE, 1990, 436 : 264 - 282
  • [7] Requirements and Specification Exemplars
    Feather M.S.
    Fickas S.
    Finkelstein A.
    Van Lamsweerde A.
    Automated Software Engineering, 1997, 4 (4) : 419 - 438
  • [8] Requirements and specification exemplars
    Feather, M.S.
    Fickas, S.
    Finkelstein, A.
    van Lamsweerde, A.
    Automated Software Engineering, 1997, 4 (04): : 419 - 438
  • [9] Statestep: A tool for systematic, incremental specification
    Breen, M
    ICSE 2004: 26TH INTERNATIONAL CONFERENCE ON SOFTWARE ENGINEERING, PROCEEDINGS, 2004, : 711 - 712
  • [10] Incremental requirement specification for evolving systems
    Jonsson, B
    Margaria, T
    Naeser, G
    Nyström, J
    Steffen, B
    FEATURE INTERACTIONS IN TELECOMMUNICATIONS AND SOFTWARE SYSTEMS VI, 2000, : 145 - 162
12345