From early to late formal requirements: A process-control case study

Proceedings of the 9th International Workshop on Software Specification and Design, IWSSD 1998

Volumn , Issue , 1998, Pages 34-42

  Dubois, Eric ^a   Yu, Eric ^b   Petit, Michaël ^a  

^a UNIVERSITY OF NAMUR   (Belgium)

^b UNIVERSITY OF TORONTO   (Canada)

Author keywords

[No Author keywords available]

Indexed keywords

ENGINEERING RESEARCH; FORMAL LANGUAGES; SPECIFICATIONS;

EARLY-TO-LATE; FORMAL MODEL; NATURAL SCIENCES AND ENGINEERINGS; ONTARIO; ORGANIZATIONAL ISSUES; REACTIVE SYSTEM; TECHNOLOGY RESEARCH; TIMED AUTOMATA;

PROCESS CONTROL;

EID: 84957626028     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/iwssd.1998.667917     Document Type: Conference Paper

References (22)

1. M. Archer and C. Heitmeyer. Mechanical verification of timed automata: A case study. In Real-Time Applications Symposium, 1996.
2. R. Balzer. Tranformational implementation: An example. In IEEE Trans. on Software Engineering, January 1981.
3. Janis A. Bubenko. On concepts and strategies for requirements and information analysis. In Information modeling, pages 125-169. Chartwell-Bratt, 1983.
4. K. L. Chung, B. Nixon, J. Mylopoulos, and E. Yu. Non-Functional Requirements in Software Engineering. Kluwer Academic Publishers, to appear.
5. A. Dardenne, A. van Lamsweerde, and S. Fickas. Goaldirected requirements acquisition. Science of Computer Programming, 20:3-50, 1993.
6. P. du Bois, E. Dubois, and J-M. Zeippen. On the use of a formal requirements engineering language: The generalized railroad crossing problem. In Third IEEE International Symposium on Requirements Engineering. IEEE CS Press, January 1997.
7. Martin S. Feather. Language support for the specification and development of composite systems. ACM Transactions on Programming Languages and Systems, 9(2):198-234, April 1987.
8. D. Harel, H. Lachover, A. Naamad, A. Pnueli, M. Politi, R. Sherman, A. Shtull-Trauring, and M. Trakhtenbrot. STATEMATE: a working environment for the development of complex reactive systems. IEEE Trans. on Software Engineering, 16:403-414, April 1990.
9. D. Hatley and I. Pirbhai. Strategies for Real-Time Specification. Dorset House, 1987.
10. C. Heitmeyer, B. Labaw, and D. Kiskis. Consistency checking of scrstyle requirements specifications. In Second IEEE International Symposium on Requirements Engineering. IEEE CS Press, March 1995.
11. M. Jackson. System Development. Prentice-Hall, 1983.
12. M. Jackson. Software Requirements and Specifications: A lexicon of practice, principles and prejudices. Addison-Wesley, 1995.
13. P. Loucopoulos and V. Karakostas. System Requirements Engineering. McGraw-Hill Intl Series in Software Engineering, 1995.
14. M. Merritt, F. Modugno, and M. Tuttle. Time constrained automata. In Concur'91: 2nd Intl Conf on Concurrency Theory. LNCS 527, Springer Verlag, 1991.
15. J. Mylopoulos, A. Borgida, M. Jarke, and M. Koubarakis. Telos: Representing knowledge about information systems. In ACM Trans. on Information Systems. vol. 8(4), 1990.
16. K. Pohl. Process Centered Requirements Engineering. John Wiley, 1996.
17. Rational. Unified Modeling Language: Notation Guide, Version 1.1. Rational Software Corporation, 2800 San Tomas Expressway, Santa Clara, CA 95051-0951, 1 September 1997. URL http://www.rational.com/uml/1.1/.
18. B. Selic, G. Gullekson, and P.T. Ward. Real-Time Object-Oriented Modelling. John Wiley, 1994.
19. A. van Lamsweerde, R. Darimont, and P. Massonet. Goaldirected elaboration of requirements for a meeting scheduler: Problems and lessons learnt. In Second IEEE International Symposium on Requirements Engineering. IEEE CS Press, March 1995.
20. E. Yu. Modelling Strategic Relationships for Process Reengineering. Ph.D. Thesis, Univ. of Toronto, 1994.
21. E. Yu, P. Du Bois, E. Dubois, and J. Mylopoulos. From organization models to system requirements: a 'cooperating agents' approach. In M. Papazoglou and G. Schlageter, editors, Cooperative Information Systems, pages 293-312. Academic Press, 1998.
22. E. Yu and J. Mylopoulos. Understanding 'why' in software process modelling, analysis, and design. In IEEE International Conference on Software Engineering, ICSE'94, 1994.