AN ENGINEERING APPROACH TO FORMAL METHODS

被引：0
|
作者：
TURNER, KJ
机构：
来源：
PROTOCOL SPECIFICATION, TESTING AND VERIFICATION, XIII | 1993年 / 16卷
关键词：
ARITHMETIC AND LOGIC STRUCTURES; DESIGN STYLES; LOGIC DESIGN; COMPUTER COMMUNICATION NETWORKS; NETWORK ARCHITECTURE AND DESIGN; SOFTWARE ENGINEERING REQUIREMENTS SPECIFICATIONS; MATHEMATICAL LOGIC AND FORMAL LANGUAGES; FORMAL LANGUAGES; COMMUNICATIONS SERVICES; LOTOS (LANGUAGE OF TEMPORAL ORDERING SPECIFICATION);
D O I：
暂无
中图分类号：
TP3 [计算技术、计算机技术];
学科分类号：
0812 ;
摘要：
The distinctive features of engineering are discussed, and used to identify how an engineering approach to formal methods might be developed. The key concept in engineering is suggested to be known components that are combined in known ways. This component based style is illustrated for two application areas at two levels: in high-level specification of communications services, and in low-level specification of digital logic. The underlying formal language is LoTos (Language Of Temporal Ordering Specification).
引用
收藏
页码：357 / 380
页数：24
相关论文
共 50 条
12345