THE ELECTRIC-POWER OF LOTOS

被引：0
|
作者：
BOLOGNESI, T [1 ]
AMBRIOLA, V [1 ]
机构：
[1] UNIV PISA,DIPARTIMENTO INFORMAT,I-56100 PISA,ITALY
来源：
IFIP TRANSACTIONS C-COMMUNICATION SYSTEMS | 1993年 / 10卷
关键词：
SOFTWARE ENGINEERING; GENERAL; REQUIREMENTS SPECIFICATIONS;
D O I：
暂无
中图分类号：
TP [自动化技术、计算机技术];
学科分类号：
0812 ;
摘要：
An experimental project course on the application of formal methods in software engineering is described. The course took place at the University of Pisa in 1992, and involved a large industrial institution. Beside the lesson on the didactic effectiveness of our approach, several action points and hints for further research can be drawn from the reported experiment.
引用
收藏
页码：431 / 446
页数：16
相关论文
共 50 条
12345