Combining formal specification methods and informal specification methods for requirement analysis

被引：0
|
作者：
Zhang, LC
机构：
来源：
1997 IEEE PACIFIC RIM CONFERENCE ON COMMUNICATIONS, COMPUTERS AND SIGNAL PROCESSING, VOLS 1 AND 2: PACRIM 10 YEARS - 1987-1997 | 1997年
关键词：
D O I：
暂无
中图分类号：
TP3 [计算技术、计算机技术];
学科分类号：
0812 ;
摘要：
In this paper, we advocate an approach to model the required software process with the structured methods, and then to apply formal analysis procedures to the model in order to ensure that the software requirements model satisfies required system function and performance goals and constraints, including safety. In this paper, we experiment the combination DFDs method and Interval Temporal Logic for requirement analysis. A particular example, the controller for a system of passenger lifts, is chosen for illustration.
引用
收藏
页码：444 / 447
页数：4
相关论文
共 50 条
  • [21] A Platform for Requirement Based Formal Specification
    Pross, Uwe
    Markert, Erik
    Langer, Jan
    Richter, Andreas
    Drechsler, Chris
    Heinkel, Ulrich
    2008 FORUM ON SPECIFICATION, VERIFICATION AND DESIGN LANGUAGES, 2008, : 237 - 238
  • [22] A Formal Methods Approach to Security Requirements Specification and Verification
    Rouland, Quentin
    Hamid, Brahim
    Bodeveix, Jean-Paul
    Filali, Mamoun
    2019 24TH INTERNATIONAL CONFERENCE ON ENGINEERING OF COMPLEX COMPUTER SYSTEMS (ICECCS 2019), 2019, : 236 - 241
  • [23] Formal methods integration for the specification of dependable distributed systems
    Mazzocca, N
    Russo, S
    Vittorini, V
    JOURNAL OF SYSTEMS ARCHITECTURE, 1997, 43 (10) : 671 - 685
  • [24] Technology transfer issues for formal methods of software specification
    Furman Univ, Greenville, United States
    Software Engineering Education Conference, Proceedings, 2000, : 23 - 31
  • [25] FORMAL SPECIFICATION TECHNIQUES AND STRUCTURED METHODS OF ANALYSIS IN SCIENTIFIC INDUSTRIAL-SYSTEMS
    MAJ, SP
    ANALYTICA CHIMICA ACTA, 1990, 238 (01) : 79 - 82
  • [26] Formal Specification Generation from Requirement Documents
    Cabral, Gustavo
    Sampaio, Augusto
    ELECTRONIC NOTES IN THEORETICAL COMPUTER SCIENCE, 2008, 195 (171-188) : 171 - 188
  • [27] Experiences of using formal methods for chemical process control specification
    Lano, K
    Bicarregui, J
    Kan, P
    CONTROL ENGINEERING PRACTICE, 2000, 8 (01) : 71 - 79
  • [28] Comparison of formal specification methods and object-oriented paradigms
    Iglewski, M
    Muldner, T
    JOURNAL OF NETWORK AND COMPUTER APPLICATIONS, 1997, 20 (04) : 355 - 377
  • [29] Experience with applying formal methods to protocol specification and system architecture
    Azimi, M
    Chou, CT
    Kumar, A
    Lee, VW
    Mannava, PK
    Park, S
    FORMAL METHODS IN SYSTEM DESIGN, 2003, 22 (02) : 109 - 116
  • [30] Experience with Applying Formal Methods to Protocol Specification and System Architecture
    Mani Azimi
    Ching-Tsun Chou
    Akhilesh Kumar
    Victor W. Lee
    Phamndra K. Mannava
    Seungjoon Park
    Formal Methods in System Design, 2003, 22 : 109 - 116
12345