- 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.
Dines Bjorner
2016-11-18