Research Group for SOFTWARE SCIENCE and FORMAL METHODSThis 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.
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.
- 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.
- 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.
- Postgraduate Students, and their Reseach Projects
- Inter-Institutional Cooperations and Partnerships
- Recent Publications: Original Papers and Editions