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 条
12345