Former organisational unit. 31/12/2012.
Department of Informatics and Mathematical Modeling - Former organisational unit. 31/12/2012. Taken over by Department of Applied Mathematics and Computer Science
Software Engineering is the discipline, which concerns all aspects of the production of software. In our research and teaching we focus on programming and principles for software development, also towards areas like parallel, distributed, embedded and real-time systems.
A goal is to establish methods, techniques and tools for the systematic development of high-quality software products. A main position of our approach is that the construction of software systems is a theory-based activity. In our daily work we want to employ the theory in practical applications, which also may involve experiments with new technology.
A characteristic is that systematic program development is a model-based activity, and a major part of our research is headed towards mathematically well-founded modelling, construction, analysis and verification of software systems and components.
We have a long tradition in the area of formal methods, and our research includes development and application of specification languages as well as modelling, analysis, design and construction in a variety of application areas, like satelite software, security protocols, and large infra structure systems such as transportation systems.
Publication: Research - peer-review › Journal article – Annual report year: 2012
Publication: Research - peer-review › Article in proceedings – Annual report year: 2012
Publication: Research › Report – Annual report year: 2012
Activity: Participation in conference/workshop/course/seminar › Participation in workshop, seminar, course
Activity: Participation in conference/workshop/course/seminar › Organisation of and participation in conference
Activity: Participation in council, board, committee and network › Membership in committee, council, board
ISSNs: 1619-1366, 16191366
ISSNs (Electronic): 1619-1374
BFI (2015): BFI-level 2, ISI indexed (2013): ISI indexed yes
Gesellschaft für Informatik, Germany
ISSNs (Electronic): 1095-8533
Academic Press, United Kingdom
BFI (2015): BFI-level 1, ISI indexed (2013): ISI indexed yes
Latest activities and conferences