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 条
  • [41] Detecting defects in software requirements specification
    Alshazly, Amira A.
    Elfatatry, Ahmed M.
    Abougabal, Mohamed S.
    ALEXANDRIA ENGINEERING JOURNAL, 2014, 53 (03) : 513 - 527
  • [42] Requirements specification and modeling through SysML
    Soares, Michel dos Santos
    Vrancken, Jos
    2007 IEEE INTERNATIONAL CONFERENCE ON SYSTEMS, MAN AND CYBERNETICS, VOLS 1-8, 2007, : 2138 - 2143
  • [43] A generic approach to the formal specification of requirements
    Peper, C
    Gotzhein, R
    Kronenburg, M
    FIRST IEEE INTERNATIONAL CONFERENCE ON FORMAL ENGINEERING METHODS, PROCEEDINGS, 1997, : 252 - 261
  • [44] Ontologies in Checking for Inconsistency of Requirements Specification
    Kroha, P.
    Janetzko, R.
    Labra, J. E.
    2009 THIRD INTERNATIONAL CONFERENCE ON ADVANCES IN SEMANTIC PROCESSING, 2009, : 32 - +
  • [45] Interpreting specification requirements on visible contamination
    Carrick, David
    Whitehouse, Nigel
    Huntley, Rick
    Alblas, B.P.
    Journal of Protective Coatings and Linings, 2002, 19 (09): : 33 - 34
  • [46] A platform for web augmentation requirements specification
    Firmenich, Diego
    Firmenich, Sergio
    Rivero, José MatíAs
    Antonelli, Leandro
    Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), 2014, 8541
  • [47] Problem of Incompleteness in Textual Requirements Specification
    Senkyr, David
    Kroha, Petr
    ICSOFT: PROCEEDINGS OF THE 14TH INTERNATIONAL CONFERENCE ON SOFTWARE TECHNOLOGIES, 2019, : 323 - 330
  • [48] Knowledge Identification from Requirements Specification
    Barra, Eduardo
    Morato, Jorge
    LANGUAGES, APPLICATIONS AND TECHNOLOGIES, SLATE 2015, 2015, 563 : 264 - 270
  • [49] Duration calculus in the specification of safety requirements
    Veloudis, S
    Nissanke, N
    FORMAL TECHNIQUES IN REAL-TIME AND FAULT-TOLERANT SYSTEMS, 1998, 1486 : 103 - 112
  • [50] Specification and allocation of reliability and availability requirements
    Hagmark, Per-Erik
    Virtanen, Seppo
    2006 PROCEEDINGS - ANNUAL RELIABILITY AND MAINTAINABILITY SYMPOSIUM, VOLS 1 AND 2, 2006, : 304 - +
12345