Dines Bjørner
Fredsvej 11, DK-2840 Holte,
Denmark.
bjorner@gmail.com.
MAP-i Lectures
&
Univ.of Minho Seminar
May 25-28, 2015
Compiled: May 22, 2015
-
The MAP-i PhD Course:
-
The TripTych of Software Development:
- Before we can design software we must understand its requirements.
- And before we can prescribe the requirements we must understand
the (application) domain.
- Therefore, to us, software development consists of three major phases:
-
domain research & engineering
,
-
requirements engineering
and
-
software design and coding
.
-
The PhD Students:
- The PhD Course is here seen as a 3 full day lecturing and training
event.
- Students are typically last year MSc and first (or later year)
PhD students,
yes, even post graduates in search of research
topics.
- Students and lecturer are together every day,
Monday 25 May, Tuesday 26 May and Thursday 27 May,
from
10:00 am till 17:30.
- In other words:
- The lecturer is available all day.
- The students are assumed to likewise attend all day.
-
Objectives:
The
objectives
of the PhD Course are
- to learn about a new way of developing large scale software,
the
TripTych
approach;
- to practice initial, the domain engineering steps
of the
TripTych
approach;
- to discover and discuss interesting research problems.
-
Lecture Notes:
-
Domain Science & Engineering
A Prerequisite for Requirements Engineering
- Compendium
Chapters 1, 6 and 7 show margin numbers.
They refer to the lecture slide pages.
Chapters 1, 6 and 7 also show "footer" references to lectures
BL0-BL11
.
- Slides
- covers
BL0-BL11
referenced below.
Lectures will cover Chapters 1, 6 and 7.
-
Schedule:
Monday 25 May, 2015
- L0:
Opening Lecture
Monday, 25 May 2015: 10:00-10:20
- L1:
An Overview of Domain Description
Monday, 25 May 2015: 10:30-11:15
- L2:
Parts
Monday, 25 May 2015: 11:30-12:15
-
1. Workshop:
An Example Domain
Monday, 25 May 2015: 12:30-13:00
-
Lunch:
13:00-14:30
- L3:
Unique Identifiers, Mereologies and
Attributes
Monday, 25 May 2015: 14:30-15:15
-
2. Workshop:
An Example Domain
Monday, 25 May 2015: 15:30-16:15
- L4:
Components, Materials - and Discussion
of Endurants
Monday, 25 May 2015: 16:45-17:30
Tuesday 26 May, 2015
- L5:
Perdurants
Tuesday, 26 May 2015: 10:00-10:45
-
3. Workshop:
An Example Domain
Tuesday, 26 May 2015: 11:00-11:45
- L6:
A Summary Domain Description
Tuesday, 26 May 2015: 12:00-13:00
-
Lunch:
13:00-14:30
-
4. Workshop:
An Example Domain
Tuesday, 26 May 2015: 14:30-15:15
- L7:
Requirements - An Overview, and Projection
Tuesday, 26 May 2015: 15:30-16:15
- L8:
Domain Requirements: Instantiation and
Determination
Tuesday, 26 May 2015: 16:45-17:30
-
Wednesday 27 May:
- 14:00-14:45
Faculty Seminar:
Room DI-A2
Title:
A New Foundation for Computing
Science
Paper
, Slides
Abstract: We argue that computing systems
requirements must be based on precisely described domain models --
and we argue that domain science & engineering offers a new
dimension in computing. We review our work in this area and we
outline a research and experimental engineering programme
for the triptych of domain enginering, requirements engineering
and software
design.
Thursday 28 May, 2015
- L9:
Domain Requirements: Extension and Fitting
Thursday, 28 May 2015: 10:00-11:15
-
5. Workshop:
Example Domain
Thursday, 28 May 2015: 11:30-12:00
- L10:
Interface Requirements
Thursday, 28 May 2015: 12:15-13:00
-
Lunch:
13:00-14:30
-
6. Workshop:
Example Domain
Thursday, 28 May 2015: 14:30-15:15
- L11:
Conclusion
Thursday, 28 May 2015: 15:30-16:30
- L12:
Discussion of Research Topics
Thursday, 28 May 2015: 16:45-17:30
- Contents
Listing
Covers all slides in
BL0-BL12
.
- Bibliography
Covers all citations in
BL0-BL12
.
...
...
...
...
...
...
...
...
...
...
...
...
...
...
...
...
...
...
...
...
...
...
...
...
Dines Bjorner
2015-05-22