Software Engineering

Former organisational unit. 31/12/2012.


Organisation profile

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.


Contact information

Asmussens Alle
Kgs. Lyngby
  • Phone: +45 4525 3351
  • Fax: +45 4588 2673
View graph of relations

View all »



View all »

  • Software and Systems Modeling

    ISSNs: 1619-1366

    Additional searchable ISSN (Electronic): 1619-1374

    Springer, Germany

    BFI (2020): BFI-level 2, Scopus rating (2018): CiteScore 2.78 SJR 0.534 SNIP 2.341, Web of Science (2019): Indexed yes, ISI indexed (2013): ISI indexed yes

    Central database


  • Petri Net Newsletter

    ISSNs: 0391-1804

    Gesellschaft für Informatik, Germany

    Local database


  • Journal of Visual Languages and Computing

    ISSNs: 1045-926X

    Additional searchable ISSN (Electronic): 1095-8533

    Academic Press, United Kingdom

    BFI (2020): BFI-level 1, Scopus rating (2018): CiteScore 1.62 SJR 0.231 SNIP 1.021, Web of Science (2019): Indexed yes, ISI indexed (2013): ISI indexed yes

    Central database


Most downloaded publications

Download as:
Download as PDF
Select render style:
Download as HTML
Select render style:
Download as Word
Select render style:
Download as: To download, please limit the number of search results to 1,000 or less.

ID: 4694