Dines Bjørner's Home Page
Dr.h.c., MAE, MRANS (AB), ACM Fellow, IEEE Fellow
October 2, 2006
Highlights:
General:
Work in Progress:
2006
Reports, Papers and Drafts
-
On Domain and Domain Engineering: Prerequisite for Trustworthy
Software
A Necessity for Believable Management
``Management''
Document, March 2006
-
Possible Collaborative "Domain" Projects
``Management''
Brief, March 2006
-
Domains and Problem Frames
Invited keynote talk -- now submitted
paper
at
IWAAPF,
an ICSE
2006
Satellite Event, Shanghai, May 2006:
-
Public Government, A Domain Analysis
. Incomplete.
To be rewritten into possibly publishable paper:
``paper''
and slides.
Was presented June 1, 2006: e-Macao
-
Verified Software for Ubuiquitous Computing
,
A Project Proposal:
PS
to be presented at 1AWCVS,
Macau 29-31 Oct.,
2006
-
The Triptych Process Model: Process Assessment and
Improvement
:
paper
and
slides
for invited keynote talk at JASPIC 2006
Oct. 12-13, Tsukuba
-
A Family of License Languages
: Working R&D Development
Notes
notes
and
slides
for the JAIST Domain Engineering and Digital
Rights
effort,
August-September 2006
-
Domain Engineering
,
Chapter
for BCS FACS Springer Book,
eds. J.P.Bowen and P.Boca, August 2006:
-
Documents: A Domain Analysis
:
report
and
slides.
To be edited into a possibly publishable paper.
-
Transportation Nets
:
incomplete
report
August 2006.
To be rewritten into a possibly publishable paper - some day!
-
The Rôle of Domain Engineering in Software Development
Invited keynote
paper
and
talk:
IPSJ/SIGSE Software Engineering Symposium
2006, Oct. 21, 2006, Tokyo
-
Security Rules: Examples and Thoughts on Modelling
,
grossly incomplete
slide presentation.
at an Intl.IT Company, 8 Sept., 2006, Tokyo
- Editing a book (with Martin Henson):
Logics of Specification
Languages
,
to be published by Springer, EATCS Textbook Series
Book is a result of the Stara Lesna Summer School, June 2004
http://cswww.essex.ac.uk/staff/hensm/sssl/
- Composing an approx. 120 page essay:
Software Engineering - An Unended Quest
,
A critique of my book: Software Engineering
: Did I achieve
what I wanted? Shortcomings - Strengths!
Addresses and Maps:
...
...
...
...
...
![](http://www2.imm.dtu.dk/~db/photos/camilla1.jpg)
...
Camilla
...
...
![](http://www2.imm.dtu.dk/~db/photos/marianne1.jpg)
...
Marianne
...
...
![](http://www2.imm.dtu.dk/~db/photos/camilla2.jpg)
...
Camilla
...
...
![](http://www2.imm.dtu.dk/~db/photos/marianne2.jpg)
...
Marianne
...
...
![](http://www2.imm.dtu.dk/~db/photos/camilla3.jpg)
...
Camilla
...
![](http://www2.imm.dtu.dk/~db/photos/3gen98.jpg)
...
Camilla, Charlotte, Kari 1998
...
![](http://www2.imm.dtu.dk/~db/photos/4gen98.jpg)
...
Charlotte, Camilla, Eivind, Kari 1998
...
![](http://www2.imm.dtu.dk/~db/photos/dbccxb.jpg)
...
Dines and Camilla
...
![](http://www2.imm.dtu.dk/~db/photos/gwall98.jpg)
...
Camilla, Wei Wei, Charlotte, Kari 1998
...
![](http://www2.imm.dtu.dk/~db/photos/kari.jpg)
...
Kari, Macau 1996
...
![](http://www2.imm.dtu.dk/~db/photos/dines98.jpg)
...
Dines, Chile 1998
...
...
...
...
...
...
...
...
...
...
...
...
...
/home/if000/bjorner/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 2006-10-02
Dines Bjorner
2006-10-02