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 条
  • [31] An Evaluation of Requirements Specification Capability Index
    Yamamoto, Shuichiro
    KNOWLEDGE-BASED AND INTELLIGENT INFORMATION & ENGINEERING SYSTEMS, 2017, 112 : 998 - 1006
  • [32] Specification of visual requirements for regularity of joints
    Archit Sci Rev, 3 (99-104):
  • [33] PRODUCT SPECIFICATION REQUIREMENTS FOR ENGINEERING STEELS
    WELBURN, RW
    IRONMAKING & STEELMAKING, 1985, 12 (03) : 136 - 142
  • [34] On agile performance requirements specification and testing
    Ho, Chih-Wei
    Johnson, Michael J.
    Williams, Laurie
    Maximilien, E. Michael
    AGILE 2006, PROCEEDINGS, 2006, : 47 - +
  • [35] On the use of visualization in formal requirements specification
    Dulac, N
    Viguier, T
    Leveson, N
    Storey, MA
    IEEE JOINT INTERNATIONAL CONFERENCE ON REQUIREMENTS ENGINEERING, PROCEEDINGS, 2002, : 71 - 80
  • [36] MEASUREMENTS IN SOFTWARE REQUIREMENTS SPECIFICATION PROCESS
    GYORKOS, J
    MICROPROCESSING AND MICROPROGRAMMING, 1994, 40 (10-12): : 893 - 896
  • [37] A linguistic patterns approach for requirements specification
    Videira, Carlos
    Ferreira, David
    da Silva, Alberto Rodrigues
    32ND EUROMICRO CONFERENCE ON SOFTWARE ENGINEERING AND ADVANCED APPLICATIONS (SEAA) - PROCEEDINGS, 2006, : 302 - +
  • [38] Requirements, primitives and models for systems specification
    Marcon, CAM
    Calazans, NLV
    Moraes, FG
    15TH SYMPOSIUM ON INTEGRATED CIRCUITS AND SYSTEMS DESIGN, PROCEEDINGS, 2002, : 323 - 328
  • [39] An Automated Approach for Requirements Specification Maintenance
    Garcia, Jorge Esparteiro
    Paiva, Ana C. R.
    NEW ADVANCES IN INFORMATION SYSTEMS AND TECHNOLOGIES, VOL 1, 2016, 444 : 827 - 833
  • [40] Stability prediction of the software requirements specification
    José del Sagrado
    Isabel M. del Águila
    Software Quality Journal, 2018, 26 : 585 - 605
12345