Goal-oriented requirements analysis for process control systems design

Proceedings - 1st ACM and IEEE International Conference on Formal Methods and Models for Co-Design, MEMOCODE 2003

Volumn , Issue , 2003, Pages 45-46

  El Maddah, I ^a   Maibaum, T ^a  

^a KING'S COLLEGE LONDON   (United Kingdom)

Author keywords

Application software; Automation; Computer bugs; Control system analysis; Costs; Mathematics; Process control; Software tools; System analysis and design; Systems engineering and theory

Indexed keywords

APPLICATION PROGRAMS; AUTOMATION; COMPUTER AIDED SOFTWARE ENGINEERING; COMPUTER CONTROL; COMPUTER CONTROL SYSTEMS; COMPUTER SOFTWARE; CONTROL SYSTEM ANALYSIS; CONTROL SYSTEMS; CONTROL THEORY; COST BENEFIT ANALYSIS; COST ENGINEERING; COSTS; DESIGN; ENGINEERS; FORMAL METHODS; MATHEMATICAL TECHNIQUES; PROGRAM DEBUGGING; SPECIFICATIONS; SYSTEMS ANALYSIS;

APPLICATION REQUIREMENTS; COMPUTER BUGS; GOAL ORIENTED REQUIREMENTS ANALYSIS; PROGRAMMING PARADIGMS; REQUIREMENTS GATHERING; SOFTWARE APPLICATIONS; SYSTEM ANALYSIS AND DESIGN; SYSTEMS ENGINEERING AND THEORIES;

PROCESS CONTROL;

EID: 35048903846     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/MEMCOD.2003.1210085     Document Type: Conference Paper

References (10)

1. J. R. Abrial, The B Book: Assigning Programs to Meaning, Cambridge University Press, 1995.
2. A. Dardenne, A. Van Lamsweerde, and S. Fickas, Goal-Directed Requirements Acquisition, Science of computer Programming, Vol. 20, 1993, pp 3-50.
3. A. V. Lamsweerde, A. Dardenne, B. Delcourt, and F. Dubisy, The KAOS Project: Knowledge acquisition in automated specifications of software, proceeding AAAI Spring Symposium series, Track: Design of composite systems, Stanford University, March 1991, pp 59-62.
4. A. V. Lamsweerde and E. Letier, Obstacles in Goal-driven Requirement Engineering, proceeding ICSE'98 20th international conference on software engineering, Kyoto, ACM-IEEE, April 1998.
5. A. V. Lamsweerde, R. Darimont and E. Letier, Managing Conflicts in Goal-Driven Requirement Engineering, IEEE Transactions on Software Engineering, Special Issue on Managing Inconsistency in Software Development, Nov. 1998.
6. K. Lano, K. Androutsopoulos, and D. Clark, Structuring and Design of Reactive Systems using RSDS and B, FASE, ETAPS 2000
7. K. Lano and H. Haughton, Specifications in B, An introduction using the B toolkit, 1996, Imperial College Press
8. Z. Manna and A. Pnueli,The Temporal Logic of Reactive and Concurrent Systems, Springer-Verlag, 1992.
9. E. Sekerinski, Graphical Design of Reactive Systems, D. Bert (Ed.) 2nd International B conference, Montpellier, France, Springer-Verlag, 1998.
10. P. Zave and M. Jackson, Four Dark Corners of Requirements Engineering, ACM Transactions Software Eng. and Methodology,6(1). 1997. 85.