Dines Bjørner's Lectures in Bergen
November 7-12, 2016 - Compiled: December 1, 2016
Bergen Language Design Laboratory (BLDL) Internal Meeting Series

This PhD Course is a variant of The Triptych of Software Engineering
A Comprehensive Approach - An Advanced MSc + PhD Course Proposal
Fall 2016 / Winter 2016-2017 Course: General Outline

• Lectures 7-8 November:
  Manifest Domains: Analysis & Description
• Paper: http://www2.compute.dtu.dk/ dibj/2015/faoc/faoc-bjorner.pdf
  
• Slides: http://www.imm.dtu.dk/~dibj/2016/bergen/bergen.pdf

• Monday 7 November:
  • Lecture 1: 10:15-11:00, 11:15-12:00: Summary. Introdution. Upper Ontology
  • Lecture 2: 14:15-15:00, 15:15-16:00: Parts: Structures, Internal Qualities
• Tuesday 8 November:
  • Lecture 3: 10:15-11:00, 11:15-12:00: Components and Materials, Perdurants (I): States, Actions, Behaviours (I)
  • Lecture 4: 14:15-15:00, 15:15-16:00: Behaviours (II). Closing
• Wednesday 10 November
  • Presentation 1. 10:15-11:00: Doreen Tuheirwe-Mukasa:
    Domain engineering for weather information services and
    A Need for an Integrated Weather Information Dissemination System for Uganda -
    see also Wimea Project and Facebook.
  • Discussion 1. 11:15-12:00 & 14:15-15:00: Dines Bjørner and all!
  • Dines Bjørner. 15:15-16:00: White-board sketch of approach to modeling Wimea.
  • Cancelled: From Domain Descriptions to Requirements Prescriptions : Paper, Slides
• Thursday 11 November
  • Presentation 2. 10:15-11:00: INF220-students: Domain engineering the Sphero robot
  • Discussion 2. 11:15-12:00 & 14:15-15:00: Dines Bjørner, then all!
  • Dines Bjørner: 15:15-16:00: Version 1: Weather Information Systems Towards a Domain Description
  • Cancelled: Dines Bjørner, 15:15-16:00: Domain Anal. & Descr.: Formal Models of Processes and Prompts
    Paper, Slides
• Friday 12 November
  • Presentation 3. 10:15-11:00 Magne Haveraaen: Domain engineering the Magnolia way
  • Dines Bjørner: 15:15-16:00: Version 2: Weather Information Systems Towards a Domain Description
  • Discussion 3-4. 14:15-15:00: All!
  • Cancelled: Dines Bjørner, 15:15-16:00: Domain Facets: Analysis & Description , Paper