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] A Requirements Specification Case Study with ProjectIT-Studio/Requirements
    Ferreira, David
    da Silva, Alberto Rodrigues
    APPLIED COMPUTING 2008, VOLS 1-3, 2008, : 656 - 657
  • [2] FORMALIZING TRUST REQUIREMENTS AND SPECIFICATION IN SERVICE WORKFLOW ENVIRONMENTS
    Viriyasitavat, Wattana
    Martin, Andrew
    ICEIS 2011: PROCEEDINGS OF THE 13TH INTERNATIONAL CONFERENCE ON ENTERPRISE INFORMATION SYSTEMS, VOL 3, 2011, : 196 - 206
  • [3] UML Activity Diagrams in Requirements Specification of Logic Controllers
    Grobelna, Iwona
    Grobelny, Michal
    INTERNATIONAL CONFERENCE OF COMPUTATIONAL METHODS IN SCIENCES AND ENGINEERING 2015 (ICCMSE 2015), 2015, 1702
  • [4] Domain consistency in requirements specification
    Acharya, S
    Mohanty, H
    George, C
    QSIC 2005: FIFTH INTERNATIONAL CONFERENCE ON QUALITY SOFTWARE, PROCEEDINGS, 2005, : 231 - 238
  • [5] ARES: An Agile Requirements Specification Process for Regulated Environments
    Marques, Johnny
    da Cunha, Adilson Marques
    INTERNATIONAL JOURNAL OF SOFTWARE ENGINEERING AND KNOWLEDGE ENGINEERING, 2019, 29 (10) : 1403 - 1438
  • [6] THE PROJECTIT-STUDIO/REQUIREMENTS CASE TOOL A Practical Requirements Specification Case Study
    Ferreira, David
    da Silva, Alberto Rodrigues
    ACTAS DE LA III CONFERENCIA IBERICA DE SISTEMAS Y TECNOLOGIAS DE LA INFORMACION, VOL 2, 2008, : 699 - 710
  • [7] Software Requirements Specification from a new paradigm perspective: aspects
    Ventura Roque-Hernandez, Ramon
    Diaz-Redondo, Rebeca
    Fernandez-Vilas, Ana
    CIENCIAUAT, 2012, 6 (03) : 56 - 59
  • [8] 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 - +
  • [9] Patterns and parsing techniques for requirements specification
    Videira, Carlos
    Ferreira, David
    Silva, Alberto Rodrigues
    ACTAS DA 1A CONFERENCIA IBERICA DE SISTEMAS E TECNOLOGIAS DE INFORMACAO, VOL II, 2006, : 375 - 390
  • [10] Finding Incremental Solutions for Evolving Requirements
    Ernst, Neil A.
    Borgida, Alexander
    Jureta, Ivan
    2011 19TH IEEE INTERNATIONAL REQUIREMENTS ENGINEERING CONFERENCE (RE), 2011, : 15 - 24
12345