Travelled to:1 × China
1 × Germany
1 × USA
Collaborated with:∅ A.Knapp A.V.Zamulin M.Wirsing N.Koch L.Mandel M.Bidoit R.Hennicker
Talks about:institut (2) specif (2) extens (2) relat (2) box (2) hypermedia (1) parameter (1) arbitrari (1) properti (1) abstract (1)
Person: Hubert Baumeister
DBLP: Baumeister:Hubert
Contributed to:
2004
2000
1999
19911995Wrote 6 papers:
- SEFM-2004-BaumeisterKW #development
- Property-Driven Development (HB, AK, MW), pp. 96–102.
- SEFM-2004-BidoitHKB #black box #object-oriented #specification
- Glass-Box and Black-Box Views on Object-Oriented Specifications (MB, RH, AK, HB), pp. 208–217.
- IFM-2000-BaumeisterZ
- State-Based Extensions of CASL (HB, AVZ), pp. 3–24.
- UML-1999-BaumeisterKM #design #hypermedia #towards #uml
- Towards a UML Extension for Hypermedia Design (HB, NK, LM), pp. 614–629.
- CAAP-1991-Baumeister #semantics #specification
- Unifying Initial and Loose Semantics of Parameterized Specifications in an Arbitrary Institution (HB), pp. 103–120.
- TAPSOFT-1995-Baumeister #algebra #data type
- Relations as Abstract Datatypes: An Institution to Specify Relations between Algebras (HB), pp. 756–771.