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] Object-oriented requirements specification for imaging systems
    Laplante, PA
    Neill, CJ
    Russell, DW
    LOW-LIGHT-LEVEL AND REAL-TIME IMAGING SYSTEMS, COMPONENTS, AND APPLICATIONS, 2003, 4796 : 189 - 199
  • [22] Software Reliability Prediction Based on a Formal Requirements Specification
    Alipour, Hooshmand
    Isazadeh, Ayaz
    ADVANCES IN COMPUTER SCIENCE AND ENGINEERING, 2008, 6 : 816 - +
  • [23] Software requirements specification: an overview from the theoretical background checking
    Toro, A.
    Galvez, J. G.
    ENTRE CIENCIA E INGENIERIA, 2016, (19): : 108 - 113
  • [24] A FRAMEWORK FOR EXPRESSING THE RELATIONSHIPS BETWEEN MULTIPLE VIEWS IN REQUIREMENTS SPECIFICATION
    NUSEIBEH, B
    KRAMER, J
    FINKELSTEIN, A
    IEEE TRANSACTIONS ON SOFTWARE ENGINEERING, 1994, 20 (10) : 760 - 773
  • [25] Empirical Evaluation of Formal Method for Requirements Specification in Agile Approaches
    Rodrigues, Peterson
    Ecar, Miguel
    Menezes, Stefane V.
    da Silva, Joao Pablo S.
    Guedes, Gilleanes T. A.
    Rodrigues, Elder M.
    PROCEEDINGS OF THE 14TH BRAZILIAN SYMPOSIUM ON INFORMATION SYSTEMS (SBSI2018), 2018, : 416 - 423
  • [26] Towards Incremental Safety and Security Requirements Co-Certification
    Andrea, Morgagni
    Philippe, Massonet
    Sbastien, Dupont
    Jeremy, Grandclaudon
    2020 IEEE EUROPEAN SYMPOSIUM ON SECURITY AND PRIVACY WORKSHOPS (EUROS&PW 2020), 2020, : 79 - 84
  • [27] Incremental Modeling of System Architecture Satisfying SysML Functional Requirements
    Carrillo, Oscar
    Chouali, Samir
    Mountassir, Hassan
    FORMAL ASPECTS OF COMPONENT SOFTWARE, 2014, 8348 : 79 - 99
  • [28] Improving Collaborative and Post-WIMP Systems through Requirements Specification
    Teruel, Miguel A.
    2014 IEEE 22ND INTERNATIONAL REQUIREMENTS ENGINEERING CONFERENCE (RE), 2014, : 461 - 466
  • [29] UML based Security Function Policy Verification Method for Requirements Specification
    Noro, Atsushi
    Matsuura, Saeko
    2013 IEEE 37TH ANNUAL COMPUTER SOFTWARE AND APPLICATIONS CONFERENCE (COMPSAC), 2013, : 832 - 833
  • [30] Preliminary experience using JetBrains MPS to implement a requirements specification language
    Savic, Dusan
    da Silva, Alberto Rodrigues
    Vlajic, Sinisa
    Lazarevic, Sasa
    Antovic, Ilija
    Stanojevic, Vojislav
    Milic, Milos
    2014 9TH INTERNATIONAL CONFERENCE ON THE QUALITY OF INFORMATION AND COMMUNICATIONS TECHNOLOGY (QUATIC), 2014, : 134 - 137
12345