Research

Mobile Systems; Extreme Programming; Customer Relationship Management; Softwareengineering methods for hypermedia systems; Specification of software systems, especially combining algebraic specification methods with model-oriented specification methods.

I was program chair of XP 2005, the Sixth International Conference on Extreme Programming and Agile Processes in Software Engineering, June 18-23, 2005 in Sheffield, UK. Pictures can be found in the pictures section.

Pictures of XP 2004, where I was academic chair, are in the pictures section.

I have some examples on how the birthday book specification of the Z reference manual can be specified in a model-oriented style using the Larch Shared Language instead of Z. -->

I am active in the design of the algebraic specification language CASL (Common Algebraic Specification Language) within the Common Framework Initiative.

I maintain the web-site of CASL Case Studies. You are invited to send CASL case studies to me.


On to Projects Part of Hubert Baumeister's home page
Hubert Baumeister
October 10, 2009