Dines Bjørner's Home Page
Fredsvej 11, DK-2840 Holte, Denmark
Dr.h.c., MAE, MRANS (AB), ACM Fellow, IEEE Fellow
May 16, 2010
Alternative CV
etc. New home page.
With that
alternative I might not update the below much!
My Current Research
But see
Alternative CV etc.
for newer version!
- My current research is still in the experimental research cum engineering
stage.
The experiments are those of constructing
It is hoped that these
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 references to this field, such as I see it, are:
- The next section lists books, additional papers and reports.
- Further down this Web page there is another introduction to my
research area.
My three volume Software
Engineering
English (Qinghua Univ. Press, 2008), English
(Springer, 2006), Chinese (Qinghua Univ. Press, 2010)
Ordering information:
Recent Reports, Book-drafts, Books and Papers
But see
Alternative CV etc.
for newer version!
-
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 am going to spend a month, April 1 - 30, 2010, at
Technical University of Vienna,
Austria.
- I was a month, Nov.8 - Dec.8, 2009, at Tokyo
Univ., Graduate School of Arts and
Sciences, Computing System Research Group
with Prof. Tetsuo Tamai.
I enjoyed that very much. See
- I was 6 weeks at the University of Edinburgh,
School of Informatics
with Prof. Alan
Bundy. I gave seminars, a colloquium and lectures
there and also seminars at the universities of St.Andrews, Heriot
Watt, Sterling, Stratchclyde and Glasgow, All were just very kind.
Click this!
- 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
.
Domains: My Research & Engineering Area
.
See Alternative CV etc.
for newer version!
...
...
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
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 6 index
The translation was initiated by Dines Bjorner on 2010-05-16
Dines Bjorner
2010-05-16
