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 .

...
...
...
...
...
...
...
...
...
...
...
...
...
...
...
...
...
...
...
...
...
...
...
...