Dansk
DTU.dk
Index
Contact
Phone book
Internal Pages
DTU Alumni
Søgeord
Education
Education
MSc degree programme
PhD programmes
IMM courses
Coursebase DTU
Laboratories
Summer Schools
Welcome to DTU
DTU Informatics bookshop
Research
Research
Research areas
Algorithms and Logic
Cognitive Systems
DTU Data Analysis
---
Image Analysis & Computer Graphics
Language-Based Technology
Mathematical Statistics
Scientific Computing
Software Engineering
Research centers
Publications
Industrial collaboration
Industrial collaboration
Public sector consultancy
Advanced Technology Foundation Projects
Continuing education
Model-based Software Engineering Center
MT-Lab
Ph.D. education
Software Development Center
Statistical Consulting Center
About DTU Informatics
About DTU Informatics
Contact
Employees
Facts about DTU Informatics
Getting to DTU Informatics
Advisory Board
Information material
Find the expert
Organisation
Vision
Available jobs
Library
Portalen DTU
Alumni association (in Danish)
News
News
Latest news
News Archive at DTU Informatics
Calendar at DTU Informatics
English
>
Research
>
Software Engineering
>
Recent Books
Send link
Print
Research areas
Algorithms and Logic
Cognitive Systems
DTU Data Analysis
Embedded Systems Engineering
Image Analysis & Computer Graphics
Language-Based Technology
Mathematical Statistics
Scientific Computing
Software Engineering
Courses
People
Publications
Recent Books
Selected Links
Competence Center
Software Development Center (SDC)
Research centers
Publications
Recent Books
Links to book homepages
Software Engineering Handbooks
Design of graphical user interfaces
Duration Calculus: a logic for real-time systems
Functional program design
Protocol design
RAISE
Last updated by
---
14.03.2008
Responsible: Finn Kuno Christensen
Top
Asmussens Alle
DTU - Building 305
DK-2800 Lyngby
---
Tel +45 4525 3351
EAN 5798000430204