- ECTS credits
- Teaching semesters
- Course code
- Number of semesters
Objectives and Content
The course aims at giving an understanding of domain engineering and formal specification of software.
The course introduces methods for software specification, with a focus on abstraction and reuse in the software process.
On completion of the course the student should have the following learning outcomes defined in terms of knowledge, skills and general competence:
- can define the main concepts from the specification theory,
- can prove the most central theorems, and
- knows standard specifications of many formal concepts.
- masters a specification formalism,
- can do domain analysis and engineering,
- can apply algebraic methods for the specification of APIs, and
- can validate implementations and properties of such specifications.
- can apply his/her knowledge and skills of the field in new areas in order to carry out advanced assignments and projects,
- can communicate extensive independent work and masters language and terminology of the academic field, and
- can communicate about academic issues, analyses and conclusions in the field, both with specialists and the general public.
Level of Study
Semester of Instruction
Required Previous Knowledge
Recommended Previous Knowledge
Credit Reduction due to Course Overlap
Access to the Course
Teaching and learning methods
Compulsory Assignments and Attendance
The assignments are valid two semesters: the semester when they are approved and the succeeding semester.