Validation of object oriented models using animation

Conference Proceedings of the EUROMICRO

Volumn 2, Issue , 1999, Pages 237-242

  Oliver, Ian ^a   Kent, Stuart ^a  

^a UNIVERSITY OF KENT   (United Kingdom)

Author keywords

[No Author keywords available]

Indexed keywords

FORMAL SPECIFICATION LANGUAGE; ITS APPLICATIONS; OBJECT CONSTRAINT LANGUAGE; OBJECT ORIENTED MODEL; SOFTWARE DESIGNERS;

ANIMATION; APPLICATION PROGRAMS; COMPUTER PROGRAMMING LANGUAGES; DESIGN; INFORMATION SCIENCE; SPECIFICATION LANGUAGES;

OBJECT ORIENTED PROGRAMMING;

EID: 84885649133     PISSN: 10896503     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/EURMIC.1999.794786     Document Type: Conference Paper

References (20)

1. J-R Abrial. The B-Book-Assigning programs to Meanings. Cambridge University Press, 1995. 0-521-49619-5.
2. J C Bicarregui, D L Clutterbuck, G Ginne, H Haughton, K Lano, H Lesan, D W R M Marsh, B M Matthews, M R Moulding, A R Newton, B Bitchie, T G A Ruston, and P N Scharbach. Formal methods into practice: case studies in the application of the B method. IEE Proceedings in Software Engineering, 144(2):119-133, April 1997.
3. Alex Borgida, John Mylopoulos, and Raymond Reiter. On the Frame Problem in Procedure Specifications. IEEE Transactions on Software Engineering, 21(10):785-797,October 1995.
4. M Costa, J Cunningham, and J Booth. Logical Animation. In Proceedings of the International Conference on Software Engineering. 1990.
5. Rene Elmstrøm, Peter Gorm Larsen, and Poul Bøgh Lassen. The IFAD VDM-SL Toolbox: A Practical Approach to Formal Specifications. ACMSIGPLANNotices, 29(9):77-80, September 1994.
6. Norbert E. Fuchs. Specifications Are (Preferably) Executable. Software Engineering Journal, September 1992.
7. M A Hewitt. PiZA : User Guide, first edition, August 1997. available from http://www.noodles.demon.co.uk/PiZA.
8. Xiaoping Jia. An Approach to Animating Z Specifications. In Proceedings of 19th Annual International Computer Software and Applications Conference. Dallas, Texas, USA, August 1995.
9. Cliff B Jones. Systematic Software Development using VDM. International Series in Computer Science. Prentice Hall, second edition, 1990. 0-13-880733-7.
10. B-Core(UK) Ltd. B-ToolkitUser'sManual. B-Core(UK) Ltd., 1997.
11. Bertrand Meyer. Applying Design by Contract. Computer, 25(10):40-51, October 1992.
12. D S Neilson and I H Sørensen. The B-Technologies : A System for Computer Aided Programming. In Proceedings 6th Nordic Workshop on Programming Languages, pages 18-35. 1994.
13. Ian Oliver. "Executing" the OCL. accepted at Ph-DOOS'99 at ECOOP'99, Lisbon, Portugal.
14. Ian Oliver. Validation of Object-Oriented Models using Animation. Ph.D. thesis, University of Kent at Canterbury, 1999. in preparation.
15. Rational Software Corporation. UML-Object Constraint Language Specification, version 1.1 edition, September 1997. http://www.rational.com/uml.
16. Rational Software Corporation. UML Notation Guide, version 1.1 edition, September 1997. http://www.rational.com/uml.
17. Rational Software Corporation. UML Semantics, version 1.1 edition, September 1997. http://www.rational.com/uml.
18. Ian Sommerville. Software Engineering. Addison-Wesley, fourth edition, 1992. 0-201-56529-3.
19. JMSpivey. The Z Notation: A ReferenceManual. PrenticeHall International Series in Computer Science. Prentice Hall, Hemel Hempstead, second edition, 1989. editied by C.A.R.Hoare.
20. Margaret M West, T F Buckley, and P H Jesty. Pelican Safety Study. TechnicalReport 92.4, School ofComputer Studies, University of Leeds, England,UK, March 1992.