Adding rigour to object-oriented analysis

Software Engineering Journal

Volumn 11, Issue 5, 1996, Pages 270-280

  Moreira, Ana M D ^a   Clark, Robert G ^b  

^a UNIVERSIDADE NOVA DE LISBOA   (Portugal)

^b UNIVERSITY OF STIRLING   (United Kingdom)

Author keywords

[No Author keywords available]

Indexed keywords

COMPUTER HARDWARE DESCRIPTION LANGUAGES; DATA STRUCTURES; FORMAL LANGUAGES; OBJECT ORIENTED PROGRAMMING; SOFTWARE PROTOTYPING; SPECIFICATIONS; STANDARDS;

LANGUAGE OF TEMPORAL ORDERING SPECIFICATION; RIGOROUS OBJECT ORIENTED ANALYSIS;

SOFTWARE ENGINEERING;

EID: 0030235711     PISSN: 02686961     EISSN: None     Source Type: Journal    
DOI: 10.1049/sej.1996.0037     Document Type: Article

References (26)

1. MOREIRA, A.M.D., and CLARK, R.G.: 'Combining object-oriented analysis and formal description techniques'. 8th European Conf. on Object-Oriented Programming, ECOOP'94, Lect. Notes Comput. Sci., 821, Springer-Verlag, 1994, pp. 344-364
2. MOREIRA, A.M.D., and CLARK, R.G.: 'Rigorous object-oriented analysis'. ISOOMS, Int. Symp. on Object Oriented Methodologies and Systems, Lect. Notes Comput. Sci., 858, Springer-Verlag, 1994, pp. 65-78
3. MOREIRA, A.M.D.: 'Rigorous object-oriented analysis'. Technical report TR 132, Computing Science Department, University of Stirling, UK, 1994
4. COAD, P., and YOURDON, E.: 'Object oriented analysis' (Yourdon Press, Prentice-Hall, 1991), 2nd edn.
5. JACOBSON, I.: 'Object-oriented software engineering' (Addison-Wesley, 1992)
6. RUBIN, K.S., and GOLDBERG, A.: 'Object behaviour analysis', Commun. ACM, 1992, 35, (9), pp. 48-62
7. RUMBAUGH, J., BLAHA, M., PREMERLANI, W., EDDY, F., and LORENSEN, W.: 'Object-oriented modelling and design' (Prentice-Hall, 1991)
8. SHLAER S., and MELLOR S.J.: 'Object lifecyles - modeling the world in states' (Prentice-Hall, 1992)
9. MOREIRA, A.M.D., and CLARK, R.G.: 'Specification case studies in ROOA'. Technical report TR 129, Computing Science Department, University of Stirling, UK, 1994
10. BOLOGNESI, T., and BRINKSMA, E.: 'Introduction to the ISO specification language LOTOS', Comput. Netw. ISDN Syst., 1987, 14, (1), pp. 25-59
11. RUDKIN, S.: 'Inheritance in LOTOS'. Formal Description Techniques IV (North-Holland, 1992), pp. 409-423
12. BRINKSMA, E. (Ed.): 'Information processing systems - open systems interconnection - LOTOS - a formal description technique based on the temporal ordering of observational behaviour'. ISO 8807, 1988
13. BRIGGS, T.L., and WERTH, J.: 'A specification language for object-oriented analysis and design'. 8th European Conf. on Object-Oriented Programming, ECOOP'94, Lect. Notes Comput. Sci., 821, Springer-Verlag, 1994, pp. 365-385
14. CARRINGTON, D., DUKE, D., DUKE, R., KING, P., ROSE, G., and SMITH, G.: 'Object-Z: an object-oriented extension to Z'. Formal Description Techniques II (North-Holland, 1989), pp. 281-295
15. DUBOIS, E., DU BOIS, P., and PETIT, M.: 'O-O requirements analysis: an agent perspective'. 7th European Conf. on Object-Oriented Programming, ECOOP'93, Lect. Notes. Comput. Sci., 707, Springer-Verlag, 1993, pp. 458-481
16. EHRICH, H., GOGOLLA, M., and SERNADAS, A.: 'Objects and their specification. Recent Trends in Data Type Specification, Lect. Notes Comput. Sci., 655, 1991, pp. 40-65
17. LANO, K., and HAUGHTON, H.: 'Object-oriented specification case studies' (Prentice Hall, 1994)
18. CLARK, R.G.: 'Using LOTOS in the object-based development of embedded systems'. Unified Computation Laboratory (Oxford University Press, 1992), pp. 307-319
19. HOARE, C.A.R.: 'Communicating sequential processes' (Prentice-Hall, 1985)
20. MILNER, R.: 'Communication and concurrency' (Prentice-Hall, 1989)
21. EHRIG, H., and MAHR, B.: 'Fundamentals of algebraic specifications' (Springer-Verlag, 1985), vol. 1
22. HAYES, I.J., and JONES, C.B.: 'Specifications are not (necessarily) executable', Softw. Eng. J., 1989, 4, pp. 330-338
23. FUCHS, N.E.: 'Specifications are (preferably) executable', Softw. Eng. J., 1992, 7, pp. 323-334
24. EERTINK, H., and WOLZ, D.: 'Symbolic execution of LOTOS specifications'. Formal Description Techniques V (North-Holland, 1993), pp. 295-310
25. RANDALL, A.H.: 'A rigorous object-oriented analysis development system'. MSc dissertation in Software Engineering, University of Stirling, UK, 1995
26. CLARK, R.G.: Construction of LOTOS behaviour expressions from object communication diagrams'. Technical report TR 124, Computing Science Department, University of Stirling, UK, 1994