PROBLEM ORIENTED REQUIREMENTS SPECIFICATION OF PROCESS-CONTROL SYSTEMS

被引：0
作者：
HAGEMANN, M
机构：
[1] Univ Karlsruhe, Germany
来源：
ANGEWANDTE INFORMATIK | 1988年 / 30卷 / 09期
关键词：
Computer Programming - Computer Software--Software Engineering;
D O I：
暂无
中图分类号：
TP [自动化技术、计算机技术];
学科分类号：
0812 ;
摘要：
Developing software often leads to the problem that incorrect requirements are not detected in time, especially in case of complex real-time software for process control systems. This results in increased cost and an extended project time. Using specification systems requirements an be formally defined and checked for correctness by means of computing tools.
引用
收藏
页码：373 / 380
页数：8
相关论文
共 7 条
  • [1] BELL T, 1976, 2ND P INT SOFTW ENG
  • [2] Boehm B. W., 1979, CLASSICS SOFTWARE EN
  • [3] Boehm B.W., 1981, SOFTWARE ENG EC
  • [4] HAGEMANN M, 1988, AUTOMATISIERUNGSTECH
  • [5] HAGEMANN M, 1988, 10TH P INT C SOFTW E, P120
  • [6] HAGEMANN M, 1987, SEP K SOFTW ENTW SYS
  • [7] Jensen R.W., 1979, SOFTWARE ENG
1