Dines Bjørner: Formal CV
Fredsvej 11, DK-2840 Holte, Denmark
bjorner@gmail.com,
http://www.imm.dtu.dk/~db
May 4, 2007
See my Chatty
Biography. It is more indicative
of my life so far.
- Born: 4.10.1937, Odense, Denmark
- Mother: Else Margrethe Sigrid Bjørner, Copenhagen, 19.9.1905 - 1993
- Father: Ivar Hainau Christensen, Copenhagen, 21.10.1907 - 1971
- Married: 11.12.1965 Kari Skallerud (23.11.1943, Oslo, Norway)
- Children:
- Charlotte Bjørner Xu, 9.4.1968, Administrator, Asia Business
Forum / Asia House, Copenhagen, Denmark
- Husband: Xu Wei
- Daughter: Camilla Chou Xu Bjørner (Danish Citizen), 10.9.1996
- Daughter: Caroline Chou Xu Bjørner (Danish Citizen), 2.8.2000
- Nikolaj S. Bjørner, 28.3.1970 (US Citizen); Microsoft, Redmond,
Washington, USA
- Wife: Bodil Brandt Hansen
- Daughter: Marianne, 25.5.1997 (US Citizen)
- Daughter: Katrine, 12.4.1999 (US Citizen)
- Son: Jakob, 27.9.2001 (US Citizen)
- Studies:
- M.Sc.E.E., DTU, Sept. 1956 -- Jan. 1962
- Ph.D.C.S., DTU, Sept. 1965 -- Jan. 1969
- Employment:
- IBM: March 1962 -- August 1975
- IBM Nordic Labs., Stockholm, Sweden: 1962-1963
- IBM SDD Labs., San Jose, Calif., USA: 1964-1965
Leave of absence: PhD Study, 1.9.1965-31.1.1969, but:
- IBM ESRI, Geneva, Switzerland: 1967-1968
- IBM Adv.Comp.Sys., Menlo Park, Calif., USA: 1969
- IBM Research, San Jose, Calif., USA: 1970-1973
- IBM Vienna Lab., Vienna, Austria: 1973-1975
- Guest Professorships:
- UC Berkeley, Spring + Fall Quarters, 1971-1972
- DIKU, Copenhagen Univ., Denmark: Sept. 1975 -- Aug. 1976
- Kiel Univ., Germany, Spring/Summer 1980
- National University of Singapore, July 2004 - June 2005
- JAIST: Japan Advanced Institute of Science & Technology,
Ishikawa Prefecture, Japan, 1 February 2006 - 31 January 2007
- Professor in Computing Science, Technical Univ. of Denmark,
since Sept. 1976
- Science Advisor, Dansk Datamatik Center (DDC), Sept. 1979 --
Dec. 1989
- Science Advisor, CRI Inc., 1990-1991
- UN Director, UNU/IIST, July 2, 1992 -- July 1, 1997
- IBM: 1. March 1962 -- 31. August 1975
- Design of IBM System 1070, Stockholm & San Jose
- Design of IBM System 1130 and IBM System 1800, San Jose
- Design of IBM Adv. Comp. System (ACS/1), Gene Amdahl
- Reduction (Pure Functional) Languages, John W. Backus
- Relational Database Theory, E.F.Codd
- Formal Semantics of PL/I,
(with Peter Lucas, Cliff B. Jones, Wolfgang Henhapl and the late Hans
Bekic)
- R&D of VDM,
(with Peter Lucas, Cliff B. Jones and the late Hans
Bekic)
- Technical Univ. of Denmark (incl. DDC and CRI), 1. Sept. 1976
-- 30. March 2007
- R&D of VDM
- Formal Semantics of CHILL - with Hans Bruun et al.
- Formal Semantics of Ada - with Hans Bruun et al.
- CHILL Compiler Development - with Hans Bruun, Søren Prehn et al.
- Ada Compiler Development - with Hans Bruun, Ole N. Oest et al.
- Initialisation of RAISE - with Søren Prehn
- Initialisation of LaCoS - with Søren Prehn
- ProCoS - involving Oxford +
Århus + Royal Holloway + Kiel + Oldenburg
with Tony Hoare,
Hans Langmaack, Ernst-Rüdiger Olderog et al.
- UNU/IIST, 2.
July 1992 -- 1. July 1997
- Domain Engineering: Analysis, Modelling, Theory
- Requirements Engineering: Derivation from Domain Models, &c.
- Infrastructure Software
- Knighted by Her Majesty The Queen of Denmark, Jan. 1986
- The John von Neumann Medal, Budapest, Hungary, Sept. 1994
- The Ths. Masaryk Gold Medal, Brno, Czech Republic, Aug. 1996
- Dr h.c., Ths. Masaryk Univ., Brno, Czech Republic, June 2004
- IEEE Fellow since January 2005
- ACM Fellow since December 2005
- Editorships:
- SCP, FACS, IEEE TSE, CAI, Chinese Journal of CS&E, etc., in
all: Some 12 journals over the years (Still: FACS).
- Programme Committees:
- Approx. 100 Conferences:
MFCSs, VDMs + FMEs, ICALPs, IFIP WCs, ICSEs, SEFMs, ICTACs, etc.
- President: IFIP World Congress (WC), Dublin, Ireland, Sept. 1986
- General Chair: FM99 -- World Congress on Formal Methods,
Toulouse, Sept.1999
- Co-founder: Dansk Datamatik Center (DDC Intl.)
- Chairman, Danish Govt. Informatics Commission, 1982-1984
- Co-founder: VDM-Europe +
FME:
Formal Methods Europe: 1987-1991, 1991-...
- First & Founding Director:
UNU/IIST: (1987, 1991)
1992-1997
-
- 1
-
Dines Bjørner and Martin C. Henson (eds.).
Logics of Specification Languages
To be published summer 2007 in Springer EATCS Monograph Series.
- 2
-
Dines Bjørner.
On Domain and Domain Engineering: Prerequisite for
Trustworthy Software
A Necessity for Believable Management
Management Document,
March 2006
JAIST Report, for Japanese Industry
- 3
-
Dines Bjørner.
Possible Collaborative "Domain" Projects
Management Document, March 2006
JAIST Report, for Japanese Industry
- 4
-
Dines Bjørner.
Domains and Problem Frames
Invited keynote paper
at IWAAPF, an
ICSE 2006 Satellite Event, Shanghai, May 2006
- 5
-
Dines Bjørner.
Public Government, A Domain Analysis (Incomplete
report)
Was presented June 1, 2006:
e-Macao
- 6
-
Dines Bjørner.
Verified Software for Ubuiquitous Computing,
A Project Proposal. Presented at
1AWCVS, Macau
29-31 Oct., 2006
Published in Springer LNCS
- 7
-
Dines Bjørner.
The Triptych Process Model: Process Assessment and
Improvement
Invited keynote
talk at
JASPIC
2006 Oct. 12-13, Tsukuba
- 8
-
Dines Bjørner.
A Family of License Languages:Working R&D Development Notes
Fall 2006.
- 9
-
Dines Bjørner.
Domain Engineering
Chapterfor BCS FACS
Springer Book, eds. J.P.Bowen and P.Boca, August 2006
- 10
-
Dines Bjørner.
Transportation Nets
incomplete
report
August 2006.
- 11
-
Dines Bjørner.
The Role of Domain Engineering in Software Development
Invited keynote paper
IPSJ/SIGSE
Software Engineering Symposium 2006, Oct. 21, 2006, Tokyo
- 12
-
Dines Bjørner.
Security Rules: Examples and Thoughts on Modelling
Grossly incomplete
Working
Report. Fall 2006, JAIST, Japan
- 13
-
Dines Bjørner.
Software Engineering, volume Vol. 1: Abstraction and
Modelling, Vol. 2: Specification of Systems and Languages, Vol. 3: Domains,
Requirements and Software Design of Texts in Theoretical Computer
Science, the EATCS Series.
Springer-Verlag.
Volumes 1 published Dec. 9, 2005, Vols. 2-3 Feb. 9,
2006.
Chapters 12-14 of Vol. 2 are
primarily authored by Christian Krog Madsen.
- 14
-
Dines Bjørner.
The TRain Topical Day.
In Building the Information Society, IFIP 18th World Computer
Congress, Topical Sessions, 22-27 August, 2004, Toulouse, France -- Ed.
Renéne Jacquart, pages 607-611. Kluwer Academic Publishers, August
2004.
A Foreword.
- 15
-
Dines Bjørner.
Towards a Formal Model of CyberRail.
In Building the Information Society, IFIP 18th World Computer
Congress, Tpical Sessions, 22-27 August, 2004, Toulouse, France -- Ed.
Renéne Jacquart, pages 657-664. Kluwer Academic Publishers, August
2004.
Original report also listed some of DB's students as co-authors.
- 16
-
Dines Bjørner, Chris George, Anne E. Haxthausen, Christian Krog Madsen,
Steffen Holmslykke, and Martin Penicka.
``UML''-ising Formal Techniques.
In INT 2004: Third International Workshop on Integration of
Specification Techniques for Applications in Engineering, volume 3147 of
Lecture Notes in Computer Science, pages 423-450. Springer-Verlag, 28
March 2004, ETAPS, Barcelona, Spain.
To be published in INT-2004 Proceedings, Springer-Verlag.
- 17
-
Martin Penicka and Dines Bjørner.
From Railway Resource Planning to Train Operation -- a Brief Survey
of Complementary Formalisations.
In Building the Information Society, IFIP 18th World Computer
Congress, Tpical Sessions, 22-27 August, 2004, Toulouse, France -- Ed.
Renéne Jacquart, pages 629-636. Kluwer Academic Publishers, August
2004.
- 18
-
Dines Bjørner.
New Results and Trends in Formal Techniques for the Development of
Software for Transportation Systems.
In FORMS2003: Symposium on Formal Methods for Railway Operation
and Control Systems. Institut für Verkehrssicherheit und
Automatisierungstechnik, Techn.Univ. of Braunschweig, Germany, 15-16 May
2003.
Conf. held at Techn.Univ. of Budapest, Hungary. Editors: G. Tarnai
and E. Schnieder, Germany.
- 19
-
Dines Bjørner.
Dynamics of Railway Nets: On an Interface between Automatic Control
and Software Engineering.
In CTS2003: 10th IFAC Symposium on Control in Transportation
Systems, Oxford, UK, August 4-6 2003. Elsevier Science Ltd.
Symposium held at Tokyo, Japan. Editors: S. Tsugawa and M. Aoki.
- 20
-
Dines Bjørner.
Logics of Formal Software Specification Languages -- The Possible
Worlds cum Domain Problem.
In Lefteris Kirousis, editor, Fourth Pan-Hellenic Symposium on
Logic, Thessalonika, Greece, July 3-7 2003.
- 21
-
Albena Kirilova Strupchanska, Martin Penicka, and Dines Bjørner.
Railway Staff Rostering.
In FORMS2003: Symposium on Formal Methods for Railway Operation
and Control Systems. L'Harmattan Hongrie, 15-16 May 2003.
Conf. held at Techn.Univ. of Budapest, Hungary. Editors: G. Tarnai
and E. Schnieder, Germany.
- 22
-
Martin Penicka, Albena Kirilova Strupchanska, and Dines Bjørner.
Train Maintenance Routing.
In FORMS'2003: Symposium on Formal Methods for Railway
Operation and Control Systems. L'Harmattan Hongrie, 15-16 May 2003.
Conf. held at Techn.Univ. of Budapest, Hungary. Editors: G. Tarnai
and E. Schnieder, Germany.
- 23
-
Dines Bjørner.
Some Thoughts on Teaching Software Engineering - Central Rôles
of Semantics.
In Liber Amicorum: Professor Jaco de Bakker, pages 27-45,
Amsterdam, The Netherlands, 30 August 2002. Stichting Centrum voor Wiskunde
en Informatica.
Eds.: Frank de Boer, Marlin van der Heijden, Paul Klint, and Jan
Rutten.
- 24
-
Dines Bjørner.
``What is a Method ?'' -- An Essay of Some Aspects of Software
Engineering, chapter 9, pages 175-203.
Monographs in Computer Science. IFIP: International Federation for
Information Processing. Springer Verlag, New York, N.Y., USA, 2003.
Programming Methodology: Recent Work by Members of IFIP Working Group
2.3. Eds.: Annabelle McIver and Carrol Morgan.
- 25
-
Dines Bjørner.
What is an Infrastructure ?
In Formal Methods at the Crossroads. From Panacea to
Foundational Support, Lecture Notes in Computer Science, Heidelberg,
Germany, 2003. Springer-Verlag.
10th Anniversary Colloquium of UNI/IIST, the International Institute
for Software Technology of The United Nations University (Macau SAR, China),
Lisbon, Portugal, March 18-20, 2002. Eds.: Tom Maibaum and Bernhard K.
Aichernig, ISBN 3-540-20527-6.
- 26
-
Dines Bjørner.
Towards ``Posite & Prove'' Design Calculi for Requirements
Engineering and Software Design.
In Essays and Papers in Memory of Ole-Johan Dahl, Lecture
Notes in Computer Science. Springer-Verlag, 2004.
- 27
-
Dines Bjørner.
Domain Engineering: A ``Radical Innovation'' for Systems and
Software Engineering ?
In Verification: Theory and Practice, volume 2772 of Lecture Notes in Computer Science, Heidelberg, October 7-11 2003.
Springer-Verlag.
The Zohar Manna International Conference, Taormina, Sicily 29 June -
4 July 2003.
- 28
-
Dines Bjørner, Chris W. George, and Søren Prehn.
Computing Systems for Railways -- A Rôle for Domain
Engineering. Relations to Requirements Engineering and Software for Control
Applications.
In Integrated Design and Process Technology. Editors: Bernd
Kraemer and John C. Petterson, P.O.Box 1299, Grand View, Texas 76050-1299,
USA, 24-28 June 2002. Society for Design and Process Science.
- 29
-
Dines Bjørner.
An Ontology for a TripTych Formal Software Development Method.
In Radical Innovations for Systems and Software Engineering,
The Monterey Workshops, page 45 pages, Venice, Italy, October 7-11 2002.
Springer-Verlag.
- 30
-
Dines Bjørner.
Domain Models of ``The Market'' -- in Preparation for
E-Transaction Systems.
In Practical Foundations of Business and System Specifications
(Eds.: Haim Kilov and Ken Baclawski), The Netherlands, December 2002.
Kluwer Academic Press.
- 31
-
Panagiotis Karras and Dines Bjørner.
Train composition and decomposition: From passenger statistics to
schedules.
Technical report, Informatics and Mathematical Modelling, Building
322, Richard Petersens Plads, Technical University of Denmark, DK-2800
Kgs.Lyngby, Denmark, October 2002.
This is a report in the AMORE project series:
[21,22]. Postscript
documentP>
- 32
-
Dines Bjørner.
Towards the E-Market: To understand the E-Market we must first
understand ``The Market''.
In Government E-Commerce Development. Ningbo Science &
Technology Commission, Ningbo, Zhejian Province, China, 23-24 April 2001.
- 33
-
Dines Bjørner.
Informatics Models of Infrastructure Domains.
In Computer Science and Information Technologies, pages
13-73, Yerevan, Armenia, September 17-20 2001. National Academy of Sciences
of Armenia, Institute for Informatics and Automation Problems.
- 34
-
Dines Bjørner.
On Formal Techniques in Protocol Engineering: Example Challenges.
In Formal Techniques for Networks and Distributed Systmes (Eds.:
Myungchul Kim, Byoungmoon Chin, Sungwon Kang and Danhyung Lee), pages
395-420, August 28-31 2001.
Invited Key Lecture.
- 35
-
Dines Bjørner, M. Broy, and Alexandre V. Zamulin, editors.
Perspectives of System Informatics, IV, volume 2244 of Lecture Notes in Computer Science, Heidelberg, Germany, 28 June -- 2 July
2001. Springer-Verlag.
- 36
-
Dines Bjørner.
Danish document: Danske Infra-strukturer: Menneskeskabte Systemer og
deres IT (Danish Infrastructures: Man-made Systems and their IT).
Technical report, Informatics and Mathematical Modelling, Building
322, Richard Petersens Plads, Technical University of Denmark, DK-2800
Kgs.Lyngby, Denmark, Dec 2001.
Postscript document.
- 37
-
Dines Bjørner.
Pinnacles of Software Engineering: 25 Years of Formal Methods.
Annals of Software Engineering, 10:11-66, 2000.
Eds. Dilip Patel and Wang Yi.
- 38
-
Dines Bjørner.
Informatics: A Truly Interdisciplinary Science -- Computing Science
and Mathematics.
In Drumei Bainov, editor, 9th Intl. Colloquium on Numerical
Analysis and Computer Science with Applications, P.O.Box 45, BG-1504
Sofia, Bulgaria, 12-17 August 2000. Bulgarian Academy of Sciences, Academic
Publications.
Invited keynote.
- 39
-
Dines Bjørner.
Informatics: A Truly Interdisciplinary Science -- Prospects for an
Emerging World.
In S. Balasubramanian, editor, Information Technology and
Communication -- at the Dawn of the New Millenium, pages 71-84, Bangkok,
Thailand, 1-4 August 2000. Asian Institute of Technology.
Invited keynote.
- 40
-
Dines Bjørner.
Domain Engineering, A Software Engineering Discipline in Need of
Research.
In SOFSEM'2000: Theory and Practice of Informatics, volume
1963 of Lecture Notes in Computer Science, pages 1-17, Milovy, Czech
Republic, November 25 -- December 2 2000. Springer Verlag.
- 41
-
Dines Bjørner.
Formal Software Techniques in Railway Systems.
In Eckehard Schnieder, editor, 9th IFAC Symposium on Control in
Transportation Systems, pages 1-12, Technical University, Braunschweig,
Germany, 13-15 June 2000. VDI/VDE-Gesellschaft Mess- und
Automatisieringstechnik, VDI-Gesellschaft für Fahrzeug- und
Verkehrstechnik.
Invited talk.
- 42
-
Dines Bjørner.
Domain Engineering: ``Upstream'' from Requirements Engineering and
Software Design.
US ONR + Univ. of Genoa Workshop, Santa Margherita Ligure, June
2000.
Ed.: Egidio Astesiano et al. Dept. of Informatics, Genoa Univ.,
Italy.
- 43
-
Dines Bjørner.
Where do Software Architectures come from ? Systematic Development
from Domains and Requirements. A Re-assessment of Software Engneering ?
South African Journal of Computer Science, 22:3-13, March
1999.
Editor: Chris Brink.
- 44
-
Dines Bjørner.
Challenge '2000: some aspects of: ``How to Create a Software
Industry''.
In Proceedings of CSIC'99, Ed.: R. Jalili, 22 January 1999.
- 45
-
Dines Bjørner.
A Triptych Software Development Paradigm: Domain, Requirements and
Software. Towards a Model Development of A Decision Support System for
Sustainable Development.
In ErnstRüdiger Olderog and Bernhard Steffen, editors, Festschrift to Hans Langmaack: Correct Systems Design: Recent Insight and
Advances, volume 1710 of Lecture Notes in Computer Science, pages
29-60. University of Kiel, Germany, Springer-Verlag, October 1999.
- 46
-
Dines Bjørner.
Domain Modelling: Resource Management Strategics, Tactics &
Operations, Decision Support and Algorithmic Software.
In Jim Davies, Bill Roscoe, and Jim Woodcock, editors, Millenial Perspectives in Computer Science, Cornerstones of Computing
(Ed.: Richard Bird and Tony Hoare), pages 23-40, Houndmills, Basingstoke,
Hampshire, RG21 6XS, UK, 2000. Palgrave (St. Martin's Press).
An Oxford University and Microsoft Symposium in Honour of Sir Anthony
Hoare, September 13-14, 1999.
- 47
-
Dines Bjørner, Søren Prehn, and Chris W. George.
Formal Models of Railway Systems: Domains.
Technical report, Dept. of IT, Technical University of Denmark,
Bldg. 344, DK-2800 Lyngby, Denmark, September 23 1999.
Presented at the FMERail Workshop on Formal Methods in Railway
Systems, FM'99 World Congress on Formal Methods, Toulouse, France. Avaliable
on CD ROM.
- 48
-
Dines Bjørner, Søren Prehn, and Chris W. George.
Formal Models of Railway Systems: Requirements.
Technical report, Dept. of IT, Technical University of Denmark, Bldg.
344, DK-2800 Lyngby, Denmark, September 23 1999.
Presented at the FMERail Workshop on Formal Methods in Railway
Systems, FM'99 World Congress on Formal Methods, Toulouse, France. Avaliable
on CD ROM.
- 49
-
Dines Bjørner, M. Broy, and I.V. Pottosin, editors.
Perspectives of System Informatics, III, Lecture Notes in
Computer Science, Heidelberg, Germany, July 6-9 1999. Springer-Verlag,
Berlin.
- 50
-
Dines Bjørner.
Software Engineeering: A New Approach. From domains via
requirements to software. Formal specification and design calculi.
Dept. of Informatics and Mathematical Modelling, Technical
University of Denmark, Richard Petersens Plads, Building 322, DK-2800
Lyngby, Denmark, 2000.
Presently this document is a rather extensive (approx. 900 page) set
of lecture notes. Postscript versions of the document are accessible over the
web: http://www.it.dtu.dk/~db/s2000/notes.ps.
- 51
-
Dines Bjørner.
Formal Methods in the 21st Century -- An Assessment of Today,
Predictions for The Future -- Panel position presented at the ICSE'98,
Kyoto, Japan.
Technical report, Department of Information Technology, Software
Systems Section, Technical University of Denmark, April 22-14 1998.
- 52
-
Dines Bjørner and Jorge R. Cuéllar.
Software Engineering Education: Rôles of Formal Specification
and Design Calculi.
Annals of Software Engineering, 6:365-410, 1998.
Published April 1999.
- 53
-
Dines Bjørner.
Challenges in Domain Modelling -- Algebraic or Otherwise.
Research, Department of Information Technology, Software Systems
Section, Technical University of Denmark, DK-2800 Lyngby, Denmark, March
1998.
Paper presented at the April 27-29 1998 CafeOBJ Workshop, Numazu,
Japan. 41 pages.
- 54
-
Dines Bjørner.
Issues in International Cooperative Research -- Why not Asian,
African or Latin American `Esprits' ?
Research, Department of Information Technology, Software Systems
Section, Technical University of Denmark, DK-2800 Lyngby, Denmark, March
1998.
Paper presented at the pre-ICSE'98 Asia Pacific Forum on Software
Engineering, Kyoto, Japan, April 20-21, 1998. 25 pages.
- 55
-
Dines Bjørner.
Domains as Prerequisites for Requirements and Software &c.
In M. Broy and B. Rumpe, editors, RTSE'97: Requirements
Targeted Software and Systems Engineering, volume 1526 of Lecture
Notes in Computer Science, pages 1-41. Springer-Verlag, Berlin Heidelberg,
1998.
- 56
-
Dines Bjørner.
From Domain Engineering via Requirements to Software. Formal
Specification and Design Calculi.
In SOFSEM'97, volume 1338 of Lecture Notes in Computer
Science, pages 219-248. Springer-Verlag, November 1997.
- 57
-
Dines Bjørner, Souleimane Koussobe, Roger Noussi, and Georgui Satchok.
Michael Jackson's Problem Frames: Towards Methodological Principles
of Selecting and Applying Formal Software Development Techniques and Tools.
In Li ShaoQi and Michael Hinchley, editors, ICFEM'97: Intl.
Conf. on ``Formal Engineering Methods'', Hiroshima, Japan, pages 263-271,
Los Alamitos, CA, USA, 12-14 November 1997. IEEE Computer Society Press.
Invited lecture.
- 58
-
Dines Bjørner, C.W. George, and S. Prehn.
Scheduling and Rescheduling of Trains, chapter 8, pages
157-184.
Industrial Strength Formal Methods in Practice, Eds.:
Michael G. Hinchey and Jonathan P. Bowen. FACIT, Springer-Verlag, London,
England, 1999.
- 59
-
Dines Bjørner.
UNU/IIST's Software Technology R&D in Africa, Asia, Eastern Europe,
and Latin America.
Technical report, UNU/IIST, P.O.Box 3058, Macau, August 1997.
210 pages. With contributions from UNU/IIST colleagues.
Postscript document.
- 60
-
Dines Bjørner.
Software Systems Engineering -- From Domain Analysis to
Requirements Capture: An Air Traffic Control Example.
In 2nd Asia-Pacific Software Engineering Conference (APSEC
'95). IEEE Computer Society, 6-9 December 1995.
Brisbane, Queensland, Australia.
- 61
-
Dines Bjørner, M. Broy, and I.V. Pottosin, editors.
Perspectives of System Informatics, II, volume 735 of Lecture Notes in Computer Science, Heidelberg, Germany, 28 June -- 2 July
1996. Springer-Verlag, Berlin.
- 62
-
P.A.V. Hall, Dines Bjørner, and Z. Mikolajuk.
Decision Support Systems for Sustainable Development: Experience and
Potential -- a Position Paper.
Administrative Report 80, UNU/IIST, P.O.Box 3058, Macau, August
1996.
- 63
-
Dines Bjørner.
New Software Technology Development.
Technical Report 46, UNU/IIST, P.O.Box 3058, Macau, November
1995.
International Symposium: New IT for Governance and
Publication Administration, Beijing, China; organized by UNDDSMS, June 1996.
- 64
-
Dines Bjørner.
Software Support for Infrastructure Systems.
Technical Report 47, UNU/IIST, P.O.Box 3058, Macau, November
1995.
Position statement for the First Malaysia Information Technology
Days: 1-3 November 1995 We define and motivate the need for
research into, advanced development and actual deployment, by public and
private sector institutions and enterprises, of an advanced class of uses of
geographically widely distributed information technology systems of computers
and communications in achieving software support for infrastructure systems.
- 65
-
Dines Bjørner.
Prospects for a Viable Software Industry -- Enterprise Models,
Design Calculi, and Reusable Modules.
In First ACM Japan Chapter Conference, Singapore, March 7-9
1994. World Scientific Publ.
Appendix in collaboration with Søren Prehn and Dong Yulin.
- 66
-
Dines Bjørner, Dong Yu Lin, and S. Prehn.
Domain Analyses: A Case Study of Station Management.
In KICS'94: Kunming International CASE Symposium, Yunnan
Province, P.R.of China. Software Engineering Association of Japan, 16-20
November 1994.
- 67
-
Jan Goossenaerts and Dines Bjørner.
An Information Technology Framework for Lean/Agile Supply-based
Industries in Developing Countries.
Technical Report 30, UNU/IIST, P.O.Box 3058, Macau, 1994.
Published in Proceedings of the International Dedicated
Conference on Lean/Agile Manufacturing in the Automotive Industries, ISATA,
London, UK.
- 68
-
Jan Goossenaerts and Dines Bjørner.
Interflow Systems for Manufacturing: Concepts and a Construction.
Technical Report 31, UNU/IIST, P.O.Box 3058, Macau, 1994.
Published in Proceedings of the European Workshop on Integrated
Manufacturing Systems Engineering.
- 69
-
Dines Bjørner.
University Curricula in Software Technology.
Technical Report 7, UNU/IIST, P.O.Box 3058, Macau, March 15
1993.
Keynote address: IFIP TC3 WG3.4/SRIG-ET (SEARCC) International
Working Conference 1993: Software Engineering Education, Hong Kong,
September 28 - October 2, 1993.
- 70
-
Dines Bjørner.
Formal Models of Robots: Geometry & Kinematics, chapter 3,
pages 37-58.
Prentice-Hall International, January 1994.
Eds.: W.Roscoe and J.Woodcock, A Classical Mind, Festschrift
for C.A.R. Hoare.
- 71
-
Dines Bjørner, M. Broy, and I.V. Pottosin, editors.
Formal Methods in Programming and Their Applications, volume
735 of Lecture Notes in Computer Science, Heidelberg, Germany, 28 June
-- 2 July 1993. Springer-Verlag, Berlin.
- 72
-
Dines Bjørner.
Accreditation, Licensing and Certification; Curricula, Engineers and
Software.
Technical Report 14, UNU/IIST, P.O.Box 3058, Macau, 7 November
1993 1993, Revised 8 December 1993.
Presented at the UNIDO/COGIT Meeting, Vienna, Austria,
November 23, 1993.
- 73
-
Dines Bjørner.
A Rôle for UNU/IIST: Developing Countries' Access to New
Information Technologies.
In Access to Science and Technology -- The Rôle of
Information Technology. Kyoto University & UNU Press, May 12-14 1992.
- 74
-
Dines Bjørner.
Trustworthy Computing Systems: The ProCoS Experience.
In 14'th ICSE: Intl. Conf. on Software Eng., Melbourne,
Australia, pages 15-34. ACM Press, May 11-15 1992.
- 75
-
Dines Bjørner.
From Research to Practice: Self-reliance of the Developing
World through Software Technology: Usage, Education & Training,
Development & Research.
In Jan van Leuwen, editor, Information Processing '92, IFIP
World Congress '92, Madrid, pages 65-71. IFIP Transaction A-12: Algorithms,
Software, Architecture, Sept. 7-11 1992.
- 76
-
Dines Bjørner, A.E. Haxthausen, and K. Havelund.
Formal, Model-oriented Software Development Methods:
From VDM to ProCoS, and from RAISE to LaCoS.
Future Generation Computer Systems, 1992.
- 77
-
Dines Bjørner and J.F. Nilsson.
Algorithmic & Knowledge Based Methods -- Do they ``Unify'' ? --
with some Programme Remarks for UNU/IIST.
In International Conference on Fifth Generation Computer
Systems: FGCS'92, pages (Separate folder, ``191-198''). ICOT, June 1-5
1992.
- 78
-
Dines Bjørner.
Formal Software Development: Requirements for a CASE.
In European Symposium on Software Development Environment and
CASE Technology, Königswinter, FRG, June 17-21. Springer-Verlag,
Heidelberg, Germany, 1991.
- 79
-
Dines Bjørner.
Formal Specification is an Experimental Science (in English).
In Intl. Conf. on Perspectives of System Informatics, 17-21
May 1991.
- 80
-
Dines Bjørner.
Formal Specification is an Experimental Science (in Russian).
Programmirovanie, 6:24-43, 1991.
- 81
-
J. Barzdin and Dines Bjørner, editors.
Baltic Computer Science, volume 502 of Lecture Notes in
Computer Science.
Springer-Verlag, Heidelberg, Germany, 1991.
- 82
-
Dines Bjørner and V. Kotov, editors.
Images of Programming: Dedicated to the Memory of Andrei P.
Ershov.
IFIP TC2. North-Holland Publ. Co., Amsterdam, The Netherlands, 1991.
- 83
-
Dines Bjørner and V. Kotov (eds.).
Images of Programming: Dedicated to the Memory of Andrei P. Ershov.
North-Holland Publ. Co., Amsterdam, The Netherlands, 11. Nov. 1991.
Special issue: Theoretical Computer Science, vol. 90, no. 1.
- 84
-
Dines Bjørner, M. Broy, and I.V. Pottosin, editors.
Perspectives of System Informatics, I, Lecture Notes in
Computer Science, Heidelberg, Germany, May 27-30 1991. Springer-Verlag,
Berlin.
- 85
-
Dines Bjørner.
Software Development. Volume I: Specification Principles --
the VDM Approach.
Lecture Notes, Department of Computer Science, Technical University
of Denmark, 710 pages, 1992.
- 86
-
Dines Bjørner.
Software Development. Volume II: Design Principles -- the
VDM Approach.
Lecture Notes, Department of Computer Science, Technical University
of Denmark, 599 pages, Incomplete, 1992.
- 87
-
Dines Bjørner and L.M. Druffel.
Industrial Experience in using Formal Methods.
In Intl. Conf. on Software Engineering, pages 264-266. IEEE
Computer Society Press, 1990.
- 88
-
Dines Bjørner.
A ProCoS Project Description.
Published in two slightly different versions: (1) EATCS
Bulletin, October 1989, (2) (Ed. Ivan Plander:) Proceedings: Intl. Conf. on
AI & Robotics, Strebske Pleso, Slovakia, Nov. 5-9, 1989, North-Holland,
Publ., Dept. of Computer Science, Technical University of Denmark, October
1989.
- 89
-
Dines Bjørner.
Specification and Transformation: Methodology Aspects of the Vienna
Development Method.
In TAPSOFT'89, volume 352 of Lab. Note, pages 1-35.
Springer-Verlag, Heidelberg, Germany, 1989.
- 90
-
Dines Bjørner.
Towards a Meaning of `M' in VDM.
In E.J. Neuhold and M. Paul, editors, Formal Description of
Programming Concepts, IFIP State-of-the-Art Reports, pages 137-258.
Springer-Verlag, Heidelberg, Germany, 1991.
An IFIP TC2 Seminar, Persepolis, Brasil.
- 91
-
Dines Bjørner.
Facets of Software Development: Computer Science & Programming,
Engineering & Management.
J. of Comput. Sci. & Techn., 4(3):193-203, 1989.
- 92
-
A.P. Ershov, Dines Bjørner, Y. Futamura, K. Furukawa, A. Haraldson, and
W. Scherlis, editors.
Special Issue: Selected Papers from the Workshop on Partial
Evaluation and Mixed Computation, 1987 (New Generation Computing, vol. 6,
nos. 2,3). Ohmsha Ltd. and Springer-Verlag, 1988.
- 93
-
D. Bjørner, A.P. Ershov, and N.D. Jones, editors.
Partial Evaluation and Mixed Computation. Proceedings of the
IFIP TC2 Workshop, Gammel Avernæs, Denmark, October 1987.
North-Holland, 1988.
625 pages.
- 94
-
Dines Bjørner.
Conceptual Threads of Datalogy, Informatics and Information
Technology.
In Bl. Sendov and I. Stanchev, editors, Children in the
Information Age: Opportunities for Creativity, Innovation and New
Activities, pages 19-36. Pergamon Press, Oxford, Dec. 1988.
- 95
-
Dines Bjørner.
On The Use of Formal Methods in Software Development.
In Proc. of 9th International Conf. on Software Engineering,
Monterey, California, pages 17-29. IEEE, April 1987.
- 96
-
Dines Bjørner.
Aspects of the Rôle of Theory in the Computation Sciences and
Engineering.
In Bulletin, volume 32, pages 31-38. EATCS: European Assoc. f.
Theoretical Comp. Sci., June 1987.
- 97
-
Dines Bjørner.
Some thoughts on: Structures, Objectives and Management of Centres
for Computation Sciences and Software Technology.
In Bulletin, volume 32, pages 39-54. EATCS: European Assoc. f.
Theoretical Comp. Sci., June 1987.
- 98
-
Dines Bjørner.
The Stepwise Development of Software Development Graphs:
Meta-Programming VDM Developments.
In See [99], volume 252 of Lecture Notes in
Computer Science, pages 77-96. Springer-Verlag, Heidelberg, Germany, March
1987.
- 99
-
Dines Bjørner, C.B. Jones, M. Mac an Airchinnigh, and E.J. Neuhold, editors.
VDM - A Formal Method at Work. Proc. VDM-Europe Symposium
1987, Brussels, Belgium, Springer-Verlag, Lecture Notes in Computer Science,
Vol. 252, March 1987.
- 100
-
Dines Bjørner.
Software architectures and programming systems design. vols. i-vi.
Techn. Univ. of Denmark, 1983-1987.
- 101
-
Dines Bjørner.
Project Graphs and Meta-Programs: Towards a Theory of Software
Development.
In N. Habermann and U. Montanari, editors, Proc. Capri '86 Conf.
on Innovative Software Factories and Ada, Lecture Notes on Computer Science.
Springer-Verlag, May 1986.
- 102
-
Dines Bjørner.
Software Development Graphs -- A Unifying Concept for Software
Development?
In K.V. Nori, editor, Vol. 241 of Lecture Notes in Computer
Science: Foundations of Software Technology and Theoretical Computer
Science, pages 1-9. Springer-Verlag, Dec. 1986.
- 103
-
Dines Bjørner.
Software Engineering and Programming: Past-Present-Future.
IPSJ: Inform. Proc. Soc. of Japan, 8(4):265-270, 1986.
- 104
-
Dines Bjørner and M. Nielsen.
Meta Programs and Project Graphs.
In ETW: Esprit Technical Week, pages 479-491. Elsevier, May
1985.
- 105
-
Dines Bjørner and S. Prehn.
Software Engineering Aspects of VDM.
In D. Ferrari, editor, Theory and Practice of Software
Technology. North-Holland Publ.Co., Amsterdam, 1983.
- 106
-
Dines Bjørner.
Rigorous Development of Interpreters and Compilers.
In See [110], chapter 9, pages 271-320.
Prentice-Hall, 1982.
- 107
-
Dines Bjørner.
Stepwise Transformation of Software Architectures.
In See [110], chapter 11, pages 353-378.
Prentice-Hall, 1982.
- 108
-
Dines Bjørner and H.H. Løvengreen.
Formal Semantics of Data Bases.
In 8th Int'l. Very Large Data Base Conf., Mexico City, Sept.
8-10 1982.
- 109
-
Dines Bjørner and H.H. Løvengreen.
Formalization of Data Models.
In See [110], chapter 12, pages 379-442.
Prentice-Hall, 1982.
- 110
-
Dines Bjørner and C.B. Jones, editors.
Formal Specification and Software Development.
Prentice-Hall, 1982.
- 111
-
Dines Bjørner, editor.
Formal Description of Programming Concepts (II).
IFIP TC-2 Work.Conf., Garmisch-Partkirschen, North-Holland Publ.Co.,
Amsterdam, 1982.
- 112
-
Dines Bjørner.
Experiments in Block-Structured GOTO-Modelling: Exits vs.
Continuations.
See , pages 216-247, 1980.
- 113
-
Dines Bjørner.
Formalization of Data Base Models.
See , pages 144-215, 1980.
- 114
-
Dines Bjørner.
Formal Description of Programming Concepts: a Software Engineering
Viewpoint.
In MFCS'80, Lecture Notes Vol. 88, pages 1-21.
Springer-Verlag, 1980.
- 115
-
Dines Bjørner.
Application of Formal Models.
In Data Bases. INFOTECH Proceedings, October 1980.
- 116
-
Dines Bjørner.
The VDM Principles of Software Specification and Program Design.
In TC2 Work.Conf. on Formalisation of Programming Concepts,
Peniscola, Spain, pages 44-74, LNCS Vol. 107, 1981. IFIP, Springer-Verlag.
- 117
-
Dines Bjørner.
Realization of Database Management Systems.
In See [110], chapter 13, pages 443-456.
Prentice-Hall, 1982.
- 118
-
P. Folkjær and Dines Bjørner.
A Formal Model of a Generalised CSP-like Language.
In S.H. Lavington, editor, Proc. IFIP'80, pages 95-99.
North-Holland Publ.Co., Amsterdam, 1980.
- 119
-
H.H. Løvengreen and Dines Bjørner.
On a formal model of the tasking concepts in Ada.
In ACM SIGPLAN Ada Symp., Boston, 1980.
- 120
-
Dines Bjørner and O. Oest.
The DDC Ada Compiler Development Project.
See , pages 1-19, 1980.
- 121
-
Dines Bjørner, editor.
Abstract Software Specifications, volume 86 of Lecture
Notes in Computer Science.
Springer-Verlag, 1980.
- 122
-
Dines Bjørner and O. Oest, editors.
Towards a Formal Description of Ada, volume 98 of Lecture Notes in Computer Science.
Springer-Verlag, 1980.
- 123
-
Dines Bjørner.
The Systematic Development of a Compiling Algorithm.
In Amirchahy and Neel, editors, Le Point sur la Compilation,
pages 45-88. INRIA Publ. Paris, 1979.
- 124
-
Dines Bjørner.
Programming in the Meta-Language: A Tutorial.
See [110], pages 24-217, 1978.
- 125
-
Dines Bjørner.
Software Abstraction Principles: Tutorial Examples of an Operating
System Command Language Specification and a PL/I-like On-Condition Language
Definition.
See [110], pages 337-374, 1978.
- 126
-
Dines Bjørner.
The Vienna Development Method: Software Abstraction and
Program Synthesis.
In Mathematical Studies of Information Processing, volume 75
of Lecture Notes in Computer Science. Springer-Verlag, 1979.
Proceedings of Conference at Research Institute for Mathematical
Sciences (RIMS), University of Kyoto, August 1978.
- 127
-
Dines Bjørner and C.B. Jones, editors.
The Vienna Development Method: The Meta-Language, volume 61
of Lecture Notes in Computer Science.
Springer-Verlag, 1978.
This was the first monograph on Meta-IV.
.
- 128
-
Dines Bjørner.
Programming Languages: Linguistics and Semantics.
In International Computing Symposium 77, pages 511-536.
European ACM, North-Holland Publ.Co., Amsterdam, 1977.
- 129
-
Dines Bjørner.
Programming Languages: Formal Development of Interpreters and
Compilers.
In International Computing Symposium 77, pages 1-21. European
ACM, North-Holland Publ.Co., Amsterdam, 1977.
- 130
-
Hans Bekic, Dines Bjørner, Wolfgang Henhapl, Cliff B. Jones, and Peter
Lucas.
A Formal Definition of a PL/I Subset.
Technical Report 25.139, IBM Laboratory, Vienna, 20 September 1974.
- 131
-
Dines Bjørner, E. F. Codd, K. Deckert, and I. L. Traiger.
The GAMMA-0 Relational Data Base Interface Specifications of Objects
and Operations.
Techn. Report RJ-1200, IBM Research, San José, Calif., April
1973.
- 132
-
Dines Bjørner.
Finite State Tree Computations (Part I).
Research Rept. RJ-1053, IBM Research, San Joé, Calf., June
1972.
- 133
-
Dines Bjørner.
On the Definition of Higher Level Language Machines.
In Computers and Automata, volume 21 of Microwave Research
Inst. Symposia. Polytechnic Inst. of Brooklyn, N.Y., USA, 1971.
- 134
-
Dines Bjørner.
A Flow Mode, Self-Steering, Cellular Multiplier-Summation
Processor.
BIT, 10(2):125-14, 1970.
- 135
-
Dines Bjørner.
The Synthesis of Finite State Syntax Directed Top-Down and Bottom-Up
Transducers.
In SWAT (Symp. Switch. & Autom. Theory), pages 122-132. IEEE,
Oct. 1970.
- 136
-
Dines Bjørner.
Flowchart-Machines.
BIT, 10(4):415-442, 1970.
- 137
-
Dines Bjørner.
Folded Syntax- and Recursive Flowchart-Machines.
In HICSS (Hawaii Int'l. Conf. Sys. Sci.), pages 415-453,
January 1970.
- 138
-
Dines Bjørner.
Register Transfer and Transformation Machines.
In HICSS (Hawaii Int'l. Conf. Sys. Sci.), pages 61-63, January
1970.
- 139
-
Dines Bjørner.
Finite State Automaton Definition of Data Communication Line Control
Procedures.
In FJCC (Fall Joint Comp. Conf.), volume 37, pages 477-491.
AFIPS, November 1970.
- 140
-
Dines Bjørner, editor.
Data Description & Access. 1st ACM SICFIDET Workshop,
Assoc.f.Comp.Mach., N.Y., USA, 15-16 November 1970.
- 141
-
Dines Bjørner.
The Theory of Finite State Syntax Directed Transductions.
PhD thesis, Dept. of Comp. Sci., Techn. Univ. of Denmark, January
1969.
...
...
...
...
...
...
...
...
...
...
...
...
...
...
...
...
...
...
...
...
...
...
...
...
...
...
...
...
...
...
...
...
...
...
...
...
...
...
...
...
...
...
...
...
...
...
...
...
...
...
...
...
...
...
...
...
...
...
...
...
...
...
...
...
...
...
...
...
...
...
...
...
...
...
...
...
...
...
...
...
...
...
...
...
...
...
...
...
...
...
...
Dines Bjørner: Formal CV
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 biography
The translation was initiated by Dines Bjorner on 2007-05-04
Dines Bjorner
2007-05-04