Object COMX: Methodology using communicating X-machine objects

JOOP - Journal of Object-Oriented Programming

Volumn 12, Issue 7, 1999, Pages 12-17

  Barnard, Judith ^a  

^a NONE

Author keywords

[No Author keywords available]

Indexed keywords

EID: 0040320216     PISSN: 08968438     EISSN: None     Source Type: Journal    
DOI: None     Document Type: Article

References (9)

1. Ellsberger, J., D. Hogrefe, and A. Sarma. SDL Formal Object-Oriented Language for Communicating Systems, Prentice Hall Europe, 1997.
2. Murata, T. "Petri Nets: Properties, Analysis and Applications," Proceedings of the IEEE, 77(4), Apr. 1989.
3. Barnard, J., J. Whitworth, and M. Woodward. "Communicating X-Machines," Information and Software Technology, 38(6), June 1996.
4. Holcombe, M. "X-Machines as a Basis for Dynamic System Specification," Software Engineering Journal, 3(2), 1988.
5. Laycock, G. "Introduction to X-Machines," Technical report CS-93-13, Department of Computer Science, University of Sheffield, 1993.
6. Barnard, J. "X-Machine Specification, Testing and Verification Techniques," MSc Dissertation, Department of Computer Science, University of Sheffield, 1993.
7. Barnard, J. "COMX: A Methodology for the Formal Design of Computer Systems Using Communicating X-Machines," Ph.D. thesis, Staffordshire University, 1996.
8. Barnard, J. "COMX: A Methodology Using Communicating X-Machines," Information and Software Technology, 40(5-6), July 1998.
9. Quatrani, T. Visual Modeling with Rational Rose and UML, Addison-Wesley, Reading, MA, 1997.