Formal specifications of user requirements

被引：5
|
作者：
Clark R.G. [1 ]
Moreira A.M.D. [2 ]
机构：
[1] Dept. of Comp. Sci. and Mathematics, University of Stirling
[2] Departamento de Informática, Faculdade de Cie. e Tecnologia, Universidade Nova de Lisboa
来源：
Automated Software Engineering | 1999年 / 6卷 / 3期
关键词：
formal development; requirements specification; object-oriented analysis; LOTOS; user-centred model;
D O I：
10.1023/A:1008752609513
中图分类号：
学科分类号：
摘要：
There is a wide gap between informal requirements and a formal object-oriented specification. To help bridge this gap, we propose that a formal and executable user-centred model should be constructed initially. The user-centred model, which specifies the behaviour that the environment expects from the system, is expressed in terms of agent views and gives very early feedback to the requirements' capture process. Once the user-centred model has been validated with respect to the environment, it can be used as a step in the construction and validation of the formal object-oriented specification.
引用
收藏
页码：217 / 232
页数：15
相关论文
共 50 条
  • [31] Bridging the Gap Between Requirements Document and Formal Specifications using Development Patterns
    Sayar, Imen
    Souquieres, Jeanine
    2019 IEEE 27TH INTERNATIONAL REQUIREMENTS ENGINEERING CONFERENCE WORKSHOPS (REW 2019), 2019, : 116 - 122
  • [32] Abstraction Based Automated Test Generation from Formal Tabular Requirements Specifications
    Degiovanni, Renzo
    Ponzio, Pablo
    Aguirre, Nazareno
    Frias, Marcelo
    TESTS AND PROOFS, TAP 2011, 2011, 6706 : 84 - 101
  • [33] Bridging the Gap Between Informal Requirements and Formal Specifications Using Model Federation
    Golra, Fahad Rafique
    Dagnat, Fabien
    Souquieres, Jeanine
    Sayar, Imen
    Guerin, Sylvain
    SOFTWARE ENGINEERING AND FORMAL METHODS, SEFM 2018, 2018, 10886 : 54 - 69
  • [34] DEVELOPING FORMAL OBJECT-ORIENTED REQUIREMENTS SPECIFICATIONS - A MODEL, TOOL AND TECHNIQUE
    JACKSON, RB
    EMBLEY, DW
    WOODFIELD, SN
    INFORMATION SYSTEMS, 1995, 20 (04) : 273 - 289
  • [35] Translating Natural Language Requirements to Formal Specifications: A Study on GPT and Symbolic NLP
    Leong, Iat Tou
    Barbosa, Raul
    2023 53RD ANNUAL IEEE/IFIP INTERNATIONAL CONFERENCE ON DEPENDABLE SYSTEMS AND NETWORKS WORKSHOPS, DSN-W, 2023, : 259 - 262
  • [36] Analyzing Formal Requirements Specifications using an Off-The-Shelf Model Checker
    Scilingo, Gaston
    Marta Novaira, Maria
    Degiovanni, Renzo
    Aguirre, Nazareno
    PROCEEDINGS OF THE 2013 XXXIX LATIN AMERICAN COMPUTING CONFERENCE (CLEI), 2013,
  • [37] Formalising a derivation strategy for formal specifications from natural language requirements models
    Mauco, MV
    Leonardi, MC
    Riesco, D
    Montejano, G
    Debnath, N
    2005 IEEE INTERNATIONAL SYMPOSIUM ON SIGNAL PROCESSING AND INFORMATION TECHNOLOGY (ISSPIT), VOLS 1 AND 2, 2005, : 646 - 651
  • [38] Which widgets? Deriving implementations from formal user-interface specifications
    Hussey, A
    Carrington, D
    DESIGN, SPECIFICATION AND VERIFICATION OF INTERACTIVE SYSTEMS'98, 1998, : 206 - 224
  • [39] From user requirements to commonality specifications: an integrated approach to product family design
    Timothy W. Simpson
    Aaron Bobuk
    Laura A. Slingerland
    Sean Brennan
    Drew Logan
    Karl Reichard
    Research in Engineering Design, 2012, 23 : 141 - 153
  • [40] AGUTER a platform for automated generation of user acceptance tests from requirements specifications
    Antonelli, Leandro
    Camilleri, Guy
    Torres, Diego
    Zarate, Pascale
    KYBERNETES, 2023, 52 (01) : 44 - 63
12345