Conference
Goal-Oriented Requirements Analysis for Process Control Systems Design
Abstract
During the last two decades, a lot of effort has been focused on automating the generation of software applications. The automation process can start early, after some manual stage(s) or following (a) previous automatic stage(s). Such automation tools should have the capability of generating executable programs, specifications, or formal requirements, as appropriate. The requirements gathering and checking is considered as the most important …
Authors
El-Maddah I; Maibaum T
Pagination
pp. 45-46
Publisher
Institute of Electrical and Electronics Engineers (IEEE)
Publication Date
January 1, 2003
DOI
10.1109/memcod.2003.1210085
Name of conference
First ACM and IEEE International Conference on Formal Methods and Models for Co-Design, 2003. MEMOCODE '03. Proceedings.