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 条
12345