Fredsvej 11, DK-2840 Holte, Denmark
Dr.h.c., MAE, MRANS (AB), ACM Fellow, IEEE Fellow
November 5, 2009
- My current research, shared, in a sense, with colleagues at The
University of Edingburgh
and Herriot-Watt University (also
Edingburgh) is still in the experimental research cum engineering
stage.
The experiment is that of constructing an domain
description of an oil (or gas) pipeline.
It is
hoped that this
examples will provide challenges for ongoing research in several
directions.
- My ongoing research, more generally, is within the field of
"Domain Science &
Engineering".
- Perhaps the best reference to this field, such as I see it, is:
- An Emerging Domain Science
A Rôle for Bertrand Russell's Philosophy of Logical Atomism
An Incomplete
Draft
Watch out for
daily updates 5-9 June and 22 June - 9 July, 2009
- The next section lists books, additional papers and reports.
- Further down this Web page there is another introduction to my
research area.
Recent Reports, Book-drafts, Books and Papers
-
DRAFT BOOK:
From Domain to
Requirements: The Triptych Approach to Software
Engineering
, April onwards 2009.
The document
represents a most recent understanding of constituent issues of
Domain Engineering.
The document presents an altogether new
view of requirements engineering -
a, perhaps controversial,
view which "debunks"
much of today's 'requirements engineering' papers and books!
Work in progress.
-
REPORT:
A Domain Model of
Oil Pipelines
An
Exercise in Domain Engineering - with Michael Reichhardt Hansen,
Summer 2009.
(Material to come, covering temporal modelling of
the dynmaics of oil flow - in Duration Calculus.)
Work in progress.
-
REPORT:
What is
Logistics ?
An engineering and experimental exercise in domain modelling.
Work in progress.
-
PAPER:
Rôle of Domain Engineering in Software
Development:
and
Why Current Requirements Engineering are Flawed !
Paper
and
Slides.
PSI'09, Akademgorodok, Siberia, 15-19 June 2009.
-
PAPER:
Mereologies in Computing Science:
paper
and
slides
Paper for Sir Tony Hoare's 75th Festschrift, April 16-17, 2009,
Cambridge, UK. Presented at Cambridge 16 April, 2009.
-
RESEARCH MONOGRAPH (BOOK):
Domain
Engineering
Published in Japan (spring 2009)
Book is based on the reports etc. that
I wrote during my 12 months sabbatical at JAIST 1.2.2006-31.1.2007.
This monograph features 76 colour photos from
Kanazawa
and around that city of Western Japan.
-
TWO DRAFT BOOKS
- put on hold:
I am working now on the draft book of item 1 above.
-
(CO-EDITED) BOOK:
Logics of Specification
Languages. Edited with
Martin C. Henson, late 2007.
-
3 BOOKS:
My Chef
d'Oeuvre:
Electronic Vol.1,
Electronic Vol.2
and
Electronic Vol.3
- late 2005 early 2006.
Soon the above three books will appear in Chinese !
- "My" recent books with
click !.
For the covers of some of the more than 15 books that I have, so far,
been involved in, please click Dines' Books
&c.
- I was at University of Saarland (UoS), Saarbrücken, courtesy
Prof. Wolfgang Paul, 1-31 March 2009
Gave 17 full days of
lectures, based on Domain
Engineering - The Triptych
Approach.
See my UoS Web page..
- I was at Techn. Univ. of Graz, courtesy Prof. Franz Wotawa, 27
Oct.-12 Dec. 2008.
Gave 17 full days of
lectures, based on Domain
Engineering - The Triptych Approach.
See my TUG Web
page.
- I was at Université Henri
Poincaré/INRIA, Nancy,
Oct.15-Dec.14, 2007, courtesy Prof.,
Dr. Dominique Méry.
Wrote two papers and one report:
one paper for
Ugo65
and
one paper for ISOLA
2007
(ISOLA
2007),
and one report
Transportation
-- all "heavily" related !
- There was a Dines Bjørner and Zhou Chao Chen Festschrift at
Macau Sept. 24-25, 2007.
For
John Fitzgerald's After-Dinner Speech
in
Dines's honour please
Click here !
-
I have retired after 35 years
(1.9.1965-31.1.1969,
1.9.1976-31.3.2007) at
The Technical University of
Denmark. 7 months before I actually had to.
My Retirement
Lectures
.
...
...
Click on desired photo and click on "View Image" to obtain
enlarged photo
Bodil, 2006; Marianne, Katrine, Jakob + Nikolaj, Hawaii, Nov.2007
...
...
Camilla, The Xu Bjorner Family, and Caroline, Barcelona, Oct. 2007
...
...
...
...
Kari at Bagan and at Mandalay, Burma, and at Angkor Wat, Cambodia,
Feb.-March, 2005
Kari and Dines at Milford Sound, New Zealand, Christmas/New Year
2004/2005
...
...
...
...
...
Camilla
...
...
...
Marianne
...
...
...
Camilla
...
...
...
Marianne
...
...
...
Camilla
...
...
Camilla, Charlotte, Kari 1998
...
...
Charlotte, Camilla, Eivind, Kari 1998
...
...
Dines and Camilla
...
...
Camilla, Wei Wei, Charlotte, Kari 1998
...
...
Kari, Macau 1996
...
...
Dines, Chile 1998
...
...
...
...
...
...
...
...
...
...
...
...
...
/home/db/index/japan/index.tex
Dines Bjørner's Home Page
Currently, 9.Nov-8.Dec. 2009 at the University of
Tokyo
This document was generated using the
LaTeX2HTML translator Version 2002-2-1 (1.71)
Copyright © 1993, 1994, 1995, 1996,
Nikos Drakos,
Computer Based Learning Unit, University of Leeds.
Copyright © 1997, 1998, 1999,
Ross Moore,
Mathematics Department, Macquarie University, Sydney.
The command line arguments were:
latex2html -split 0 -toc_depth 3 index
The translation was initiated by Dines Bjorner on 2009-11-05
Dines Bjorner
2009-11-05
