|
|
- Baumeister, Nora Koch, Piotr Kosiuczenko, and Martin Wirsing.
Extending Activity Diagrams to Model Mobile Systems.
In M. Aksit, M. Mezini, and R. Unland, editors, Objects, Components,
Architectures, Services, and Applications for a Networked World.
International Conference NetObjectDays, NODe 2002, Erfurt, Germany, Oct. 7-10, 2002. Revised Papers, volume 2591 of LNCS, pages
278-293. © Springer Verlag, 2003.
- Baumeister H. Customer Relationship Management for SME's, 2002. In proceedings E2002.
- Baumeister H. Using XP to develop a CRM framework, 2002. In proceedings XP2002.
- Baumeister H., Wirsing M. Applying Test-First Programming and Iterative
Development in Building an E-Business Application. In proceedings
International Conference on Advances in Infrastructure for
e-Business, e-Education, e-Science, and e-Medicine on the Internet, SSGRR
2002, L'Aquila, Italy, January 2002, 2002.
- Baumeister H., Hennicker R., Knapp A., Wirsing M.: OCL Component
Invariants. Monterey Workshop 2001, Engineering Automation for Software
Intensive System Integration, June 18--22, 2001, Monterey, USA, Seiten
208--215, 2001.
- Hennicker R., Baumeister H., Knapp A., Wirsing M.: Specifying
Component Invariants with OCL. Proc. GI/OCG-Jahrestagung, Volume 157/I,
Seiten 600--607. ÖGI (Austrian Computer Society), books@ocg.at, 2001.
- Rupert Rockinger, Hubert Baumeister. BABSy: Basic Agent Framework Billing System, in proceedings MAMA 2000, Wollongong, Australia, Dec 2000
- Hubert Baumeister, Alexandre Zamulin. State-Based Extension of CASL, in proceedings IFM 2000 Schloß Dagstuhl, Wadern, Germany, Oct 2000.
- Hubert Baumeister and Piotr Kosiuczenko. CARUSO: Customer Care and Relationship Support Office. in proceedings ECPPM'2000 Lisbon, Protugal, Sep 2000
- Hubert Baumeister. Relating Abstract Datatypes and Z-Schemata. in proceedings WADT'99 Bonas, France, Nov 1999
- Hubert Baumeister, Nora Koch and Luis Mandel. Towards a UML Extension for Hypermedia Design. In proceedings of UML'99 Fort Collins, USA, Oct 1999
- Hubert Baumeister, Christoph Maier, Martin Rappl and Peter Scholz. Refinement using µ-Charts - The Compaq Grand Slam Cup Case Study Revisited. In AoM/IAoM '99 pages 159--164, San Diego, USA, Oct 1999, Maximilan Press Publisher
- Hubert Baumeister. Relations as abstract datatypes: An institution
to specify relations between algebras. In TAPSOFT '95, volume 915
of LNCS, pages 756-771, Århus, Denmark, May 1995. Springer.
- Hubert Baumeister. Unifying initial and loose semantics of
parameterized specifications in an arbitrary institution. In TAPSOFT
'91, Volume 1: CAAP, volume 493 of LNCS, pages 103-120, Brighton, UK, April 1991. Springer.
- Baumeister, Hubert. Towards using Extreme Programming to the Formal Specication of Software, abstract presented at WADT 2002
- Baumeister, Hubert. Formal Methods and Extreme Programming, abstract presented at EFSD 2002.
- Hubert Baumeister, Didier Bert. Algebraic Specification in CASL. Chapter in the book "Software Specification Methods: An Overview Using a Case Study", eds. M. Frappier, H. Habrias, FACIT (Formal Approaches to Computing and Information Technology), Springer. 2000
- Hubert Baumeister. Parameter passing in the typed lambda-calculus
approach to parameterized specifications, April 1993.
- Diploma Thesis: "Über die Stabilität parameterisierter algebraischer Spezifikationen
(About the Stability of Parameterized Algebraic Specifications)"
- Hubert Bertling, Harald Ganzinger, and Hubert Baumeister. CEC
(conditional equations completion). In 4th Annual Symposium on
Theoretical Aspects of Computer Science, volume 247 of LNCS, page
470, Passau, Germany, 19-21 February 1987. Springer.
- Harald Ganzinger, Georg Heeg, Hubert Baumeister, and Michael Rüger. Smalltalk-80. Informationstechnik- it, 29(4):241-251, 1987.
|