INTRODUCTION TO FORMAL METHODS OF SOFTWARE-DESIGN

被引：0

|

作者：

DAVIES, AC

机构：

来源：

MICROPROCESSORS AND MICROSYSTEMS | 1988年 / 12卷 / 10期

关键词：

D O I：

10.1016/0141-9331(88)90003-8

中图分类号：

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

学科分类号：

0812 ;

摘要：

引用

收藏

页码：547 / 553

页数：7

相关论文

共 50 条

[1] APPLYING ABSTRACTION AND FORMAL SPECIFICATION IN NUMERICAL SOFTWARE-DESIGN
TENCATE, HH
[J]. COMPUTERS & MATHEMATICS WITH APPLICATIONS, 1995, 29 (12) : 81 - 102
[2] SPECIAL ISSUE ON SOFTWARE-DESIGN METHODS - PROLOGUE
BERGLAND, GD
ZAVE, P
[J]. IEEE TRANSACTIONS ON SOFTWARE ENGINEERING, 1986, 12 (02) : 185 - 191
[3] SOFTWARE-DESIGN METHODS FOR DISTRIBUTED COMPUTING SYSTEMS
YAU, SS
JIA, XP
BAE, DH
[J]. COMPUTER COMMUNICATIONS, 1992, 15 (04) : 213 - 224
[4] SOFTWARE-DESIGN - METHODS AND TECHNIQUES - PETERS,LJ
KANT, K
[J]. PROCEEDINGS OF THE IEEE, 1983, 71 (10) : 1231 - 1231
[5] SOFTWARE-DESIGN METHODS FOR DISTRIBUTED COMPUTER CONTROL
AHSON, SI
[J]. JOURNAL OF MICROCOMPUTER APPLICATIONS, 1983, 6 (04): : 287 - 293
[6] A QUANTITATIVE ASSESSMENT OF SOFTWARE-DESIGN AND IMPLEMENTATION METHODS
KURBEL, K
[J]. ANGEWANDTE INFORMATIK, 1984, (07): : 268 - 272
[7] Formal methods in software practice - Introduction
Dillon, LK
Sankar, S
[J]. IEEE TRANSACTIONS ON SOFTWARE ENGINEERING, 1997, 23 (05) : 265 - 266
[8] ON REGULARITY IN SOFTWARE-DESIGN
BANACH, R
[J]. SCIENCE OF COMPUTER PROGRAMMING, 1995, 24 (03) : 221 - 248
[9] EXPERIENCE IN USING FORMAL DESCRIPTION TECHNIQUES (FDT) FOR SWITCHING SOFTWARE-DESIGN
DINSENMEYER, I
LOUVET, O
GROZ, R
[J]. ANNALES DES TELECOMMUNICATIONS-ANNALS OF TELECOMMUNICATIONS, 1987, 42 (7-8): : 448 - 460
[10] SOFTWARE-DESIGN FOR LEARNING - ON LEARNING MATHEMATICS THROUGH INSTRUCTIONAL SOFTWARE-DESIGN
HAREL, I
[J]. PROCEEDINGS - NATIONAL EDUCATIONAL COMPUTING CONFERENCE 1989, 1989, : 72 - 86

← 1 2 3 4 5 →