OOPSLA'98 Workshop on Formalizing UML. Why? How? |
 |
18 October 1998 Vancouver, BC, Canada (Conference Home)
Workshop Papers
- Ali Hamie:
A Formal Semantics for Checking and Analysing UML Models, (BibTeX entry).
- Andy Evans:
Making UML Precise, (BibTeX entry).
- Jean-Michel Bruel:
Transforming UML Models to Formal Specifications, (BibTeX entry).
- Egidio Astesiano:
UML as Heterogeneous Multiview Notation Strategies for a Formal Foundation, (BibTeX entry).
- Erzsébet Angster:
My Experiences with UML in Teaching OO Techniques, (BibTeX entry).
- John M. Artim:
One Approach to the Use of UML in User Interface Design and OO Development, (BibTeX entry).
- Birol Berkem:
Formalizing a 'Bridge' from the UML's Activity Diagram toward Use Cases, (BibTeX entry).
- Kenneth Baclawski:
UML Formalization: A Position Paper, (BibTeX entry).
- Joăo Gouveia:
The OBLOG Approach, (BibTeX entry).
- Kevin Lano:
Defining Semantics for Rigorous Development in UML, (BibTeX entry).
- Darmalingum Muthiayen:
Formalizing UML for Rigorous Software Development, (BibTeX entry).
- Robert Geisler:
Precise UML Semantics Through Formal Metamodeling, (BibTeX entry).
- Joăo Araújo:
Formalizing Sequence Diagrams, (BibTeX entry).
- Dave Hay:
UML Misses the Boat, (BibTeX entry).
- Peter van Emde Boas:
Formalizing UML; Misson Impossible?, (BibTeX entry).
[Home
| Search Author
| Search Title]
Contact: Paul Ziemann (ziemann@informatik.uni-bremen.de), last update: 10.5.2005.