Contents of "Hubert Baumeister's home page"

• Research
• Teaching
• Projects
• Publications
  • *Conference Papers
  • *Research Reports
  • *Dissertation
  • *Other Publications
• Degrees
• Pictures
  • *Conferences and Workshops
  • *DTU
• Jeppe pŒ bjerget
• Calendar
• (Publications)
  • *Customer Relationship Management for SME's
  • *Extending Activity Diagrams to Model Mobile Systems
  • *Using XP to develop a CRM framework
  • *Applying Test-First Programming and Iterative Development in Building an E-Business Application
  • *OCL Component Invariants
  • *Specifying Component Invariants with OCL
  • *CARUSO: Customer Care and Relationship Support Office
  • *BABSy: Basic Agent Framework Billing System
  • *State-Based Extension of CASL
  • *Relating Abstract Datatypes and Z-Schemata
  • *Towards a UML Extension for Hypermedia Design
  • *Refinement using µ-Charts: The Compaq Grand Slam Cup Case Study Revisited
  • *Description Techniques for Distributed Hypermedia Systems
  • *Relations between Abstract Datatypes modeled as Abstract Datatypes
  • *Relations as Abstract Datatypes: An Institution to Specify Relations between Algebras
  • *Unifying Initial and Loose Semantics of Parameterized Specifications in an Arbitrary Institution
  • *Using Algebraic Specification Languages for Model-Oriented Specifications
  • *Parameter Passing in the typed lambda-calculus approach to Parameterized Specifications
  • *†ber die StabilitŠt parameterisierter algebraischer Spezifikationen (About the Stability of Parameterized Algebraic Specifications)
• (Poster)
• (Picture)
• (Picture)
• (Picture)
• (Picture)
• (Picture)
• (Picture)
• (Picture)
• (Picture)
• (Picture)