• Explain the basic concepts of the OOA&D method described in the lecture book, including: Problem and Application Area, System, Systemdefinition, Objects and object structures, Classes and class structures, Patterns, Events, Attributes, Behaviours and behavioural patterns, Actors and Use cases, Functions, User and System Interfaces, Component and Process Architecture, Architectural Criteria and Conditions, Model and Function Component, Dependency, Coupling and Coherence, Strategy, Analysis and Design Documents, Implementation with respect to the OOA&D, Persistence, Relational and Semistructural Data Modelling and Mapping between these models and OO, Notation for OOA&D and in particular UML


• Understand and follow the principles of the OOA&D method described in the lecture book to carry out Object oriented analysis and design, and thereby be able to reach agreement of the requirements for a system, settle the design of a system without major uncertainties, understand a system, its context and the conditions for its realisation, and document this in concise analysis and design documents (readable independently of the lecture book), using UML as a notation where appropriate.


• Use a tool for creating UML models


• Create a model of a given simple Java system following the OOA&D principles


• Explain the main software development processes


• Explain the purpose of Workflow and Business Process Modelling


• Use UML as notation for describing business processes and service oriented architectures


• use formal mathematical notations for logic, proofs, relations and functions


• understand the fundamental formal models of computation (regular languages, finite state machines, communicating concurrent automata with time, context free languages, turing machines)


• use formal grammars to describe (programming) languages


• transform between regular languages and finite state machines


• explain how formal models can be used to verify and check properties of critical parts of it systems, and in particular


• model concurrent systems with time as communicating concurrent automata with time in the tool UPPAAL and specify and verify simple properties of such

• Object Oriented Analysis and Design, Relational Data Modelling and Service Orientation


• Formal Concepts, Models and Notations in Computer Science

The project work will be carried out in parallel (interleaved) with the exercise classes and lectures presenting the material in the course literature. There will be small (non-mandatory) hand-ins after the exercise classes.

The course the participants will do a 7.5 ECTS project in groups of 3 people formed in the first week of the course.

See the web page of the course for detailed lecture plan and information about groups.

The exam will be an individual presentation of the project followed by questions to the project and the curriculum.

Om studiestruktur: SDT / About the study structure:SDT
Dette kursus er en del af SDT¿s backbone, som du kan finde beskrevet her:
SDT studiestruktur
For at blive cand.it. i SDT skal du bestå SDT¿s backbonekurser, og desuden gennemføre en 22,5 ECTS specialisering samt to 7,5 ECTS valgfag.

This course is part of the SDT backbone ¿ find it described here:
SDT study structure
In order to graduate as a MSc in SDT, you need to pass the SDT backbone courses, and also take a 22,5 ECTS specialization and two 7,5 ECTS electives.