USING FORMAL METHODS TO SPECIFY THE FUNCTIONAL-PROPERTIES OF ENGINEERING SOFTWARE

被引：2
|
作者：
BAUGH, JW
机构：
[1] Department of Civil Engineering, North Carolina State University, Raleigh
来源：
COMPUTERS & STRUCTURES | 1992年 / 45卷 / 03期
关键词：
26;
D O I：
10.1016/0045-7949(92)90440-B
中图分类号：
TP39 [计算机的应用];
学科分类号：
081203 ; 0835 ;
摘要：
This paper describes the use of formal methods in specifying the functional properties of engineering software components, an approach that enables one to deal more effectively with the complexities of large-scale engineering software systems. Because they are formal objects, these specifications can be manipulated using ordinary mathematics, validated with respect to formal requirements, and shown to satisfy properties such as consistency and completeness. In addition, their concise and unambiguous nature makes them suitable for both communication and commentary, which are not possible with substantial program texts. We present detailed examples of formally defined abstract data types, and discuss the role and potential benefits of formal specifications in engineering program design.
引用
收藏
页码：557 / 570
页数：14
相关论文
共 50 条
  • [41] Introduction to the Software Engineering and Formal Methods 2013 special issue
    Mario Bravetti
    Robert M. Hierons
    Mercedes G. Merayo
    [J]. Software & Systems Modeling, 2017, 16 : 5 - 6
  • [42] Software engineering and formal methods: SEFM 2019 special section
    Olveczky, Peter Csaba
    Salaun, Gwen
    [J]. SOFTWARE AND SYSTEMS MODELING, 2021, 20 (02): : 291 - 292
  • [43] Empirical results of a software engineering curriculum incorporating formal methods
    Sobel, AEK
    [J]. SIGCSE 2000: PROCEEDINGS OF THE THIRTY-FIRST SIGCSE TECHNICAL SYMPOSIUM ON COMPUTER SCIENCE EDUCATION, 2000, 32 (01): : 157 - 161
  • [44] Introduction to the Software Engineering and Formal Methods 2013 special issue
    Bravetti, Mario
    Hierons, Robert M.
    Merayo, Mercedes G.
    [J]. SOFTWARE AND SYSTEMS MODELING, 2017, 16 (01): : 5 - 6
  • [45] Formal methods as software engineering tools - An exile in FM wonderland
    Nakajima, Shin
    [J]. NII Technical Reports, 2007, 2007 (07):
  • [46] SPECIAL ISSUE ON FORMAL METHODS IN DATABASES AND SOFTWARE ENGINEERING - FOREWORD
    ALAGAR, VS
    [J]. THEORETICAL COMPUTER SCIENCE, 1994, 133 (02) : 203 - 204
  • [47] FME workshop on Formal Methods in Software Engineering FormaliSE 2013
    [J]. 1600, IEEE Computer Society
  • [48] Lightweight formal methods for scenario-based software engineering
    Bontemps, Y
    Heymans, P
    Schobbens, PY
    [J]. SCENARIOS: MODELS, TRANSFORMATIONS AND TOOLS, 2005, 3466 : 174 - 192
  • [49] ON USING FORMAL SOFTWARE ENGINEERING TECHNIQUES IN AN ACADEMIC ENVIRONMENT
    ANSON, CP
    HARRISON, RL
    LEWELLEN, TK
    GILLISPIE, SB
    POLLARD, KP
    BICE, AN
    MIYAOKA, RS
    HAYNOR, DH
    ZHU, J
    [J]. IMAGES OF THE TWENTY-FIRST CENTURY, PTS 1-6, 1989, 11 : 2011 - 2012
  • [50] The requirements engineering reference model: A fundamental impediment to using formal methods in software systems development
    Berry, Daniel M.
    [J]. Proceedings - 2019 IEEE 27th International Requirements Engineering Conference Workshops, REW 2019, 2019,
12345