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 条
  • [1] Software engineering and formal methods
    Hinchey, Mike
    Jackson, Michael
    Cousot, Patrick
    Cook, Byron
    Bowen, Jonathan P.
    Margaria, Tiziana
    [J]. COMMUNICATIONS OF THE ACM, 2008, 51 (09) : 54 - 59
  • [2] Software engineering and formal methods
    Aichernig, Bernhard
    Beckert, Bernhard
    [J]. SOFTWARE AND SYSTEMS MODELING, 2008, 7 (03): : 255 - 256
  • [3] Formal Methods and Software Engineering
    Serna Montoya, Edgar
    [J]. REVISTA VIRTUAL UNIVERSIDAD CATOLICA DEL NORTE, 2010, 30 : 158 - 184
  • [4] Software engineering and formal methods
    Bernhard Aichernig
    Bernhard Beckert
    [J]. Software & Systems Modeling, 2008, 7 : 255 - 256
  • [5] FORMAL METHODS IN SOFTWARE ENGINEERING
    LEVESON, NG
    [J]. IEEE TRANSACTIONS ON SOFTWARE ENGINEERING, 1990, 16 (09) : 929 - 931
  • [6] Introduction to formal methods for software engineering
    [J]. King, Trevor, 1600, (26):
  • [7] Methods and tools for formal software engineering
    Liu, Zhiming
    Venkatesh, R.
    [J]. VERIFIED SOFTWARE: THEORIES, TOOLS, EXPERIMENTS, 2008, 4171 : 31 - +
  • [8] Teaching of Formal Methods for Software Engineering
    Spichkova, Maria
    Zamansky, Anna
    [J]. ENASE: PROCEEDINGS OF THE 11TH INTERNATIONAL CONFERENCE ON EVALUATION OF NOVEL SOFTWARE APPROACHES TO SOFTWARE ENGINEERING, 2016, : 370 - 376
  • [9] SEFM: software engineering and formal methods
    Gilles Barthe
    Alberto Pardo
    Gerardo Schneider
    [J]. Software & Systems Modeling, 2015, 14 : 3 - 4
  • [10] EDUCATION IN FORMAL METHODS FOR SOFTWARE ENGINEERING
    WORDSWORTH, J
    [J]. INFORMATION AND SOFTWARE TECHNOLOGY, 1987, 29 (01) : 27 - 32
12345