squam.info

Systematic Quality Assessment of Models

Dresden OCL Days at Quality Engineering

     

Dresden OCL Days at Quality Engineering is an interactive session between Birgit Demuth and researchers from University of Innsbruck. The workshop has the following goals:

Event details

Location
 
: Institut of Computer Science, University of Innsbruck,
  SR1 on the ground floor in the ICT Building
Date : 2010-08-09/10
Invited speakers : Birgit Demuth, Class Wilke, Michael Thiele
Organisator : Joanna Chimiak-Opoka (SQUAM@QE)
Language : German

Invited speakers

Birgit Demuth, Ph.D.

post-doc at the Software Technology, TU Dresden
Dresden, Germany

Birgit works as a lecturer and researcher at the Technische Universität Dresden where she got her PhD in information systems. Her field is originally database research, in recent years she specialized on software engineering issues. She is the leader of the Dresden OCL project since 2003. Furthermore, she is a member of the ACM (Association for Computing Machinery) and of GI (Gesellschaft für Informatik).

claas.wilke

Claas Wilke

Ph.D. student at the Software Technology, TU Dresden
Dresden, Germany

Since 2004, Claas is studying computer science at the TU Dresden, Germany. In 2006, he started his contributing work in development and support of the Dresden OCL project. In 2009 he got his diploma (M.Sc.) focusing on run-time verification using the Object Constraint Language (OCL) and the verification framework Treaty. Since January 2010, Claas is working as a research assistant and Ph.D. student at the TU Dresden, Software Technology Group. His research includes energy-aware software architectures and model-driven testing. Besides his research, Claas is still contributing to the Dresden OCL project.

miechael.thiele

Michael Thiele

M.Sc. student at the Software Technology, TU Dresden
Dresden, Germany

Since 2004, Michael has been a student of computer science at the TU Dresden, Germany. He has been a constant contributor at Dresden OCL for 4 years. In 2010, he did his “Großer Beleg” on the modularity of formal semantics and started describing modular OCL semantics. His research interests include functional languages, DSLs, parsing, semantic analysis and modelling.

Program