2008 |
21 | EE | Werner Wild,
Barbara Weber,
Hubert Baumeister:
AOSTA: Agile Open Source Tools Academy.
XP 2008: 248-249 |
2007 |
20 | EE | Alexander Knapp,
Stephan Janisch,
Rolf Hennicker,
Allan Clark,
Stephen Gilmore,
Florian Hacklinger,
Hubert Baumeister,
Martin Wirsing:
Modelling the CoCoME with the Java/AComponent Model.
CoCoME 2007: 207-237 |
2006 |
19 | EE | Hubert Baumeister,
Florian Hacklinger,
Rolf Hennicker,
Alexander Knapp,
Martin Wirsing:
A Component Model for Architectural Programming.
Electr. Notes Theor. Comput. Sci. 160: 75-96 (2006) |
2005 |
18 | | Hubert Baumeister,
Michele Marchesi,
Mike Holcombe:
Extreme Programming and Agile Processes in Software Engineering, 6th International Conference, XP 2005, Sheffield, UK, June 18-23, 2005, Proceedings
Springer 2005 |
17 | EE | Hubert Baumeister,
Alexander Knapp,
Nora Koch,
Gefei Zhang:
Modelling Adaptivity with Aspects.
ICWE 2005: 406-416 |
2004 |
16 | | Jutta Eckstein,
Hubert Baumeister:
Extreme Programming and Agile Processes in Software Engineering, 5th International Conference, XP 2004, Garmisch-Partenkirchen, Germany, June 6-10, 2004, Proceedings
Springer 2004 |
15 | EE | Diego Latella,
Mieke Massink,
Hubert Baumeister,
Martin Wirsing:
Mobile UML Statecharts with Localities.
Global Computing 2004: 34-58 |
14 | EE | Michel Bidoit,
Rolf Hennicker,
Alexander Knapp,
Hubert Baumeister:
Glass-Box and Black-Box Views on Object-Oriented Specifications.
SEFM 2004: 208-217 |
13 | EE | Hubert Baumeister,
Alexander Knapp,
Martin Wirsing:
Property-Driven Development.
SEFM 2004: 96-102 |
12 | EE | Hubert Baumeister:
Combining Formal Specifications with Test Driven Development.
XP/Agile Universe 2004: 1-12 |
11 | EE | Rolf Hennicker,
Alexander Knapp,
Hubert Baumeister:
Semantics of OCL Operation Specifications.
Electr. Notes Theor. Comput. Sci. 102: 111-132 (2004) |
2003 |
10 | EE | Hubert Baumeister,
Nora Koch,
Piotr Kosiuczenko,
Perdita Stevens,
Martin Wirsing:
UML for Global Computing.
Global Computing 2003: 1-24 |
2002 |
9 | EE | Hubert Baumeister,
Nora Koch,
Piotr Kosiuczenko,
Martin Wirsing:
Extending Activity Diagrams to Model Mobile Systems.
NetObjectDays 2002: 278-293 |
8 | EE | 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.
WADT 2002: 1-33 |
2001 |
7 | | Rolf Hennicker,
Hubert Baumeister,
Alexander Knapp,
Martin Wirsing:
Specifying Component Invariants with OCL.
GI Jahrestagung (1) 2001: 600-607 |
2000 |
6 | EE | Hubert Baumeister,
Alexandre V. Zamulin:
State-Based Extensions of CASL.
IFM 2000: 3-24 |
1999 |
5 | | Hubert Baumeister,
Nora Koch,
Luis Mandel:
Towards a UML Extension for Hypermedia Design.
UML 1999: 614-629 |
4 | | Hubert Baumeister:
Relating Abstract Datatypes and Z-Schemata.
WADT 1999: 366-382 |
1995 |
3 | | Hubert Baumeister:
Relations as Abstract Datatypes: An Institution to Specify Relations between Algebras.
TAPSOFT 1995: 756-771 |
1991 |
2 | | Hubert Baumeister:
Unifying Initial and Loose Semantics of Parameterized Specifications in an Arbitrary Institution.
TAPSOFT, Vol.1 1991: 103-120 |
1987 |
1 | | Hubert Bertling,
Harald Ganzinger,
Hubert Baumeister:
CEC (Conditional Equations Completion).
STACS 1987: 470 |