Software Engineering

Former organisational unit. 31/12/12.

Close

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
305
DK-2800
Kgs. Lyngby
Denmark
  • Phone: +45 4525 3351
  • Fax: +45 4588 2673
View graph of relations

View all »

Most frequent publishers

Activities

(14)

View all »

Most frequent journals

Most downloaded publications

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

Latest activities and conferences

ID: 4694