Hubert Baumeister

According to our database, Hubert Baumeister authored at least 28 papers between 1987 and 2018.

Collaborative distances:

• Dijkstra number of three.
• Erdős number of four.

2018

An Integrated Framework to Develop Domain-Specific Languages: Extended Case Study.

Bahram Zarrin, Hubert Baumeister, Hessam S. Sarjoughian

Proceedings of the Model-Driven Engineering and Software Development, 2018

Towards Domain-specific Flow-based Languages.

Bahram Zarrin, Hubert Baumeister, Hessam S. Sarjoughian

Proceedings of the 6th International Conference on Model-Driven Engineering and Software Development, 2018

An Integrated Framework to Specify Domain-Specific Modeling Languages.

Bahram Zarrin, Hubert Baumeister

Proceedings of the 6th International Conference on Model-Driven Engineering and Software Development, 2018

2015

An Institution for Object-Z with Inheritance and Polymorphism.

Hubert Baumeister, Mohamed Bettaz, Mourad Maouche, M'hamed Mosteghanemi

Proceedings of the Software, 2015

Towards separation of concerns in flow-based programming.

Bahram Zarrin, Hubert Baumeister

Proceedings of the Companion Proceedings of the 14th International Conference on Modularity, 2015

2014

An environmental assessment system for environmental technologies.

Julie Clavreul, Hubert Baumeister, Thomas H. Christensen, Anders Damgaard

Environ. Model. Softw., 2014

2008

Uml-Based Web Engineering - An Approach Based on Standards.

Nora Koch, Alexander Knapp, Gefei Zhang, Hubert Baumeister

Proceedings of the Web Engineering: Modelling and Implementing Web Applications, 2008

AOSTA: Agile Open Source Tools Academy.

Werner Wild, Barbara Weber, Hubert Baumeister

Proceedings of the Agile Processes in Software Engineering and Extreme Programming, 2008

2007

Modelling the CoCoME with the Java/AComponent Model.

Alexander Knapp, Stephan Janisch, Rolf Hennicker, Allan Clark, Stephen Gilmore, Florian Hacklinger, Hubert Baumeister, Martin Wirsing

Proceedings of the Common Component Modeling Example: Comparing Software Component Models [result from the Dagstuhl research seminar for CoCoME, 2007

2005

A Component Model for Architectural Programming.

Hubert Baumeister, Florian Hacklinger, Rolf Hennicker, Alexander Knapp, Martin Wirsing

Proceedings of the International Workshop on Formal Aspects of Component Software, 2005

Modelling Adaptivity with Aspects.

Hubert Baumeister, Alexander Knapp, Nora Koch, Gefei Zhang

Proceedings of the Web Engineering, 5th International Conference, 2005

2004

Combining Formal Specifications with Test Driven Development.

Hubert Baumeister

Proceedings of the Extreme Programming and Agile Methods, 2004

Glass-Box and Black-Box Views on Object-Oriented Specifications.

Michel Bidoit, Rolf Hennicker, Alexander Knapp, Hubert Baumeister

Proceedings of the 2nd International Conference on Software Engineering and Formal Methods (SEFM 2004), 2004

Property-Driven Development.

Hubert Baumeister, Alexander Knapp, Martin Wirsing

Proceedings of the 2nd International Conference on Software Engineering and Formal Methods (SEFM 2004), 2004

Mobile UML Statecharts with Localities.

Diego Latella, Mieke Massink, Hubert Baumeister, Martin Wirsing

Proceedings of the Global Computing, IST/FET International Workshop, 2004

2003

Semantics of OCL Operation Specifications.

Rolf Hennicker, Alexander Knapp, Hubert Baumeister

Proceedings of the Workshop OCL 2.0 - Industry Standard or Scientific Playground?, 2003

UML for Global Computing.

Hubert Baumeister, Nora Koch, Piotr Kosiuczenko, Perdita Stevens, Martin Wirsing

Proceedings of the Global Computing. Programming Environments, 2003

2002

AGILE: Software Architecture for Mobility.

Luís 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

Proceedings of the Recent Trends in Algebraic Development Techniques, 2002

Extending Activity Diagrams to Model Mobile Systems.

Hubert Baumeister, Nora Koch, Piotr Kosiuczenko, Martin Wirsing

Proceedings of the Objects, 2002

2001

Specifying Component Invariants with OCL.

Rolf Hennicker, Hubert Baumeister, Alexander Knapp, Martin Wirsing

Proceedings of the Tagungsband der GI/OCG-Jahrestagung - 31. Jahrestagung der Gesellschaft für Informatik, Wirtschaft und Wissenschaft in der Network Economy, 2001

2000

State-Based Extensions of CASL.

Hubert Baumeister, Alexandre V. Zamulin

Proceedings of the Integrated Formal Methods, Second International Conference, 2000

1999

Relating Abstract Datatypes and Z-Schemata.

Hubert Baumeister

Proceedings of the Recent Trends in Algebraic Development Techniques, 1999

Towards a UML Extension for Hypermedia Design.

Hubert Baumeister, Nora Koch, Luis Mandel

Proceedings of the «UML»'99: The Unified Modeling Language, 1999

1998

Relations between abstract datatypes modeled as abstract datatypes.

Hubert Baumeister

PhD thesis, 1998

1995

Relations as Abstract Datatypes: An Institution to Specify Relations between Algebras.

Hubert Baumeister

Proceedings of the TAPSOFT'95: Theory and Practice of Software Development, 1995

1991

Unifying Initial and Loose Semantics of Parameterized Specifications in an Arbitrary Institution.

Hubert Baumeister

Proceedings of the TAPSOFT'91: Proceedings of the International Joint Conference on Theory and Practice of Software Development, 1991

1987

Smalltalk-80.

Hubert Baumeister, Harald Ganzinger, Georg Heeg, Michael Rüger

it Inf. Technol., 1987

CEC (Conditional Equations Completion).

Hubert Bertling, Harald Ganzinger, Hubert Baumeister

Proceedings of the STACS 87, 1987