Dr. María Victoria Cengarle

Present affiliation: fortiss

Lehrstuhl IV Software & Systems Engineering

Institut für Informatik

Technische Universität München

Boltzmannstr. 3,
85748 Garching bei München,
Germany
(How to get there?)

Room: 00.11.063

Phone: +49 (89) 289-17378
Fax: +49 (89) 289-17307

cengarle

in.tum.de

These personal data are free for information and communication within academy, and may be neither used for commercial purposes nor included in mailing lists without written permission of their owner.

Research interests:

Semantics of programming and specification languages
Formal software development

Publications (from 1992): >>>

Projects:

SPES 2020 (Software Platform Embedded Systems 2020): The Innovation Alliance SPES 2020 aims at streamlining embedded software development in a domain-spanning manner. For this purpose, a seamless, model-based methodology for the development of embedded software is to be conceived. In designing this methodoloy, the Innovation Alliance focusses on the application fields of automation, automotive, avionics, energy, as well as the medical sector. This project is being carried out in cooperation with industry partners, like for instance Siemens AG, Robert Bosch GmbH and the European Aeronautic Defence and Space Company (EADS), with academic partners like for example the University Duisburg Essen and the University Paderborn, as well as with technology transfer institutes as the Fraunhofer IESE. (Auf Deutsch, bitte!)
rUML, follow-on of the UML 2.0 Semantics Project, in cooperation with TU Braunschweig (Germany), IBM Kanata and Queen's University (Canada), among others
Extensiones de modelos UML para el diseño del comportamiento de sistemas de tiempo real y líneas de producción, in cooperation with Universidad de la República (Uruguay) and Universidad ORT del Uruguay (Uruguay)
Methodical founded development of real-time systems (InTime)
Families (FAct-based Maturity through Institutionalisation Lessons-learned and Involved Exploration of System-family engineering) in cooperation with Siemens
CAFÉ (From Concepts to Application in System-family engineering) in cooperation with Siemens

Teaching:

Lectures (in German)
- Hauptseminar "Semantik der UML V2.0" (Wintersemester 2004/05)
Student supervision
- Automatic System Test Scenario Generation based on UML (diploma thesis)
- Comparison of UML 2.0 and Domain Specific Languages in the context of Model Driven Development (diploma thesis)
- UML-Interactions enhanced with OCL/RT: Syntax and Semantics (MA thesis, Universidad de la República, Uruguay)

Previous affiliations:

Fraunhofer Institute for Experimental Software Engineering
Bayerische Landesbank
Programming and Software Engineering, Dept. of Computer Science, Ludwig-Maximilians-Universität Munich

I think we can handle one little girl.