[Update: 25-Jan-2012]
Research Group for SOFTWARE SCIENCE and FORMAL METHODS
This research group, SSFM, was established in November 2009.
We investigate theoretical aspects of software and computational
systems for the sake of practical benefits such as systems quality
and reliability.
- SOFTWARE SCIENCE
is understood as the systematic body
of knowledge about software technics, software engineering and
software technology, including not only theoretical and practical
aspects of software itself (its conceptualisation, its construction,
its validation), but also methodological, meta-scientific, or
science-philosophical reflections on software engineering and
its scientificness in the context of a general philosophy of
science and technology.
- FORMAL METHODS
are understood as the
investigation and systematic application of mathematics- and
logics-based techniques, in the domain of software engineering,
at the interface between theoretical and practical informatics,
for accurate system descriptions as well as deductive reasoning
about system properties.
This entails, for example: rigorous approaches to model transformations
in the field of model-driven engineering (MDE), the implementation of
software development environments (SDE) in the context of automated
software engineering (ASE) or computer-aided software engineering (CASE).
However we also deal with a range of other formalisms and topics such as
CSP, UML, the advantageous combination of formal and agile methods in
software engineering, etc.
Main Researchers
- Research Leader: STEFAN GRUNER
(Associate Professor: CS/UP, Member of EASST,
FME, etc.)
- Research Member: FRITZ SOLMS (Senior Lecturer: CS/UP)
- Research Member: JAN KROEZE (Lecturer: CS/UP)
- Research Fellow: We are currently seeking a new research fellow
for 2012-2013.
Research Activities
Further Information