Dines Bjørner's Home Page

Dr.h.c., MAE, MRANS (AB), ACM Fellow, IEEE Fellow
October 2, 2006

Welcome to my Home Page in Japan.
Check my Calendar: Shows where I am !
Click here for addresses

Left : January 2004: Akubra / Hat: Sydney; Coat: Teheran; "Burberry" Peking; tie: "Fashioned by Kari"; shirt: Lee Baron Fashions Ltd., Hong Kong.
Right : February 2006: Shirt and dress: Lee Baron Fashions Ltd.,; tie: "Fashioned by Kari"
Wish to see a February 2003 photo? here !; You did'nt like it! try these?

Highlights:

• Academia Europaea Informatics Symposium: Grand Challenges of Informatics Budapest, Hungary, 19-20 Sept., 2006
• My Chef d'Oeuvre: Software Engineering Three Volumes.
  
• A 2003 "creation": ForTIA: A Formal Techniques Industry Association.

General:

• Calendar: Click this for my 2004-2007 Calendar - my current whereabouts !
• Research: Click this for Information on my Research - see 9-24 lines below!
• Reports and Publications: Click this for Bibliography &c.
• Biodata: Click this for Biographical Information
• Dansk-sprogede ``Kronikker'': Tryk her mhp. ``klummer'' vedr. Datalogi, Informatik, og Infrastrukturer
  (Danish language essays, ``columns'', etc.)
• RAISE: Click this for Information on RAISE
• Interesting Other Home Pages: Click this for Interesting (other) Home Pages

Work in Progress: 2006 Reports, Papers and Drafts

1. On Domain and Domain Engineering: Prerequisite for Trustworthy Software
   A Necessity for Believable Management
   ``Management'' Document, March 2006

2. Possible Collaborative "Domain" Projects
   ``Management'' Brief, March 2006

3. Domains and Problem Frames
   Invited keynote talk -- now submitted paper at IWAAPF, an ICSE 2006 Satellite Event, Shanghai, May 2006:

4. Public Government, A Domain Analysis . Incomplete.
   To be rewritten into possibly publishable paper: ``paper'' and slides.
   Was presented June 1, 2006: e-Macao

5. Verified Software for Ubuiquitous Computing ,
   A Project Proposal: PS
   to be presented at 1AWCVS, Macau 29-31 Oct., 2006

6. The Triptych Process Model: Process Assessment and Improvement :
   paper and slides for invited keynote talk at JASPIC 2006 Oct. 12-13, Tsukuba

7. 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

8. Domain Engineering , Chapter for BCS FACS Springer Book, eds. J.P.Bowen and P.Boca, August 2006:

9. Documents: A Domain Analysis : report and slides.
   To be edited into a possibly publishable paper.

10. Transportation Nets : incomplete report August 2006.
    To be rewritten into a possibly publishable paper - some day!

11. The Rôle of Domain Engineering in Software Development
    Invited keynote paper and talk: IPSJ/SIGSE Software Engineering Symposium 2006, Oct. 21, 2006, Tokyo

12. Security Rules: Examples and Thoughts on Modelling , grossly incomplete
    slide presentation. at an Intl.IT Company, 8 Sept., 2006, Tokyo

13. 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/

14. 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:

Click here for addresses and how to find our home in Japan!

Click this for separately printable sheet on How to reach us at home (in Denmark) !

...
...
...
...
$\heartsuit$
...

...
Camilla ...
$\heartsuit$
...
...
Marianne ...
$\heartsuit$
...
...
Camilla ...
$\heartsuit$
...
...
Marianne ...
$\heartsuit$
...
...
Camilla ...
$\heartsuit$
...
Camilla, Charlotte, Kari 1998 ...
$\heartsuit$
...
Charlotte, Camilla, Eivind, Kari 1998 ...
$\heartsuit$
...
Dines and Camilla ...
$\heartsuit$
...
Camilla, Wei Wei, Charlotte, Kari 1998 ...
$\heartsuit$
...
Kari, Macau 1996 ...
$\heartsuit$
...
Dines, Chile 1998 ...
$\heartsuit$
...
$\heartsuit$
...
$\heartsuit$
...
$\heartsuit$
...
$\heartsuit$
...
$\heartsuit$
...
$\heartsuit$
...
$\heartsuit$
...
$\heartsuit$
...
$\heartsuit$
...
$\heartsuit$
...
$\heartsuit$
...
$\heartsuit$

/home/if000/bjorner/index/japan/index.tex

About this document ...

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