Travelled to:1 × France
1 × Germany
1 × USA
1 × United Kingdom
Collaborated with:∅ K.Palmkvist
Talks about:formal (3) approach (2) model (2) relationship (1) subsystem (1) interact (1) collabor (1) languag (1) specif (1) orient (1)
Person: Gunnar Övergaard
DBLP: =Ouml=vergaard:Gunnar
Contributed to:
2000
200019991998Wrote 4 papers:
- FASE-2000-Overgaard #metamodelling #object-oriented #specification
- Formal Specification of Object-Oriented Meta-modelling (GÖ), pp. 193–207.
- UML-2000-OvergaardP #uml
- Interacting Subsystems in UML (GÖ, KP), pp. 359–368.
- UML-1999-Overgaard #approach #formal method #modelling
- A Formal Approach to Collaborations in the Unified Modeling Language (GÖ), pp. 99–115.
- UML-1998-OvergaardP #approach #case study #formal method
- A Formal Approach to Use Cases and Their Relationships (GÖ, KP), pp. 406–418.