Formal specifications of user requirements

Automated Software Engineering

Volumn 6, Issue 3, 1999, Pages 217-232

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

^a UNIVERSITY OF STIRLING   (United Kingdom)

^b UNIVERSIDADE NOVA DE LISBOA   (Portugal)

Author keywords

[No Author keywords available]

Indexed keywords

COMPUTER HARDWARE DESCRIPTION LANGUAGES; COMPUTER SIMULATION; FORMAL LANGUAGES; OBJECT ORIENTED PROGRAMMING; REQUIREMENTS ENGINEERING;

USER-CENTERED MODEL;

COMPUTER AIDED SOFTWARE ENGINEERING;

EID: 0032628933     PISSN: 09288910     EISSN: None     Source Type: Journal    
DOI: 10.1023/A:1008752609513     Document Type: Article

References (22)

1. Bolognesi, T. and Brinksma, E. 1987. Introduction to the ISO specification language LOTOS. Computer Networks and ISDN Systems, 14:25-59.
2. Brinksma, E. 1988. LOTOS - A Formal Description Technique Based on the Temporal Ordering of Observational Behaviour. ISO 8807.
3. Clark, R. and Moreira, A. 1997. Using a formal user-centred model to build a formal system-centred model. Computing Science and Mathematics, University of Stirling, TR 140.
4. Coad, P. and Yourdon, E. 1991. Object Oriented Analysis (2nd edition). Yourdon Press, Prentice-Hall.
5. Easterbrook, S. and Nuseibeh, B. 1996. Using viewpoints for inconsistency management. Software Engineering Journal, 11:31-43.
6. Eertink, H. and Wolz, D. 1993. Symbolic execution of LOTOS specifications, Formal Description Techniques V. North-Holland, pp. 295-310.
7. Ehrig, H. and Mahr, B. 1985. Fundamentals of Algebraic Specifications. Springer-Verlag, vol. 1.
8. Glinz, P. 1995. An integrated formal model of scenarios based on statecharts. Proc. ESEC'95, Springer-Verlag LNCS 989, pp. 254-271.
9. Hoare, C. 1985. Communicating Sequential Processes. Prentice-Hall.
10. Hsia, P., Samuel, J., Gao, J., Kung, D., Toyoshima, Y., and Chen, C. 1994. Formal approach to scenario analysis. IEEE Software, (3):33-41.
11. Jacobson, I. 1992. Object-Oriented Software Engineering. Addison-Wesley.
12. Milner, R. 1989. Communication and Concurrency. Prentice-Hall.
13. Moreira, A. and Clark, R. 1994. Combining object-oriented analysis and formal description techniques. Eighth European Conference on Object-Oriented Programming: ECOOP'94, Bologna, Italy, Springer-Verlag LNCS 821, pp. 344-364.
14. Moreira, A. and Clark, R. 1996a. LOTOS in the object-oriented analysis process, Formal Methods in Object Technology. Springer-Verlag, Chap. 3, pp. 33-46.
15. Moreira, A. and Clark, R. 1996b. Adding rigour to object-oriented analysis. Software Engineering Journal, 11:270-280.
16. Quemada, J., Azcorra, A., and Pavon, S. 1995. The LOTOSphere design methodology, LOTOSphere: Software Development with LOTOS. Kluwer Academic Publishers, pp. 29-58.
17. Rubin, K. and Goldberg, A. 1992. Object behaviour analysis. Comm. ACM, 35:48-62.
18. Rumbaugh, J., Blaha, M., Premerlani, W., Eddy, F., and Lorensen, W. 1991. Object-Oriented Modelling and Design. Prentice-Hall.
19. Rumbaugh, J. 1994. Getting started: Using use cases to capture requirements. J. Object Oriented Programming, 7(9):8-23.
20. Shlaer, S. and Mellor, S. 1992. Object Lifecycles - Modeling the World in States. Prentice-Hall.
21. Somé, S., Dssouli, R., and Vaucher, J. 1996. Towards an automation of requirements engineering using scenarios. J. Computing and Information, 2:1070-1092.
22. Turner, K.J. and van Sinderen, M. 1995. LOTOS specification style for OSI, LOTOSphere: Software Development with LOTOS. Kluwer Academic Publishers, pp. 137-159.