Kevin Lano

• Kevin Lano: Defining Semantics for Rigorous Development in UML, OOPSLA'98 Workshop on Formalizing UML. Why? How?, 1998, (BibTeX entry).
• Kevin Lano, Juan Bicarregui: Formalising the UML in Structured Temporal Theories, Second ECOOP Workshop on Precise Behavioral Semantics (with an Emphasis on OO Business Specifications), 1998, (BibTeX entry).
• Robert B. France, Andy Evans, Kevin Lano: The UML as a Formal Modeling Notation, OOPSLA'97 Workshop on Object-oriented Behavioral Semantics, 1997, (BibTeX entry).
• Stuart Kent, Kevin Lano, Juan Bicarregui, Ali Hamie, John Howse: Component Composition in Business and System Modeling, OOPSLA'97 Workshop on Object-oriented Behavioral Semantics, 1997, (BibTeX entry).
• Juan Bicarregui, Kevin Lano, Tom Maibaum: Formalising Object-Oriented Models in the Object Calculus, ECOOP'97 Workshop on Precise Semantics for Object-Oriented Modeling Techniques, 1997, (BibTeX entry).
• Kevin Lano, Juan Bicarregui: Semantics and Transformations for UML Models, UML'98: Beyond the Notation - International Workshop (Preliminary Proceedings), 1998, (BibTeX entry).
• Andy Evans, Robert B. France, Kevin Lano, Bernhard Rumpe: Developing the UML as a Formal Modelling Notation, UML'98: Beyond the Notation - International Workshop (Preliminary Proceedings), 1998, (BibTeX entry).
• Kevin Lano, Juan Bicarregui: Semantics and Transformations for UML Models, UML'98: Beyond the Notation - International Workshop (Final Proceedings), 1998, (BibTeX entry).
• Andy Evans, Robert B. France, Kevin Lano, Bernhard Rumpe: The UML as a Formal Modeling Notation, UML'98: Beyond the Notation - International Workshop (Final Proceedings), 1998, (BibTeX entry).
• Kevin Lano, D. Clark, K. Androutsopoulos: Formalising Inter-model Consistency of the UML, Workshop on Consistency Problems in UML-based Software Development, 2002, (BibTeX entry).
• Robert B. France, Andy Evans, Kevin Lano, Bernhard Rumpe: The UML as a formal modeling notation, 1998, (BibTeX entry).

Search other Bibliographies

• dblp: Computer Science Bibliography (University of Trier, Germany). (Note that this does not always work due to different naming schemes.)

[Home | Search Author | Search Title]
Contact: Paul Ziemann (ziemann@informatik.uni-bremen.de), last update: 10.5.2005.