A FORMAL METHOD FOR THE ABSTRACT SPECIFICATION OF SOFTWARE

被引：16

作者：

MCLEAN, J

机构：

来源：

JOURNAL OF THE ACM | 1984年 / 31卷 / 03期

关键词：

D O I：

10.1145/828.829

中图分类号：

TP3 [计算技术、计算机技术];

学科分类号：

0812 ;

摘要：

引用

页码：600 / 627

页数：28

共 50 条

[1] A CONSTRUCTIVE METHOD FOR ABSTRACT ALGEBRAIC SOFTWARE SPECIFICATION
KLAEREN, HA
[J]. THEORETICAL COMPUTER SCIENCE, 1984, 30 (02) : 139 - 204
[2] FORMAL SPECIFICATION AND ANALYSIS OF SOFTWARE ARCHITECTURES USING THE CHEMICAL ABSTRACT MACHINE MODEL
INVERARDI, P
WOLF, AL
[J]. IEEE TRANSACTIONS ON SOFTWARE ENGINEERING, 1995, 21 (04) : 373 - 386
[3] DESIGN AND FORMAL SPECIFICATION OF A PARALLEL ABSTRACT MACHINE
LEE, MKO
[J]. COMPUTING AND INFORMATION, 1989, : 193 - 200
[4] Towards formal specification of abstract security properties
Mana, Antonio
Pujol, Gimena
[J]. ARES 2008: PROCEEDINGS OF THE THIRD INTERNATIONAL CONFERENCE ON AVAILABILITY, SECURITY AND RELIABILITY, 2008, : 80 - +
[5] Automated Software Specification and Design Using the SOFL Formal Engineering Method
Liu, Shaoying
Xue, Xiang
[J]. 2009 WRI WORLD CONGRESS ON SOFTWARE ENGINEERING, VOL 4, PROCEEDINGS, 2009, : 283 - +
[6] Formal specification for quality in software development
Currie, E
MilankovicAtkinson, M
[J]. PROCEEDINGS OF THE 5TH SOFTWARE QUALITY CONFERENCE, 1996, : 252 - 260
[7] Bases for the development of LAST:: a formal method for business software requirements specification
Almendros-Jiménez, JM
González-Jiménez, L
[J]. INFORMATION AND SOFTWARE TECHNOLOGY, 2002, 44 (02) : 65 - 75
[8] A formal specification method for building real-time distributed software
Kim, TY
Hong, SB
Lee, YK
[J]. INTERNATIONAL SOCIETY FOR COMPUTERS AND THEIR APPLICATIONS 13TH INTERNATIONAL CONFERENCE ON COMPUTERS AND THEIR APPLICATIONS, 1998, : 46 - 49
[9] Trustable Formal Specification for Software Certification
Mery, Dominique
Singh, Neeraj Kumar
[J]. LEVERAGING APPLICATIONS OF FORMAL METHODS, VERIFICATION, AND VALIDATION, PT II, 2010, 6416 : 312 - 326
[10] FORMAL SPECIFICATION AND THE PRODUCTION OF CORRECT SOFTWARE
INCE, D
[J]. MATHEMATICAL INTELLIGENCER, 1984, 6 (02): : 28 - 31

← 1 2 3 4 5 →