Domain Description Reports

• Weather Information Systems [2]
  Result of my PhD lectures at Bergen, November 2016

• Credit Card System, [3] 2016.
  Result of my PhD lectures at Uppsala, May 2016

• Documents [13] 2013.

• Transport Systems [14] 2010.

• The Tokyo Stock Exchange and [26] 2010.

• On Development of Web-based Software: A Divertimento 2010.

• What is Logistics ? [33] 2009.

• Pipelines - a Domain Description [12] 2009.

• A Container Line Industry Domain, [47] 2007

• Models of IT Security: Security Rules & Regulations [60] 2006.

• Railway Systems Descriptions: 1996-2003
  • Chris George, Dines Bjørner and Søren Prehn
    Scheduling and Rescheduling of Trains, 1996

  • Dines Bjørner:
    A Railway Systems Domain
    An "old" UNU-IIST report, 1997

  • Dines Bjørner:
    Formal Software Techniques in Railway Systems, 2002

  • Albena Strupchanska, Martin Penicka and Dines Bjørner:
    Railway Staff Rostering, 2003

  • Dines Bjørner:
    Dynamics of Railway Nets, 2003

  • Martin Penicka, Albena Strupchanska and Dines Bjørner:
    Train Maintenance Routing, 2003

  • Panagiotis Karras and Dines Bjørner:
    Train Composition and Decomposition: Domain and Requirements, 2003

I am continually looking for example domains to analyse and describe.
I do these analyses and descriptions in order to improve
my understanding of domains and means for their analysis and description.