Methodological support for requirements elicitation and formal specification

被引：4
|
作者：
Heisel, M [1 ]
Souquieres, J [1 ]
机构：
[1] Univ Magdeburg, Fak Informat, D-39016 Magdeburg, Germany
来源：
NINTH INTERNATIONAL WORKSHOP ON SOFTWARE SPECIFICATION AND DESIGN, PROCEEDINGS | 1998年
关键词：
D O I：
10.1109/IWSSD.1998.667932
中图分类号：
TP31 [计算机软件];
学科分类号：
081202 ; 0835 ;
摘要：
We propose a method for the elicitation and the expression of requirements. The requirements can then be transformed in a systematic may into a formal specification that is a suitable basis for design and implementation of a software system. The approach - which distinguishes between requirements and specifications - gives methodological support for requirements elicitation and specification development. It does not introduce a new language but builds on known techniques.
引用
收藏
页码：153 / 155
页数：3
相关论文
共 50 条
  • [1] A method for requirements elicitation and formal specification
    Heisel, M
    Souquières, J
    CONCEPTUAL MODELING - ER'99, 1999, 1728 : 309 - 324
  • [2] Tool Support for Reuse-Driven Elicitation and Specification of User Requirements
    Schnitzhofer, Peter
    Schnitzhofer, Florian
    Ramler, Rudolf
    2014 40TH EUROMICRO CONFERENCE SERIES ON SOFTWARE ENGINEERING AND ADVANCED APPLICATIONS (SEAA 2014), 2014, : 267 - 268
  • [3] Effect-oriented Requirements Elicitation and Specification
    Ronneberger, Torsten
    Uenalan, Oezguer
    Eisenbarth, Michael
    Hess, Anne
    2013 IEEE INTELLIGENT VEHICLES SYMPOSIUM WORKSHOPS (IV WORKSHOPS), 2013, : 49 - 56
  • [4] Towards a Formal Framework for Normative Requirements Elicitation
    Feng, Nick
    Marsso, Lina
    Yaman, Sinem Getir
    Townsend, Beverley
    Cavalcanti, Ana
    Calinescu, Radu
    Chechik, Marsha
    2023 38TH IEEE/ACM INTERNATIONAL CONFERENCE ON AUTOMATED SOFTWARE ENGINEERING, ASE, 2023, : 1776 - 1780
  • [5] 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
  • [6] 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
  • [7] REQUIREMENTS ELICITATION FOR DISRUPTION MANAGEMENT SUPPORT
    Dadashi, N.
    Golightly, D.
    Sharples, S.
    RAIL HUMAN FACTORS: SUPPORTING RELIABILITY, SAFETY AND COST REDUCTION, 2013, : 399 - 408
  • [8] Security Requirements Specification: A Formal Method Perspective
    Mishra, Aditya Dev
    Mustafa, K.
    PROCEEDINGS OF THE 7TH INTERNATIONAL CONFERENCE ON COMPUTING FOR SUSTAINABLE GLOBAL DEVELOPMENT (INDIACOM-2020), 2019, : 113 - 117
  • [9] Tools for formal specification, verification, and validation of requirements
    Heitmeyer, C
    Kirby, J
    Labaw, B
    COMPASS '97 - ARE WE MAKING PROGRESS TOWARDS COMPUTER ASSURANCE?, 1997, : 35 - 47
  • [10] FORMAL SPECIFICATION OF INFORMATION SYSTEMS REQUIREMENTS.
    Kampfner, Roberto R.
    Information Processing and Management, 1985, 21 (05): : 401 - 414
12345