up previous


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:
General:

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


up previous
Dines Bjorner 2006-10-02