Using timed CSP during object oriented design of real-time systems

Information and Software Technology

Volumn 38, Issue 2, 1996, Pages 89-102

  O'Donoghue, P G ^a   Hull, M E C ^a  

^a UNIVERSITY OF ULSTER   (United Kingdom)

Author keywords

MASCOT; Object modelling; Object oriented; Timed CSP

Indexed keywords

COMPUTER PROGRAMMING LANGUAGES; COMPUTER SIMULATION; COMPUTER SOFTWARE; OBJECT ORIENTED PROGRAMMING;

POLYMORPHISM; PROGRAMMING LANGUAGE MASCOT; REACTIVE SYSTEMS;

REAL TIME SYSTEMS;

EID: 0029697371     PISSN: 09505849     EISSN: None     Source Type: Journal    
DOI: 10.1016/0950-5849(95)01049-1     Document Type: Article

References (24)

1. Bryant, T and Evans, A 'OO oversold: those objects of obscure desire', J. Inf. and Soft. Technol. Vol 36 No 1 (January 1994) pp 35-42
2. Booch, G Object oriented design with applications Benjamin/ Cummings (1991)
3. Shlaer, S and Mellor, S J Object oriented systems analysis: modelling the world in data Yourdon Press (1988)
4. Rumbaugh, J, Blaha, M, Premerlani, W, Eddy, F and Lorensen, W Object oriented modelling and design Prentice-Hall (1991)
5. Reenskaug, T, Anderson, T P and Beere, A J 'OORASS: seamless support for the creation and maintenance of object oriented systems', J. Object Oriented Programming Vol 5 No 6 (1992)
6. Wasserman, A I, Pircher, P A and Muller, R J 'The object oriented software notation for software design representation' IEEE Computer Vol 23 No 3 (1990)
7. Colbert, E 'The object oriented software development method: a practical approach to object oriented development' Proc. of TRI-Ada Conference New York (1989)
8. Hull, M E C, O'Donoghue, P G and Hagan, B J 'MOON - modular object oriented notation, Software Engineering Journal Vol 6 No 1 (January 1991) pp 25-33
9. Hull, M E C, O'Donoghue, P G and Hagan, B J 'Development methods for real-time systems' The Computer Journal Vol 34 No 2 (April 1991) pp 164-172
10. Simpson, H R 'The MASCOT Method' Software Engineering Journal Vol 1 No 3 (January 1986) pp 103-120
11. Bate, G 'MASCOT3: an informal introductory tutorial' Software Engineering Journal Vol 1 No 3 (January 1986)
12. Jackson, M A Principles of program design Academic Press (1975)
13. Davies, J and Schneider, S 'An introduction to Timed CSP', Technical Monograph PRG-75 Oxford University Computing Laboratory, Programming Research Group (August 1989)
14. Davies, J and Schneider, S 'A brief history of Timed CSP', Technical Monograph PRG-96 Oxford University Computing Laboratory, Programming Research Group (April 1992)
15. Inmos, Occam2 Reference Manual Prentice-Hall (1988)
16. Wirfs-Brock, R, Wilkerson, B and Wiener, L Designing object oriented software Prentice-Hall (1990)
17. Hull, M E C and O'Donoghue, P G 'Introducing formal methods to HOOD', Proceedings of the 6th International Conference on Software Engineering and its Applications, Paris La Defense (November 1993)
18. Stroustrup, B The C++ Programming Language Addison-Wesley (1986)
19. Duncan, B V, Powers, L S and Stiles, G S 'TransAcq: real time data acquisition and analysis system for optical spectroscopy', Proceedings of the 3rd Conference of the North American Transputer Users Group (April 1990) pp 1-6
20. Abraham, L, Murphy, M, Lopes, P and O'Donoghue, P G 'A flexible system for anaerobic testing', Proceedings of the 13th International Conference of Applied Informatics Innsbruck Austria (February 1995) pp 47-49
21. Wilkie, G Object oriented software engineering: the professional developer's guide Addison-Wesley (1993) pp 135-136
22. Harel, D 'Statecharts: a visual formalism for complex systems', Science of Computer Programming Vol 8 No 3 (June 1987) pp 231-274
23. De Marco T Structured analysis and system specification Prentice-Hall (1979)
24. Hull, M E C, O'Donoghue, P G and Curran, P 'Embedded system specification and transformation into Occam', J. of Microcomputer Applications, Vol 16, 1993, pp 347-367