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 条
  • [1] Human Factor of Formal Engineering Methods in Validating Requirement Specification
    Zainuddin, Fauziah Binti
    Arshah, Ruzaini Bin Abdullah
    Mohamad, Rozlina Binti
    Mokhtar, Rahmah Binti
    ADVANCED SCIENCE LETTERS, 2017, 23 (06) : 5481 - 5486
  • [2] Formal methods in fieldbus specification
    Zezulka, F
    Hintze, E
    Kucera, P
    7TH WORLD MULTICONFERENCE ON SYSTEMICS, CYBERNETICS AND INFORMATICS, VOL VII, PROCEEDINGS, 2003, : 48 - 53
  • [3] FORMAL SPECIFICATION METHODS FOR REACTIVE SYSTEMS
    FURBACH, U
    JOURNAL OF SYSTEMS AND SOFTWARE, 1993, 21 (02) : 129 - 139
  • [4] JUSTIFICATION OF FORMAL METHODS FOR SYSTEM SPECIFICATION
    COHEN, B
    SOFTWARE ENGINEERING JOURNAL, 1989, 4 (01): : 26 - 35
  • [5] Formal specification methods in engineering design
    Boriani, DV
    ISA TRANSACTIONS, 1997, 36 (02) : 123 - 129
  • [6] Applying practical formal methods to the specification and analysis of security properties
    Heitmeyer, C
    INFORMATION ASSURANCE IN COMPUTER NETWORKS: METHODS, MODELS AND ARCHITECTURES FOR NETWORK SECURITY, PROCEEDINGS, 2001, 2052 : 84 - 89
  • [7] Analysis of Formal Methods for Specification of E-Commerce Applications
    Khan, Sadiq Ali
    Jamshed, Huma
    MEHRAN UNIVERSITY RESEARCH JOURNAL OF ENGINEERING AND TECHNOLOGY, 2016, 35 (01) : 19 - 28
  • [8] Practical application of formal methods for specification and analysis of software architecture
    Maxwell, C
    Parakhine, A
    Leaney, J
    2005 Australian Software Engineering Conference, Proceedings, 2005, : 302 - 311
  • [9] Security requirements specification by formal methods: a research metadata analysis
    Mishra, Aditya Dev
    Mustafa, Khurram
    MULTIMEDIA TOOLS AND APPLICATIONS, 2023, 83 (14) : 41847 - 41866
  • [10] FORMAL METHODS FOR ANALYSIS OF DISCRETE SYSTEMS USING A SPECIFICATION LANGUAGE
    Kryvyi, S. L.
    Chugayenko, A. V.
    CYBERNETICS AND SYSTEMS ANALYSIS, 2009, 45 (04) : 528 - 543
12345