Dines Bjørner
Bibliographical Notes
...
Publication List
...
Biography
...
Photos
Professor Emeritus of Computing Science
Dept. of Mathematics and Computer Science
Technical University of
Denmark
Snail-mail address:
Fredsvej 11, DK-2840
Holte, Denmark
E-Mail address:
bjorner@gmail.com
January 25, 2020
Thanks to DTU Compute![[*]](/usr/share/latex2html/icons/footnote.png)
for kindly hosting this web page
1. Sept. 2007, Macau
2. Sept. 2012, Holte
3. Nov. 2018, Bangkok, The Mandarin
Oriental.
For more photos see Sect. 4
Official and More Private Web Pages
- The table-of-contents,
at bottom,
leads you into various
aspects of DB's professional life.
- By clicking this -
Micellaneous
Information
-
you can reach less official areas of DB's life.
Overview - Click either of the below:
-
A Recent Compendium:
-
Most Recent Reports:
-
Recent Publications:
- [5]: Domain Analysis & Description -
Principles, Techniques and Modelling
Languages
ACM Trans. on SOftw. Eng. and Methodology, Vol.28,
No.2, April 2019, 61 pages
- [7]
The Manifest Domain Analysis & Description
Approach to Implicit and Explicit Semantics
Paper
and
EPTCS
Electronic Proceedings in Theoretical Computer
Science,
Yasmine Ait-Majeur, Paul J. Gibson and Dominique
Méry
- [8] Domain Science & Engineering
- A Review of 10 Years Work and a
Laudatio
Zhou ChaoChen Festschrift, Springer LNCS 11180, September 28, 2018
- [9]: To Every Manifest Domain a CSP Expression
Journal of Logical and Algebraic Methods in
Programming, 98, 2018, pp91-108
-
Recent Research Reports:
-
Recent Research Note:
-
Recent Technical Reports: Experimental Research:
- [16] A result of a three week MSc/PhD
course at East China Normal Univ., Shanghai
Container
Terminal Ports
, November 2018
- [17]:
A result of my third China visit (Nov. 2017) during the three months of
the Fall of 2017
A Domain Model of A Space of
Swarms and Drones
- [18]:
A result of work and a research stay (Summer + Sept. 2017) at TongJi University,
Shanghai, China
A Research Report on Urban
Planning
.
- [19] What are
Documents?
.
A side-effect of the Urban Planning
study (see above, [18]),
Summer 2017
- [20]:
A result of a PhD course (Nov.2016) at Bergen
University, Norway
Domain Model of
Weather Information
Systems
.
- [21]: A result of a PhD course (May 2016) at Uppsala
University, Sweden
I worked out a Domain Model of
Credit
Cards
.
See Appendix A, Pages 27-35, of [] for
a "brand" new [2019] version!
-
Bibliographical Notes:
This section is organised by year, and then by category:
published papers, books, edited books, lecture notes and reports.
-
Publication List:
The biographical notes then refer to this list.
-
Biography:
This CV is held in an informal, almost chatty style.
-
Photos:
For many years I was not too fond of photos of myself.
That changed around my age of 60!
Some Guiding Principles
Computer & Computing Science
- By
computer science
I understand the study and
knowledge
of the "things" that can "exist inside" computing
devices (i.e., data and computations) -
and the study and
knowledge of computing devices.
- By
computing science
I understand the study and
knowledge
of how to construct "those things", i.e.,
programming methodology
.
I consider myself a computing scientist primarily interested in
programming methodology.
Formal Methods
- By a
method
I understand
a set of
principles
for
selecting
and
applying
a set of
techniques
and
tools
for the
construction
of an artifact, as here software.
- By a
formal method
I understand I understand
a method
whose principles, techniques and tools
can be understood in a
mathematical framework -
for example where, among the tools the
specification languages
can be given
a
mathemtical syntax
, a
mathematical semantics
and
a
mathematical proof system
.
I consider myself to have primarily contributed to the area of formal
methods, e.g.,
VDM
and
RAISE
.
A Triptych of Software Engineering
- Before
software
can be designed
we must be familiar with its requirements.
- Before
requirements
can be precribed
we must be familiar with
the context of the software to be developed,
that is, the
domain
.
- Hence the triptych of software development:
- first (ideally) the
domain engineering
of an appropriate domain description;
- then (ideally) the
requirements engineering
of the
requirements prescription formally related to the domain description;
- finally the
software design
"derived" from the requirements
prescription
and (ideally) formally reasoned to
meet customers'
expectations
,
that is, to satisfy the domain description
and
be correct
wrt. the requirements prescription.
My contributions in the last many years has been to establish a proper
domain science & engineering
.
My main focus, since 1977, has been on the development of "large"
software:
compilers (like for CHILL and Ada),
and human artifact infrastructure software
(for pipelines, railways, health
care, banking, road traffic, container terminal ports, etc.).
A recent focus since 2017, has been on
Are We Teaching & Researching the Right Things?
An Essay on Didactics
- Publications
[5,12,11,14]
indicate a rather different approach to
software engineering than is
currently en vogue.
- Instead of starting with coding programs, studying and teaching
these,
- [5,12] suggests that we start with studying the
application domain,
research its wider implications, describing
varieties of subsets;
- [11] then proceed by analysing and
prescribing requirements
based on a suitably delineated domain
description; and
- [64,65,66] finally developing the
code as outline in these three text books.
- As it is today nobody takes domain science & engineering
seriously.
- Think of that.
- Think of civil engineering, mechanical engineering, electrical
enginering and chemical engineering
proceeding on a basis of there being no scientifc physics and
chemistry evidence.
- We are doing it all the wrong way around!
- We have to reorganise our university curricula.
- We have to reorganise our research agendas,
Dines Bjorner
2020-01-25
