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
July 21, 2020
Thanks to DTU Compute
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 Monograph:
-
Most Recent Reports:
-
Recent Publications:
- [6]: Domain Analysis & Description –
Principles, Techniques and Modelling
Languages
ACM Trans. on SOftw. Eng. and Methodology, Vol.28,
No.2, April 2019, 61 pages
- [8]
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
- [9] Domain Science & Engineering
– A Review of 10 Years Work and a
Laudatio
Zhou ChaoChen Festschrift, Springer LNCS 11180, September 28, 2018
- [10]: To Every Manifest Domain a CSP Expression
Journal of Logical and Algebraic Methods in
Programming, 98, 2018, pp 91–108
-
Recent Research Reports:
-
Recent Research Note:
-
Recent Technical Reports: Experimental Research:
- [17] A result of a three week MSc/PhD
course at East China Normal Univ., Shanghai
Container
Terminal Ports
, November 2018
- [18]:
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
- [19]:
A result of work and a research stay (Summer + Sept. 2017) at TongJi University,
Shanghai, China
A Research Report on Urban
Planning
.
- [20] What are
Documents ?
.
A side-effect of the Urban Planning
study (see above, [19]),
Summer 2017
- [21]:
A result of a PhD course (Nov.2016) at Bergen
University, Norway
Domain Model of
Weather Information
Systems
.
- [22]: 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
[6,13,12,15]
indicate a rather different approach to
software engineering than is
currently en vogue.
- Instead of starting with coding programs, studying and teaching
these,
- [6,13] suggests that we start with studying the
application domain,
research its wider implications, describing
varieties of subsets;
- [12] then proceed by analysing and
prescribing requirements
based on a suitably delineated domain
description; and
- [65,66,67] 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,