eCite Digital Repository

Author: Lakos, CA (Dr Charles Lakos)

Number of items: 14

Journal Article
Lakos, CA and Sale, AHJ, Is Disciplined Programming Transferable, and is it Insightful?, Australian Computer Journal, 10, (3) pp. 87-97. ISSN 0004-8917 (1982) [Refereed Article] 
Conference Publication
Lakos, CA and Lewis, G, Animating formal specifications using Java applets, Technology of Object-Oriented Languages and Systems, Melbourne, pp. 181-191. (1997) [Refereed Conference Paper] 
Lakos, CA, On the Abstraction of Coloured Petri Nets, Application and Theory of Petri Nets 1997, Toulouse, France, pp. 42-61. (1997) [Refereed Conference Paper] 
Lakos, CA and Malhotra, VM, Requirements specification: an exercise in verification, Proceedings of Software Engineering and Its Application, Hyderabad, India, pp. 41-50. (1997) [Refereed Conference Paper] 
Lakos, CA, A cooperative editor for hierarchical diagrams: An Object Petri Net model, Workshop on Object-oriented Programming and Models of Concurrency., Osaka, Japan, pp. 43-56. (1996) [Non Refereed Conference Paper] 
Keen, CD and Lakos, CA, An Analysis of the Design Constructs Required in Process Modelling, 1996 International Conference on Software Egnineering: Education & Practice, Otago University, Dunedin, NZ, pp. 434-441. (1996) [Non Refereed Conference Paper] 
Lakos, CA, The consistent use of names and polymorphism in the definition of Object Petri Nets, 17th International Conference on the Application and Theory of Petri Nets, Osaka, Japan, pp. 380-399. (1996) [Refereed Conference Paper] 
Lakos, CA, Towards a reflective implementation of Object Petri Nets, TOOLS Pacfic 1996, Melbourne, Australia, pp. 129-140. (1996) [Refereed Conference Paper] 
Lakos, CA, From Coloured Petri Nets to Object Petri Nets, 16th International Conference on the Application and Theory of Petri Nets, Torino, Italy, pp. 278-297. (1995) [Refereed Conference Paper] 
Lakos, CA and Lamp, JW and Keen, CD and Marriott, BW, Modelling Network Protocols with Object Petri Nets, Workshop on Petri Nets Applied to Protocols, Torino, Italy, pp. 31-42. (1995) [Refereed Conference Paper] 
Lakos, CA, Pragmatic Inheritance Issues for Object Petri Nets, TOOLS Pacific 1995, Melbourne, Australia, pp. 309-321. (1995) [Refereed Conference Paper] 
Lakos, CA, The Object Orientation of Object Petri Nets, Workshop on Object Oriented Programming and Models of Concurrency, Torino, Italy, pp. 1-14. (1995) [Non Refereed Conference Paper] 
Other Public Output
Lakos, CA, The LOOPN++ User Manual, Technical Report, Computer Science Dept, University of Tasmania, Hobart, Tasmania, Jan, R96-1 (1996) [Report of Restricted Access] 
Lakos, CA and Keen, CD, An Open Software Engineering Environment Based on Object Petri Nets, Technical Report, Computer Science Dept, University of Tasmania, May 1995, R95-6 (1995) [Report of Restricted Access] 

This list was generated on Tue Oct 15 06:15:39 2019.