A generic approach to the formal specification of requirements

被引：1
|
作者：
Peper, C
Gotzhein, R
Kronenburg, M
机构：
来源：
FIRST IEEE INTERNATIONAL CONFERENCE ON FORMAL ENGINEERING METHODS, PROCEEDINGS | 1997年
关键词：
D O I：
10.1109/ICFEM.1997.630432
中图分类号：
TP [自动化技术、计算机技术];
学科分类号：
0812 ;
摘要：
A generic approach to the formal specification of system requirements is presented. It is based on a pool of requirement patterns, which are related to design patterns well-known in object-oriented software development. The application of such patterns enhances the reusability and genericity as well as the intelligibility of the formal requirement specification. The approach is instantiated by a tailored real-time temporal logic and by selecting building-automation systems as application domain. With respect to this domain, the pattern discovery and reuse tasks are explained and illustrated, and a set of typical requirement patterns is presented. The approach has the potential of reducing the effort to formally specify system requirements.
引用
收藏
页码：252 / 261
页数：10
相关论文
共 50 条
  • [31] Formal Specification and Analysis Approaches for Spacecraft Attitude Control Requirements
    Gross, Kerianne H.
    2017 IEEE AEROSPACE CONFERENCE, 2017,
  • [32] Security requirements specification by formal methods: a research metadata analysis
    Aditya Dev Mishra
    Khurram Mustafa
    Multimedia Tools and Applications, 2024, 83 : 41847 - 41866
  • [33] Translating Software Requirements from Natural Language to Formal Specification
    Fatwanto, Agung
    2012 IEEE INTERNATIONAL CONFERENCE ON COMPUTATIONAL INTELLIGENCE AND CYBERNETICS (CYBERNETICSCOM), 2012, : 148 - 152
  • [34] AN AXIOMATIC MODEL FOR FORMAL SPECIFICATION REQUIREMENTS OF UBIQUITOUS HEALTHCARE SYSTEMS
    Gawanmeh, Amjad
    2013 IEEE CONSUMER COMMUNICATIONS AND NETWORKING CONFERENCE (CCNC), 2013, : 898 - 902
  • [35] Automated conversion from a requirements document to an executable formal specification
    Lee, BS
    16TH ANNUAL INTERNATIONAL CONFERENCE ON AUTOMATED SOFTWARE ENGINEERING (ASE 2001), PROCEEDINGS, 2001, : 437 - 437
  • [36] A semi-formal specification for a generic model of artificial stock markets
    Benhammada, Sadek
    Chikhi, Salim
    ICCS 2010 - INTERNATIONAL CONFERENCE ON COMPUTATIONAL SCIENCE, PROCEEDINGS, 2010, 1 (01): : 1459 - 1468
  • [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] 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
  • [39] Cardion.spec: An Approach to Improve the Requirements Specification Written in the Natural Language Through the Formal Method
    Ito, Masao
    SYSTEMS, SOFTWARE AND SERVICES PROCESS IMPROVEMENT, EUROSPI 2016, 2016, 633 : 58 - 69
  • [40] The SCR approach to requirements specification and analysis
    Faulk, S
    Heitmeyer, C
    RE '97 - PROCEEDINGS OF THE THIRD IEEE INTERNATIONAL SYMPOSIUM ON REQUIREMENTS ENGINEERING, 1997, : 263 - 263
12345