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 条

[21] Formal validation and requirements management based on the Jackson's reference model for requirements and specifications
Collaborative Research Team for Verification, National Institute of Advanced Industrial Science and Technology , Japan
Proc. - IEEE Pac. Rim Int. Symp. Dependable Comput., PRDC, (251-252):
[22] USER REQUIREMENTS AND PERFORMANCE SPECIFICATIONS FOR EXPLOSIVE VAPOR DETECTION SYSTEMS
LUCERO, DP
JOURNAL OF TESTING AND EVALUATION, 1985, 13 (03) : 222 - 231
[23] User requirements and design specifications of isolator containment for pharmaceutical production
Sirch, E
INSTITUTE OF ENVIRONMENTAL SCIENCES AND TECHNOLOGY, 1998 PROCEEDINGS - CONTAMINATION CONTROL, 1998, : 340 - 343
[24] A derivation strategy for formal specifications from natural language requirements models
Mauco, Maria Virginia
Leonardi, Maria Carmen
COMPUTING AND INFORMATICS, 2007, 26 (04) : 421 - 445
[25] Toward Learning Realizable Scenario-based, Formal Requirements Specifications
Schmelter, David
Greenyer, Joel
Holtmann, Joerg
2017 IEEE 25TH INTERNATIONAL REQUIREMENTS ENGINEERING CONFERENCE WORKSHOPS (REW), 2017, : 372 - 378
[26] Use Of Formal Languages To Represent The ERTMS/ETCS System Requirements Specifications
Piccolo, Antonio
Galdi, Vincenzo
Senesi, Fabio
Malangone, Raffaele
2015 INTERNATIONAL CONFERENCE ON ELECTRICAL SYSTEMS FOR AIRCRAFT, RAILWAY, SHIP PROPULSION AND ROAD VEHICLES (ESARS), 2015,
[27] Formal Analysis of Privacy Requirements Specifications for Multi-tier Applications
Breaux, Travis D.
Rao, Ashwini
2013 21ST IEEE INTERNATIONAL REQUIREMENTS ENGINEERING CONFERENCE (RE), 2013, : 14 - 23
[28] Which widgets? Transforming formal user-interface specifications to implementations
Hussey, A
Carrington, D
PROCEEDINGS OF THE 21ST AUSTRALASIAN COMPUTER SCIENCE CONFERENCE, ACSC'98, 1998, 20 (01): : 295 - 306
[29] Gathering and synthesizing information during the development of user requirements and engineering specifications
Mohedas, Ibrahim
Daly, Shanna R.
Sienko, Kathleen H.
2014 ASEE ANNUAL CONFERENCE, 2014,
[30] From user requirements to software specifications: An approach based on problem transformation
College of Computer Science and Information Technology, Guangxi Normal University, Guilin 541004, China
不详
不详
Ruan Jian Xue Bao, 2013, 5 (961-976):

← 1 2 3 4 5 →