STRATEGIES FOR INCORPORATING FORMAL SPECIFICATIONS IN SOFTWARE-DEVELOPMENT

被引：35

作者：

FRASER, MD

KUMAR, K

VAISHNAVI, VK

机构：

[1] GEORGIA STATE UNIV,COLL BUSINESS ADM,ATLANTA,GA 30303

[2] GEORGIA STATE UNIV,DEPT COMP INFORMAT SYST,ATLANTA,GA 30302

来源：

COMMUNICATIONS OF THE ACM | 1994年 / 37卷 / 10期

关键词：

D O I：

10.1145/194313.194399

中图分类号：

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

学科分类号：

0812 ;

摘要：

[No abstract available]

引用

页码：74 / 85

页数：12

共 25 条

[1]

ANDREWS D, 1988, INTRO FORMAL METHODS

[2] SPECIFICATION AND DESIGN OF TRANSACTIONS IN INFORMATION-SYSTEMS - A FORMAL APPROACH [J].

BABIN, G ;

LUSTMAN, F ;

SHOVAL, P .

IEEE TRANSACTIONS ON SOFTWARE ENGINEERING, 1991, 17 (08) :814-829

[3]

BRINKKEMPER JN, 1990, THESIS KATHOLIEKE U

[4]

CONGER SA, 1990, 8TH P ANN C AD TECHN, P311

[5]

DART SA, 1987, IEEE COMPUTER NOV, P18

[6] WHAT IS SOFTWARE QUALITY [J].

DENNING, PJ .

COMMUNICATIONS OF THE ACM, 1992, 35 (01) :13-15

[7] A VDM CASE-STUDY IN MURAL [J].

FIELDS, B ;

ELVANGGORANSSON, M .

IEEE TRANSACTIONS ON SOFTWARE ENGINEERING, 1992, 18 (04) :279-295

[8] SEMANTICALLY EXTENDED DATA FLOW DIAGRAMS - A FORMAL SPECIFICATION TOOL [J].

FRANCE, RB .

IEEE TRANSACTIONS ON SOFTWARE ENGINEERING, 1992, 18 (04) :329-346

[9] INFORMAL AND FORMAL REQUIREMENTS SPECIFICATION LANGUAGES - BRIDGING THE GAP [J].

FRASER, MD ;

KUMAR, K ;

VAISHNAVI, VK .

IEEE TRANSACTIONS ON SOFTWARE ENGINEERING, 1991, 17 (05) :454-466

[10]

GOEL V, 1991, DPS4 U CAL BERK

← 1 2 3 →