Former organisation. 31-12-12.
Department of Informatics and Mathematical Modeling - Former organisation. 31-12-12. 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.
Towards a CPN-based Modelling Approach for Reconciling Verification and Implementation of Protocol Models
Publication: Research - peer-review › Paper – 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
Most downloaded publications
Publication: Research › Report – Annual report year: 2011
Publication: Research - peer-review › Report – Annual report year: 2008
Publication: Research › Report – Annual report year: 2009
Publication: Research › Report – Annual report year: 2008
Electric Vehicle Fleet Integration in the Danish EDISON Project : A Virtual Power Plant on the Island of Bornholm
Publication: Research - peer-review › Article in proceedings – Annual report year: 2010
Latest activities and conferences