Search the dblp DataBase

Publications of Author

1. Diego Latella, Mieke Massink, Hubert Baumeister, Martin Wirsing
   Mobile UML Statecharts with Localities. [Citation Graph (0, 0)][DBLP]
   Global Computing, 2004, pp:34-58 [Conf]
   
2. Rolf Hennicker, Hubert Baumeister, Alexander Knapp, Martin Wirsing
   Specifying Component Invariants with OCL. [Citation Graph (0, 0)][DBLP]
   GI Jahrestagung (1), 2001, pp:600-607 [Conf]
   
3. Hubert Baumeister, Nora Koch, Piotr Kosiuczenko, Perdita Stevens, Martin Wirsing
   UML for Global Computing. [Citation Graph (0, 0)][DBLP]
   Global Computing, 2003, pp:1-24 [Conf]
   
4. Hubert Baumeister, Alexander Knapp, Nora Koch, Gefei Zhang
   Modelling Adaptivity with Aspects. [Citation Graph (0, 0)][DBLP]
   ICWE, 2005, pp:406-416 [Conf]
   
5. Hubert Baumeister, Alexandre V. Zamulin
   State-Based Extensions of CASL. [Citation Graph (0, 0)][DBLP]
   IFM, 2000, pp:3-24 [Conf]
   
6. Hubert Baumeister, Nora Koch, Piotr Kosiuczenko, Martin Wirsing
   Extending Activity Diagrams to Model Mobile Systems. [Citation Graph (0, 0)][DBLP]
   NetObjectDays, 2002, pp:278-293 [Conf]
   
7. Hubert Baumeister, Alexander Knapp, Martin Wirsing
   Property-Driven Development. [Citation Graph (0, 0)][DBLP]
   SEFM, 2004, pp:96-102 [Conf]
   
8. Michel Bidoit, Rolf Hennicker, Alexander Knapp, Hubert Baumeister
   Glass-Box and Black-Box Views on Object-Oriented Specifications. [Citation Graph (0, 0)][DBLP]
   SEFM, 2004, pp:208-217 [Conf]
   
9. Hubert Bertling, Harald Ganzinger, Hubert Baumeister
   CEC (Conditional Equations Completion). [Citation Graph (0, 0)][DBLP]
   STACS, 1987, pp:470- [Conf]
   
10. Hubert Baumeister
    Unifying Initial and Loose Semantics of Parameterized Specifications in an Arbitrary Institution. [Citation Graph (0, 0)][DBLP]
    TAPSOFT, Vol.1, 1991, pp:103-120 [Conf]
    
11. Hubert Baumeister
    Relations as Abstract Datatypes: An Institution to Specify Relations between Algebras. [Citation Graph (0, 0)][DBLP]
    TAPSOFT, 1995, pp:756-771 [Conf]
    
12. Hubert Baumeister, Nora Koch, Luis Mandel
    Towards a UML Extension for Hypermedia Design. [Citation Graph (0, 0)][DBLP]
    UML, 1999, pp:614-629 [Conf]
    
13. Luis Filipe Andrade, Paolo Baldan, Hubert Baumeister, Roberto Bruni, Andrea Corradini, Rocco De Nicola, José Luiz Fiadeiro, Fabio Gadducci, Stefania Gnesi, Piotr Hoffman, Nora Koch, Piotr Kosiuczenko, Alessandro Lapadula, Diego Latella, Antónia Lopes, Michele Loreti, Mieke Massink, Franco Mazzanti, Ugo Montanari, Cristóvão Oliveira, Rosario Pugliese, Andrzej Tarlecki, Michel Wermelinger, Martin Wirsing, Artur Zawlocki
    AGILE: Software Architecture for Mobility. [Citation Graph (0, 0)][DBLP]
    WADT, 2002, pp:1-33 [Conf]
    
14. Hubert Baumeister
    Relating Abstract Datatypes and Z-Schemata. [Citation Graph (0, 0)][DBLP]
    WADT, 1999, pp:366-382 [Conf]
    
15. Hubert Baumeister
    Combining Formal Specifications with Test Driven Development. [Citation Graph (0, 0)][DBLP]
    XP/Agile Universe, 2004, pp:1-12 [Conf]
    
16. Rolf Hennicker, Alexander Knapp, Hubert Baumeister
    Semantics of OCL Operation Specifications. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2004, v:102, n:, pp:111-132 [Journal]
    
17. Hubert Baumeister, Florian Hacklinger, Rolf Hennicker, Alexander Knapp, Martin Wirsing
    A Component Model for Architectural Programming. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2006, v:160, n:, pp:75-96 [Journal]
    
18. 
    Modelling the CoCoME with the Java/AComponent Model. [Citation Graph (, )][DBLP]
    
    
19. 
    AOSTA: Agile Open Source Tools Academy. [Citation Graph (, )][DBLP]