Course objective:

To introduce students to a rather different, initial approach to software development to such a degree that the students can, afterwards, themselves undertake ``that'' new approach to software development in an ``experimental engineering'' fashion while reflecting on research issues.

To cover principles and techniques of, and tools for domain analysis & description and principles and principles and techniques of, and tools for the systematic ``derivation''
of requirements prescriptions from domain descriptions. See suggested schedule below.

Day-by-day Schedule: approximate!

Domains

• Mon.19.10: Introduction [D:1.1-1.9] and An Example [R:2.1-2.3]
• Tue.20.10: Entities [D:2] and Parts &c. [D:3.1]
• Wed.21.10: Unique Identifiers, Mereology and Attributes [D.3.2-3.4]
• Thu.22.10: Perdurants: Actions and Events [D:4.1-4.10]
• Fri.23.10: Perdurants: Behaviours [D:4.11-4.13] Closing and [D:5]

Weekend! study and project work!

Requirements

• Mon.26.10: Introduction [R:1] and Requirements [R:3]
• Tue.27.10: Domain Requirements [R:4.1-4.2]
• Wed.28.10: Domain Requirements [R:4.3-4.5]
• Thu.29.10: Interface Requirments [R:5]
• Fri.30.10: Machine Requirements [R:6] and Conclusion [R:7]

The course will be held by PROF. DR. DINES BJØRNER, Technical University of Denmark.

E-mail: bjorner@gmail.com

URL: http://www.imm.dtu.dk/~dibj/

Please register in TISS.

1.) Manifest Domains: Analysis and Description
http://www.imm.dtu.dk/~dibj/2015/tuv/faoc-md-aad.pdf

2.) From Domain Descriptions to Requirements Prescriptions:
http://www.imm.dtu.dk/~dibj/2015/tuv/faoc-req.pdf

3.) Lecture slides:
http://www.imm.dtu.dk/~dibj/2015/tuv/md-aad-slides.pdf