Fakultät für Informatik, T.U.Wien:
PhD Course
Domain and Requirements: Science & Engineering
A New Approach to Software Development
Prof., Dr. Dines Bjørner,
http://www.imm.dtu.dk/~dibj, bjorner@gmail.com,
Techn.Univ.of Denmark
19-30 October 2015
-
Practicalities:
-
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.
-
Course Aims:
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.
-
Lecture Material:
These documents will also be published on the net in slide formats.
-
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]
- Click:
Papers and Reports
on Domain Science
and Engineering
-
Printed:
October 13, 2015
Dines Bjorner
2015-10-13
