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 条
  • [41] Norms and standards for pyrolysis liquids. End-user requirements and specifications
    Oasmaa, A
    Peacocke, C
    Gust, S
    Meier, D
    McLellan, R
    ENERGY & FUELS, 2005, 19 (05) : 2155 - 2163
  • [42] Formal specifications and CASE
    Richta, K
    Vlk, T
    SYSTEMS DEVELOPMENT METHODS FOR THE NEXT CENTURY, 1997, : 313 - 325
  • [43] TESTABILITY OF FORMAL SPECIFICATIONS
    VANDEBURGT, SP
    KROON, J
    PEETERS, AM
    IFIP TRANSACTIONS C-COMMUNICATION SYSTEMS, 1992, 8 : 63 - 77
  • [44] Formal specifications of debuggers
    Zhu, MY
    ACM SIGPLAN NOTICES, 2001, 36 (09) : 54 - 63
  • [45] From user requirements to commonality specifications: an integrated approach to product family design
    Simpson, Timothy W.
    Bobuk, Aaron
    Slingerland, Laura A.
    Brennan, Sean
    Logan, Drew
    Reichard, Karl
    RESEARCH IN ENGINEERING DESIGN, 2012, 23 (02) : 141 - 153
  • [46] Requirements-related fault prevention during the transformation from formal specifications to programs
    Li, Jiandong
    Liu, Shaoying
    IET SOFTWARE, 2023, 17 (03) : 316 - 332
  • [47] Eddy, a formal language for specifying and analyzing data flow specifications for conflicting privacy requirements
    Travis D. Breaux
    Hanan Hibshi
    Ashwini Rao
    Requirements Engineering, 2014, 19 : 281 - 307
  • [48] From Extraction of Logical Specifications to Deduction-Based Formal Verification of Requirements Models
    Klimek, Radoslaw
    SOFTWARE ENGINEERING AND FORMAL METHODS, SEFM 2013, 2013, 8137 : 61 - 75
  • [49] Eddy, a formal language for specifying and analyzing data flow specifications for conflicting privacy requirements
    Breaux, Travis D.
    Hibshi, Hanan
    Rao, Ashwini
    REQUIREMENTS ENGINEERING, 2014, 19 (03) : 281 - 307
  • [50] User Interface Prototype Generation from Agile Requirements Specifications written in Concordia
    Pinto, Thiago Delgado
    Goncalves, Willian Inacio
    Costa, Pablo Veiga
    WEBMEDIA 2019: PROCEEDINGS OF THE 25TH BRAZILLIAN SYMPOSIUM ON MULTIMEDIA AND THE WEB, 2019, : 61 - 64
12345