Uppsala Lectures, 18-20 May 2016

Dines Bjørner Fredsvej 11, DK-2840 Holte, Denmark [Techn.Univ. of Denmark]

Compiled: May 31, 2016

Travel

• Tuesday 17 May 2016:
  • Copenhagen - Arlanda: SK1422 13:10-14:20
  • Arlanda - Uppsala: 14:46, 15.16, 15:34, ...
• Saturday 21 May 2016:
  • Uppsala - Arlanda: 9:16, 9.46, 9:53, ...
  • Arlanda - Copenhagen: SK1421 11:35-12:45

Hotel

• Hotel von Kraemer, 7044454, von Kraemers allé 26, Uppsala

Lectures

• These lectures will introduce most of you
  to a rather different approach to software engineering.
  • First we will introduce domain engineering
    as a first step of software development
    - before requirements engineering.
  • Then we will show how significant work on requirements engineering
    can be "derived" from domain descriptions.
• The lectures are based on two papers and one report:
  • 10:15-12:00: Wednesday 18 May, 2016, Ekonomikum B115 :
    Manifest Domains: Analysis & Description
    50 page paper, 390 "page" slides
    Workshop: 14:15-17:00, A Credit Card System
  • 11:15-13:00: Thursday 19 May 2016, Ekonomikum B115 :
    From Manifest Domain Descriptions to Requirements Prescriptions
    34 page paper, 380 "page" slides
    Workshop: 14:15-17:00, A Credit Card System
  • 10:15-12:00: Friday 20 May 2016, Ekonomikum Hörsal 2:
    A New Foundation for Computing Science
    32 slides
• I will "chat" the first two days about the papers:
  • In slide form they are too long to cover for "learning'' purposes.
  • So I will introduce the audience to the concepts.
  • And otherwise invite them to study the papers.
• The Friday lecture is "easy".

Linnés Hammarby

• Friday afternoon, 20 May 2016
• Linnés Hammarby
• Guided tours: 14.30, 15.30 - Fridays, Saturdays, Sundays in May

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

About this document ...

Uppsala Lectures, 18-20 May 2016

This document was generated using the LaTeX2HTML translator Version 2008 (1.71)

Copyright © 1993, 1994, 1995, 1996, Nikos Drakos, Computer Based Learning Unit, University of Leeds.
Copyright © 1997, 1998, 1999, Ross Moore, Mathematics Department, Macquarie University, Sydney.

The command line arguments were:
latex2html -split 0 -toc_depth 6 uppsala

The translation was initiated by Dines Bjorner on 2016-05-31