Integrating semi-formal and formal requirements

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 1250, Issue , 1997, Pages 19-32

  Wieringa, Roel ^a   Dubois, Eric ^b   Huyts, Sander ^c,d  

^a VU UNIVERSITY AMSTERDAM   (Netherlands)

^b Institut d'Informatique   (Belgium)

^c Development and Engineering Bd   (Belgium)

^d NONE   (Netherlands)

Author keywords

[No Author keywords available]

Indexed keywords

COMMERCE; INFORMATION SYSTEMS; SPECIFICATION LANGUAGES; SYSTEMS ENGINEERING;

LOGIC BASED SPECIFICATION; OBJECT ORIENTED; REQUIREMENTS SPECIFICATIONS; SEMI-FORMAL SPECIFICATION; TELECOMMUNICATION APPLICATIONS;

SPECIFICATIONS;

EID: 26444550390     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: None     Document Type: Conference Paper

References (25)

1. 2RARE (2 Real Applications for Requirements Engineering): Project Programme. http: //www.info.fundp.ac.be/~phe/2rare.html, August 1995. Esprit Contract Number 20424.
2. Klemens Böhm and Amilcar Sernadas. A logic to specify real-time object behaviour. Technical report, Departamento de Matemática, Instituto Superior Técnico, Lisbon (Portugal), 1993.
3. P. du Bois. The ALBERT II Language. PhD thesis, Facultés Universitaires Notre-Dame de la Paix, Namur, 1995.
4. G. Booch. Object-Oriented Design with Applications, Second edition. Benjamin/Cummings, 1994.
5. G. Booch, I. Jacobson, and J. Rumbaugh. The unified modeling language for object-oriented development, version 0.91 addendum. Technical report, Rational Software Corporation, 2800 San Tomas Expressway, Santa Clara, CA 95051-0951, September 1996. URL http: //www.rational.com/ot/uml91.pdf.
6. P.P.-S. Chen. The entity-relationship model — Toward a unified view of data. ACM Transactions on Database Systems, 1: 9-36, 1976.
7. D. Coleman, P. Arnold, S. Bodoff, C. Dollin, H. Gilchrist, F. Hayes, and P. Jeremaes. Object-Oriented Development: The FUSION Method. Prentice-Hall, 1994.
8. A.M. Davis. Software Requirements: Objects, Functions, States. Prentice-Hall, 1993.
9. T. DeMarco. Structured Analysis and System Specification. Yourdon Press/Prentice-Hall, 1978.
10. Eric Dubois, Philippe Du Bois, and Michaël Petit. Elicitating and formalising requirements for CIM information systems. In C. Rolland, F. Bodart, and C. Cauvet, editors, Proc. of the 5th conference on advanced information systems engineering — CAISE'93, pages 252-274, Paris (France), June 8-11, 1993. LNCS 685, Springer-Verlag.
11. Eric Dubois, Philippe Du Bois, and Jean-Marc Zeippen. A formal requirements engineering method for real-time, concurrent, and distributed systems. In Proc. of ICSE-17 Workshop on Formal Methods Applications in Software Engineering, Seattle WA, April 24-25, 1995.
12. D. Harel and A. Pnueli. On the development of reactive systems. In K. Apt, editor, Logics and Models of Concurrent Systems, pages 477-498. Springer, 1985. NATO ASI Series.
13. M. Jackson. System Development. Prentice-Hall, 1983.
14. M. Jackson. Software Requirements and Specifications: A lexicon of practice, principles and prejudices. Addison-Wesley, 1995.
15. I. Jacobson, M. Christerson, P. Johnsson, and G. Övergaard. Object-Oriented Software Engineering: A Use Case Driven Approach. Prentice-Hall, 1992.
16. M. Jarke, J. Bubenko, C. Rolland, A. Sutcliffe, and Y. Vassiliou. Theories underlying requirements engineering: an overview of the NATURE approach. In S. Fickas and A. Finkelstein, editors, International Symposium on Requirements Engineering, pages 19-31. IEEE Computer Science Press, 1993.
17. Objectory AB. Objectory: Robustness Analysis, version 3.6 edition, 1995.
18. Oblog Software. OBLOG Case V1.2, 1995.
19. Quality Systems and Software Ltd. DOORS Unix Reference Manual, Version 2.1, 1995.
20. R.H. Thayer. Software system engineering. In R.H. Thayer and M. Dorfman, editors, System and Software Requirements Engineering, pages 77-116. IEEE Computer Science Press, 1990.
21. R.J. Wieringa. Requirements Engineering: Semantic, Real-Time, and Object-Oriented Methods. Course notes. 1995.
22. R.J. Wieringa. Requirements Engineering: Frameworks for Understanding. Wiley, 1996.
23. R.J. Wieringa. Advanced object-oriented requirement specification methods. Technical report, Faculty of Mathematics and Computer Science, Vrije Universiteit, 1997. Tutotial presented at the International Symposium of Requirements Engineering, 6-10 January 1997, Annapolis, U. S. A.
24. R.J. Wieringa and S. Huyts. Requirements analysis of the VoD application using the tools in TRADE. Technical report, Faculty of Mathematics and Computer Science, Vrije Universiteit, De Boelelaan 1081a, 1081 HV Amsterdam, 1996.
25. R. Wirfs-Brock, B. Wilkerson, and L. Wiener. Designing Object-Oriented Sofware. Prentice-Hall, 1990.