STEPWISE SOFTWARE-DEVELOPMENT WITH ALGEBRAIC SPECIFICATIONS

被引：0

作者：

BEIERLE, C

VOSS, A

机构：

[1] IBM DEUTSCHLAND GMBH,INST KNOWLEDGE BASED SYST,CTR SCI,W-7000 STUTTGART 80,GERMANY

[2] GESELL MATH & DATENVERARBEITUNG GMBH,F3 EXPERTENSYST,W-5205 ST AUGUSTIN,GERMANY

来源：

TSI-TECHNIQUE ET SCIENCE INFORMATIQUES | 1991年 / 10卷 / 01期

关键词：

D O I：

暂无

中图分类号：

TP [自动化技术、计算机技术];

学科分类号：

0812 ;

摘要：

引用

收藏

页码：35 / 51

页数：17

相关论文

共 50 条

[31] AUTOMATING SOFTWARE-DEVELOPMENT
TOPPER, A
IEEE SPECTRUM, 1991, 28 (11) : 56 - &
[32] Strategies for software-development
Fennel, Helmut
Gies, Petra
Sticher, Thomas
ATZ Automobiltechnische Zeitschrift, 2002, 104 (SUPPL.) : 22 - 31
[33] THE CHALLENGE OF SOFTWARE-DEVELOPMENT
LEWIS, TG
OMAN, PW
IEEE SOFTWARE, 1990, 7 (06) : 9 - &
[34] PARALLEL SOFTWARE-DEVELOPMENT
WINTER, S
MICROPROCESSING AND MICROPROGRAMMING, 1990, 30 (1-5): : 567 - 567
[35] CONTROLLING SOFTWARE-DEVELOPMENT
MAZZA, C
NUCLEAR INSTRUMENTS & METHODS IN PHYSICS RESEARCH SECTION A-ACCELERATORS SPECTROMETERS DETECTORS AND ASSOCIATED EQUIPMENT, 1994, 352 (1-2) : 370 - 374
[36] COGNITION AND SOFTWARE-DEVELOPMENT
STACY, W
COMMUNICATIONS OF THE ACM, 1995, 38 (06) : 31 - 31
[37] MANAGING SOFTWARE-DEVELOPMENT
BROWN, P
DATAMATION, 1985, 31 (08): : 133 - 136
[38] COORDINATION IN SOFTWARE-DEVELOPMENT
KRAUT, RE
STREETER, LA
COMMUNICATIONS OF THE ACM, 1995, 38 (03) : 69 - 81
[39] SPONSORING SOFTWARE-DEVELOPMENT
不详
BUSINESS SOFTWARE REVIEW, 1986, 5 (09): : 22 - 22
[40] SOFTWARE-DEVELOPMENT STANDARDS
PASQUINI, A
AEI AUTOMAZIONE ENERGIA INFORMAZIONE, 1994, 81 (05): : 63 - 70

← 1 2 3 4 5 →