TU München - Fakultät für Informatik
Chair IV: Software & Systems Engineering

  Home  |  Research/Competence  |  Teaching  |  People  |  Publications  |  Misc  |  Contact  | 

|    

Competence Centers Overview

	Architecture & Services Description techniques and development processes for large software systems.		Modelbased Development CASE tool development, deployment, and model-based testing.		Security Methodical development of security-critical systems.
	Embedded Systems Design, description, analysis, and simulation of control software for technical processes.		Process Models Development of Process Meta-Models, Project Management, Process Patterns, Open Source Processes, Maturity Models		Theorem Proving Foundations and Applications of Machine Supported Proofs.
	Mobility & Context Awareness Architectures for mobile and context-based applications		Requirements Engineering Creation process of documented representations of the requirement specifications.		Correctness of Programming Languages Theory and Tools for the Verification of Programming Languages.
	Software Maintenance Maintenance and development of existing software.		Verification & Testing Test and verification of software systems.		Tool Support Tooldevelopment at the chair.