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
March 12, 2018
Thanks to DTU Compute![[*]](/usr/share/latex2html/icons/footnote.png)
for kindly hosting this web page
Sept. 2007, Macau. -- -- -- -- Sept. 2012, Holte.
Kari made the ties !
For more photos see Sect. 4
Official and More Private Web Pages
- The table-of-contents, below, leads you into various
aspects of DB's scientific and educational career.
- By clicking this:
Micellaneous
Information
you can reach less official areas of DB's life.
Overview - Click either of the below:
-
Current Research:
-
Current Work:
Reports/papers/... in a draft stage:
- [3]:
A Domain Analysis & Description Method -
Principles, Techniques and a Modeling Language
a complete revision of
[14]:
December 2017 - March 2018
- [1]: A Research Note
A Philosophy
of Domain Science & Engineering
An Interpretation
of Kai Sørlander's Philosophy
"Vastly incomplete"
: Draft Notes.
and
Draft Lecture Notes.
(First reading: Yerevan, Armenia,
May 3, 2018
)
-
A Compendium of 6 Papers and 11 Case Studies
[3,12,9,8,13,25] Draft Version
Lecture slide version, all chapters and first
case study.
-
Publications:
My major interest - wrt. computing - is currently in domain
engineering and science.
-
Research Reports:
-
Research Note:
-
Technical Reports: Experimental Research:
-
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 these 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, i.e.,
VDM
and
RAISE
.
A Triptych of Software Engineering
- Before software can be designed
we must be familiar with its requirements.
- Before requirements can be precrived
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 infrastructure software
(for pipelines, railways, health
care, banking, road traffic, etc.
Dines Bjorner
2018-03-12
