Skip to main navigation
Skip to content
Skip to footer
Skip to search

Institute of Software Engineering and Programming Languages

Menu

Institute of Software Engineering and Programming Languages
Institute
Teaching
- Teaching
- Overview
- Topics for Theses and Projects
- Supervised Theses
Research
- Research
- Overview
- Projects
  - Projects
  - SafeSec
  - CodeInspector
  - flowR
  - CoreASM
  - Ensure
  - Flux
  - GENIAL
  - Inline
  - MENTOR
  - MICE
  - Feature-Model Counting
  - SORRIR
  - Quadcopter Lab
  - VariantSync
  - Super-Linear Speedup by Program Transformation
  - Embedding of Constraint Handling Rules
  - Waddle
- Publications
Team

SP
Teaching
Methods of software specification

- DE

Organization

The first meeting will be on Wednesday, 15.04.2014 at 12:15 in O27-411 Nord.

Contact

Prof. Dr. Helmuth Partsch

Further information

course catalogue

Service

Legal information

Responsible for the content of this page:
https://www.uni-ulm.de/index.php?id=54773
Prof. Dr. Matthias Tichy

Last modified:
27 . February 2025

© 2026 Universität Ulm | Ulm University