Next: Biography Up: Dines Bjørner's Home Page Previous: Bibliography Contents
[] 2025:
[] 2024:
Just some notes: trying to clear my thoughts ! Not intended for
“paper” publication.
Being worked on Summer/Fall 2024.
My current “pass time” ! Being worked on Spring/Summer/... 2024. Not intended for
“paper” publication: passtie !
My most recent paper. pages. To be submitted.
152 Slides for [20].
A
compendium of 19 domain descriptions for the last 20
years. x+606 pages.
Available only over the Internet.
[] 2023:
An incomplete draft. 23 pages. August 2023
![[*]](footnote.png)
, January 2023.
[] 2022:
Technical University of Denmark, Fredsvej 11, DK-2840 Holte, Denmark
Fall 2022
Chapter 2 of [29].
Technical University of Denmark, Fredsvej 11, DK-2840 Holte, Denmark
Fall 2022
Chapter 3 and Appendix B of [29].
Invited paper
for FSEN 2023 : Fundamentals of Software Engineering,
Teheran, Iran, May 3–5, 2023.
Technical University of Denmark, Fredsvej 11, DK-2840 Holte, Denmark
Fall 2022
Kai Sørlander's Philosophy – An Interpretation/Translation.
Technical University of Denmark, Fredsvej 11, DK-2840 Holte, Denmark.
September 2022
Domain Science & Engineering – A Primer,
Lecture notes for a PhD/MSc course at The Techn. Univ. of
Vienna, Austria; October/November 2022.
Technical University of Denmark, Fredsvej 11, DK-2840 Holte, Denmark,
October 2022
Documents – A Basis for Government.
Paper submited for the Elsa Estavez
& Tomasz Janowski Festschrift:
Digital governance for sustainable
development and empowered citizenship, October 3, 2022.
Technical University of Denmark, Fredsvej 11, DK-2840 Holte, Denmark
July 2022
An Essence of Domain Engineering
NASA Formal Methods,
14th International Symposium, NFM 2022, Pasadena, CA, USA, May 24–27,
2022, Proceedings, LNCS volume 13260
Click.
[] 2021:
Domain Science & Engineering – A Foundation for Software Development
Springer.
The EATCS
2021.
Click.
Automobile Assembly Plants.
Click
Technical University of Denmark,
Fredsvej 11, DK-2840 Holte, Denmark,
Technical Report,
Summer, 2021
Shipping. Click,
Technical University of Denmark,
Fredsvej 11, DK-2840 Holte, Denmark.
Technical Report,
April, 2021.
A Graph Domain: Endurants. Click,
Technical University of Denmark,
Fredsvej 11, DK-2840 Holte, Denmark.
Technical Report,
Febrary, 2021
Rivers and Canals.
Click,
Technical University of Denmark,
Fredsvej 11, DK-2840 Holte, Denmark.
Technical Report,
March, 2021.
A Retailer Market: Domain Analysis & Description (DAAD). A
HERAKLIT/DAAD Comparison Study.
Technical University of Denmark, Fredsvej 11, DK-2840 Holte, Denmark
January 2021
[] 2020:
Domain Science & Engineering – A Foundation for Software Development
Dr.techn. thesis.
Technical University of Denmark,
December 1, 2020
Click and
The Official Thesis DTU Document.
A Compendium of 7 papers and 7 Case Studiers
Technical Report, November 2019, 535 pages
Click.
A Philosophy Basis for Domain Science & Engineering ?
Technical report, Technical University of Denmark, Fredsvej 11,
DK-2840 Holte, Denmark, January 2019.
An incomplete draft report; 35
pages.Click.
Domain Analysis & Description: Sorts, Types, Intents.
Technical report, Technical University of Denmark, Fredsvej 11,
DK-2840 Holte, Denmark, November 2019.
Klaus Havelund Festschrift, October 2020.
Click.
45 Years of Formal Methods.
Technical report, Technical University of Denmark, Fredsvej 11,
DK-2840 Holte, Denmark, September 2019.
Click.
Domain Analysis & Description – Principles, Techniques and
Modelling Languages.
ACM Trans. on Software Engineering and Methodology, 28(2),
April 2019.
Click.
A Philosophy of Domain Science & Engineering – An Interpretation
of Kai Sørlander's Philosophy.
Research Note, 95 pages, Technical University of Denmark,
Fredsvej 11, DK-2840 Holte, Denmark, Spring 2018.
Click.
The Manifest Domain Analysis & Description Approach to Implicit and
Explicit Semantics.
EPTCS: Electronic Proceedings in Theoretical Computer Science,
Yasmine Ait-Majeur, Paul J. Gibson and Dominique Méry, 12 May 2018.
First International Workshop on Handling IMPlicit and EXplicit
Knowledge in Formal Fystem Development, 17 November 2017, Xi'an, China.
Click.
Domain Science & Engineering – A Review of 10 Years Work and a
Laudatio.
In NaiJun Zhan and Cliff B. Jones, editors,
Symposium on
Real-Time and Hybrid Systems –
A Festschrift Symposium in Honour of Zhou
ChaoChen, LNCS 11180, pp. 61–84.
Springer Nature Switzerland AG
Click,
June 2018.
To Every Manifest Domain a CSP Expression — A Rôle
for Mereology in Computer Science.
Journal of Logical and Algebraic Methods in Programming,
1(94):91–108, January 2018.
Click.
Domain Analysis and Description – Formal Models of Processes and
Prompts.
Technical report, Technical University of Denmark, Fredsvej 11,
DK-2840 Holte, Denmark, 2016.
Extensive revision of [71].
Click.
From Domain Descriptions to Requirements Prescriptions – A
Different Approach to Requirements Engineering.
Technical report, Technical University of Denmark, Fredsvej 11,
DK-2840 Holte, Denmark, 2016.
Extensive revision of
[98]Click.
Domain Facets: Analysis & Description.
Technical report, Technical University of Denmark, Fredsvej 11,
DK-2840 Holte, Denmark, May 2018.
Extensive revision of [80].
Click.
Domain Science & Engineering – A Compendium.
Technical report, Technical University of Denmark, Fredsvej 11,
DK-2840 Holte, Denmark, June 2018.
A collection of
[66,55,53,52,54,57,49].
Domains: Their Simulation, Monitoring and Control – A Divertimento
of Ideas and Suggestions.
Technical report, Technical University of Denmark, Fredsvej 11,
DK-2840 Holte, Denmark, 2016.
Extensive revision of [58].
Click.
Domains: Their Simulation, Monitoring and Control – A Divertimento
of Ideas and Suggestions.
In Rainbow of Computer Science, Festschrift for Hermann Maurer
on the Occasion of His 70th Anniversary., Festschrift (eds. C. Calude,
G. Rozenberg and A. Saloma), pages 167–183. Springer, Heidelberg, Germany,
January 2011.
Click.
Container Terminals.
Technical report, Technical University of Denmark, Fredsvej 11,
DK-2840 Holte, Denmark, September 2018.
An incomplete draft report; currently 60+
pages.Click.
A Space of Swarms of Drones.
Research Note, Technical University of Denmark, Fredsvej 11,
DK-2840 Holte, Denmark, December 2017.
Click.
Urban Planning Processes.
Research Note, Technical University of Denmark, Fredsvej 11,
DK-2840 Holte, Denmark, July 2017.
Click.
What are Documents ?
Research Note, Technical University of Denmark, Fredsvej 11,
DK-2840 Holte, Denmark, July 2017.
Click.
Weather Information Systems: Towards a Domain Description.
Technical Report: Experimental Research, Technical University of
Denmark, Fredsvej 11, DK-2840 Holte, Denmark, November 2016.
Click.
A Credit Card System: Uppsala Draft.
Technical Report: Experimental Research, Technical University of
Denmark, Fredsvej 11, DK-2840 Holte, Denmark, November 2016.
Click.
A Philosophy of Domain Science & Engineering – An Interpretation
of Kai Sørlander's Philosophy.
Research Note, Technical University of Denmark, Fredsvej 11,
DK-2840 Holte, Denmark, Spring 2018.
Click.
A Domain Analysis & Description Method – Principles, Techniques
and Modelling Languages.
Paper submitted for publication, Technical University of Denmark,
Fredsvej 11, DK-2840 Holte, Denmark, May 16 2018.
Click.
Manifest Domains: Analysis & Description.
Formal Aspects of Computing, 29(2):175–225, Online: July
2016. Click.
ProCoS: How It All Began – as Seen from Denmark.
NASA Monographs in Systems and Software Engineering. Springer, March
9–10 2015.
BCS-FACS ProCoS Workshop on Provably Correct Systems, London, UK,
printed in Provably Correct Systems. Eds. Hinchey M., Bowen J., Olderog E-R.,
Click.
Domain Engineering – A Basis for Safety Critical Software.
Invited Keynote, ASSC2014: Australian System Safety Conference,
Melbourne, 26–28 May. , Technical University of Denmark, Fredsvej 11,
DK-2840 Holte, Denmark, December 2014.
Click.
40 Years of Formal Methods — 10 Obstacles and 3 Possibilities.
In FM 2014, Singapore, May 14-16, 2014. Springer, 2014.
Distinguished Lecture.
Click.
Domain Analysis: Endurants – An Analysis & Description Process
Model.
In Shusaku Iida and José Meseguer and Kazuhiro Ogata,
editor, Specification, Algebra, and Software: A Festschrift Symposium
in Honor of Kokichi Futatsugi. Springer, May 2014.
Click.
Pipelines – a Domain.
Experimental Research Report 2013-2, DTU Compute and Fredsvej
11, DK-2840 Holte, Denmark, Spring 2013. Click.
Documents – a Domain Description.
Experimental Research Report 2013-3, DTU Compute and Fredsvej
11, DK-2840 Holte, Denmark, Spring 2013.
Road Transportation – a Domain Description.
Experimental Research Report 2013-4, DTU Compute and Fredsvej
11, DK-2840 Holte, Denmark, Spring 2013.
Click.
Domain Science and Engineering as a Foundation for Computation
for Humanity, chapter 7, pages 159–177.
Computational Analysis, Synthesis, and Design of Dynamic Systems. CRC
[Francis & Taylor], 2013.
(eds.: Justyna Zander and Pieter J. Mosterman).
A Rôle for Mereology in Domain Science and Engineering.
Synthese Library (eds. Claudio Calosi and Pierluigi Graziani).
Springer, Amsterdam, The Netherlands, May 2014.
Dansk Datamatik Center.
In Benkt Wangler and Per Lundin, editors, History of Nordic
Computing, Stockholm, Sweden, 18-20 October 2010. Springer.
Domain Science & Engineering – From Computer
Science to The Sciences of Informatics, Part I of II: The Engineering Part.
Kibernetika i sistemny analiz, 2(4):100–116, May 2010.
Domain Science & Engineering – From Computer
Science to The Sciences of Informatics Part II of II: The Science Part.
Kibernetika i sistemny analiz, 2(3):100–120, June 2011.
Domain Engineering.
In Paul Boca and Jonathan Bowen, editors, Formal Methods: State
of the Art and New Directions, Eds. Paul Boca and Jonathan Bowen, pages
1–42, London, UK, 2010. Springer.
Chinese: Software Engineering, Vol. 1: Abstraction and
Modelling.
Qinghua University Press. Translated by Dr Liu Bo Chao et al., 2010.
Chinese: Software Engineering, Vol. 2: Specification
of Systems and Languages.
Qinghua University Press. Translated by Dr Liu Bo Chao et al., 2010.
Chinese: Software Engineering, Vol. 3: Domains,
Requirements and Software Design.
Qinghua University Press. Translated by Dr Liu Bo Chao et al., 2010.
On Development of Web-based Software: A Divertimento of Ideas and
Suggestions.
Technical, Technical University of Vienna, August–October 2010.
Click.
The Tokyo Stock Exchange Trading Rules.
R&D Experiment, Techn. Univ. of Denmark, Fredsvej 11, DK-2840
Holte, Denmark, 2010.
Click.
From Domains to Requirements: The Triptych Approach.
Internet, April 2010.
Lecture notes cover the first 150 pages of this 342 page compendium.
Slightly incomplete draft version.
Domain Engineering: Technology Management, Research and
Engineering.
A JAIST Press Research Monograph # 4, 536 pages, March 2009.
On Mereologies in Computing Science.
In Festschrift: Reflections on the Work of C.A.R. Hoare,
History of Computing (eds. Cliff B. Jones, A.W. Roscoe and Kenneth R. Wood), pages 47–70, London, UK, 2009. Springer.
Click.
The Rôle of Domain Engineering in Software Development. Why
Current Requirements Engineering Seems Flawed!
In Perspectives of Systems Informatics, volume 5947 of Lecture Notes in Computer Science, pages 2–34, Heidelberg, Wednesday,
January 27, 2010. Springer.
An Emerging Domain Science – A Rôle for Stanisław
Leśniewski's Mereology and Bertrand Russell's Philosophy of Logical
Atomism.
Higher-order and Symbolic Computation, 2009.
From Domains to Requirements: The Triptych Approach to Software
Engineering.
Internet, Summer 2009.
Slightly incomplete draft version, approximately XXVII+160+25 pages
(frontmatter, main text, appendices). Click!.
What is Logistics ? A Domain Analysis.
Techn. report, Incomplete
Draft, Fredsvej 11, DK-2840 Holte,
Denmark, June 2009.
A Domain Model of Oil Pipelines.
Techn. report, Incomplete
Draft, Fredsvej 11, DK-2840
Holte, Denmark, June 2009.
Software Engineering, Vol. 1: Abstraction and Modelling.
Qinghua University Press, 2008.
Software Engineering, Vol. 2: Specification of Systems and
Languages.
Qinghua University Press, 2008.
Software Engineering, Vol. 3: Domains, Requirements and
Software Design.
Qinghua University Press, 2008.
Believable Software Management.
Encyclopedia of Software Engineering, 1(1):1–32, 2011.
From Domains to Requirements.
In Montanari Festschrift, volume 5065 of Lecture Notes
in Computer Science (eds. Pierpaolo Degano, Rocco De Nicola and José
Meseguer), pages 1–30, Heidelberg, May 2008. Springer.
Click.
Compositionality: Ontology and Mereology of Domains. Some Clarifying
Observations in the Context of Software Engineering in
In Festschrift for Prof. Willem Paul de Roever Concurrency,
Compositionality, and Correctness, volume 5930 of Lecture Notes in
Computer Science, pages 22–59, Heidelberg, July 2010. Springer.
Domain Engineering.
In The 2007 Lipari PhD Summer School, Dds. E. Börger
and A. Ferro, pages 1–102. University of Catanaia, Sicily, Italy, 2007.
Click.
Software Engineering: A Triptych Approach.
Internet, Summer 2008.
610 pages. Slightly incomplete draft version..
Domain Engineering.
Internet, Summer 2008.
469 pages. Slightly incomplete draft version..
Domain Theory: Practice and Theories, Discussion of Possible
Research Topics.
In ICTAC'2007, volume 4701 of Lecture Notes in Computer
Science (eds. J.C.P. Woodcock et al.), pages 1–17, Heidelberg, September
2007. Springer.
Transportation Systems Development.
In 2007 ISoLA Workshop On Leveraging Applications of Formal
Methods, Verification and Validation; Special Workshop Theme: Formal Methods
in Avionics, Space and Transport, ENSMA, Futuroscope, France, December
12–14 2007.
Click.
Logics of Specification Languages.
EATCS Series, Monograph in Theoretical Computer Science.
Springer, Heidelberg, Germany, 2008.
A Container Line Industry Domain.
Techn. report, Technical University of Denmark, Fredsvej 11,
DK-2840 Holte, Denmark, June 2007.
Click.
Software Engineering, Vol. 1: Abstraction and Modelling.
Texts in Theoretical Computer Science, the EATCS Series. Springer,
2006.
See [94,81].
Software Engineering, Vol. 2: Specification of Systems and
Languages.
Texts in Theoretical Computer Science, the EATCS Series. Springer,
2006.
Chapters 12–14 are primarily authored by Christian Krog Madsen. See
[95,82].
Software Engineering, Vol. 3: Domains, Requirements and
Software Design.
Texts in Theoretical Computer Science, the EATCS Series. Springer,
2006.
See [96,83].
Domains and Problem Frames (Invited keynote at IWAAPF, ICSE 2006
Satellite Event, Shanghai, May 2006).
Techn. Memoranda IS–TM–2006-006, ISSN 0918-7561, Graduate School of
Information Science & Technology, JAIST: Japan Adv. Inst. of Sci. and
Techn., 1-1 Asahidai, Nomi, Ishikawa 923-1292, Hokuriku, Japan., 27 December
2006.
Final
Version.
[87] Chap. 1: On Domains and On Domain
Engineering – Prerequisites for Trustworthy Software – A Necessity for
Believable Management, pages 3–38.
JAIST Press, March 2009.
[87] Chap. 2: Possible Collaborative Domain
Projects – A Management Brief, pages 39–56.
JAIST Press, March 2009.
[87] Chap. 3: The Rôle of Domain Engineering
in Software Development, pages 57–72.
JAIST Press, March 2009.
[87] Chap. 4: Verified Software for Ubiquitous
Computing – A VSTTE Ubiquitous Computing Project Proposal, pages
73–106.
JAIST Press, March 2009.
[87] Chap. 5: The Triptych Process Model –
Process Assessment and Improvement, pages 107–138.
JAIST Press, March 2009.
[87] Chap. 6: Domains and Problem Frames – The
Triptych Dogma and M.A.Jackson's PF Paradigm, pages 139–175.
JAIST Press, March 2009.
[87] Chap. 7: Documents – A Rough Sketch Domain
Analysis, pages 179–200.
JAIST Press, March 2009.
[87] Chap. 8: Public Government – A Rough Sketch
Domain Analysis, pages 201–222.
JAIST Press, March 2009.
[87] Chap. 9: Towards a Model of IT Security —
– The ISO Information Security Code of Practice – An Incomplete Rough
Sketch Analysis, pages 223–282.
JAIST Press, March 2009.
[87] Chap. 10: Towards a Family of Script
Languages – – Licenses and Contracts – Incomplete Sketch, pages
283–328.
JAIST Press, March 2009.
A Formal Specification of CTP: Communicating Transaction Processes.
Technical report, School of Computing, National University of
Singapore, June 2005.
A Cloverleaf of Software Engineering.
In Bernhard Aichernig and Bernhard Beckert, editor, SEFM 2005, IEEE International Conference on Software Engineering and Formal
Methods, September 5–9, 2005.
Pages 75–84.
Click.
"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.
.
The Grand Challenge – FAQs of the R&D of a Railway Domain Theory.
In IFIP World Computer Congress, Topical Days: TRain: The
Railway Domain, IFIP, Amsterdam, The Netherlands, 2004. Kluwer Academic
Press.
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.
From Railway Resource Planning to Train Operation — a Brief Survey
of Complementary Formalisations.
In Building the Information Society, IFIP 18th World Computer
Congress, Topical Sessions, 22–27 August, 2004, Toulouse, France — Ed.
Renéne Jacquart, pages 629–636. Kluwer Academic Publishers, August
2004.
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.
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.
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.
Click.
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.
Click.
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.
Click.
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. Click.
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.
Click.
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.
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.
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.
Click.
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.
Click.
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.
Perspectives of System Informatics, IV, volume 2244 of Lecture Notes in Computer Science, Heidelberg, Germany, 28 June — 2 July
2001. Springer.
On Formal Techniques in Protocol Engineering: Example Challenges.
In Formal Techniques for Networks and Distributed Systems (Eds.:
Myungchul Kim, Byoungmoon Chin, Sungwon Kang and Danhyung Lee), pages
395–420. Kluwer, August 28–31 2001.
Invited Key Lecture.
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.
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.
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.
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.
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.
“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.
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.
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.
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.
Challenge '2000: some aspects of: “How to Create a Software
Industry”.
In Proceedings of CSIC'99, Ed.: R. Jalili, 22 January 1999.
Pinnacles of Software Engineering: 25 Years of Formal Methods.
Annals of Software Engineering, 10:11–66, 2000.
Eds. Dilip Patel and Wang Yi.
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 FME Rail Workshop on Formal Methods in Railway
Systems, FM'99 World Congress on Formal Methods, Toulouse, France. Avaliable
on CD ROM.
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 FME Rail Workshop on Formal Methods in Railway
Systems, FM'99 World Congress on Formal Methods, Toulouse, France. Avaliable
on CD ROM.
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.
Formal Methods in the 21'st Century. An Assessment of Today —
Predictions for the Future.
In ICSE'98 Panel Discussions, Kyoto, Japan, April 1998.
Software Engineering Education: Rôles of Formal Specification
and Design Calculi.
Annals of Software Engineering, 6:365–410, 1998.
Published April 1999.
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.
Michael Jackson's Problem Frames: Domains, Requirements and Design.
In Li ShaoYang and Michael Hinchley, editors, ICFEM'97:
International Conference on Formal Engineering Methods, Los Alamitos,
November 12–14 1997. IEEE Computer Society.
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.
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.
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.
Infrastructure Software Systems.
Technical Report 58, UNU/IIST, P.O.Box 3058, Macau, Dec 1996.
Presentation solicited for the Academia Europae (AE/CWI/SMC)
Symposium, Amsterdam 11–12 April, 1996. .
Federated GIS+DIS–based Decision Support Systems for Sustainable
Development — a Conceptual Architecture.
Research Report 61, UNU/IIST, P.O.Box 3058, Macau, March 1996.
Draft.
New Software Development.
Administrative/Technical Report 59, UNU/IIST, P.O.Box 3058,
Macau, January 1996.
Special Theme paper: New Software Technology
Development. Paper was first prepared in September 1995 for an International
Symposium: New IT Applications for Governance and Public
Administration, convened by the UN's Department for Development Support and
Management Service: UNDDSMS, Beijing, November 9–14, 1995. This symposium
was subsequently moved (tentatively) to June 1996, same venue. .
Decision Support Systems for Sustainable Development: Experience and
Potential — a Position Paper.
Technical Report 80, UNU/IIST, P.O.Box 3058, Macau, August
1996.
UNU/IIST Annual Report: 1996.
Administrative Report 85, UNU/IIST, P.O.Box 3058, Macau,
(October) January (1996) 1997.
Reports on the status of UNU/IIST and its activities
during 1996.
Formal Methods in Programming and Their Applications, volume
735 of Lecture Notes in Computer Science, Heidelberg, Germany, 28 June
— 2 July 1993. Springer, Berlin.
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.
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 .
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.
UNU/IIST Annual Report: 1995.
Administrative Report 53, UNU/IIST, P.O.Box 3058, Macau,
January 1996.
Reports on the status of UNU/IIST and its activities
during 1995.
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.
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.
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.
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.
UNU/IIST Annual Report: 1994.
Research Report 22, UNU/IIST, P.O.Box 3058, Macau, January
1995.
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.
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.
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.
UNU/IIST Annual Report: 1993.
Administrative Report 18, UNU/IIST, P.O.Box 3058, Macau,
January 1994.
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.
From Research to Practice: Self-reliance of the Developing
World through Software Technology: Usage, Education & Training,
Development & Research.
In Jan van Lee7uwen, editor, Information Processing '92, IFIP
World Congress '92, Madrid, pages 65–71. IFIP Transaction A-12: Algorithms,
Software, Architecture, Sept. 7–11 1992.
Formal, Model-oriented Software Development Methods:
From VDM to ProCoS, and from RAISE to LaCoS.
Future Generation Computer Systems, 1992.
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.
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.
UNU/IIST Programme.
Administrative Report, 1, UNU/IIST, P.O.Box 3058, Macau,
February 19 1993.
Presents the co-ordinates along, and principles according to which
UNU/IIST will select and pursue its Programmatic Activities the next
couple of years.
UNU/IIST Annual Report: 1992.
Administrative Report 2, UNU/IIST, P.O.Box 3058, Macau, January
1993.
Reports on the status of UNU/IIST and its activities after the
first 6 months of operation.
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.
Formal Specification is an Experimental Science (in English).
In Intl. Conf. on Perspectives of System Informatics, 17–21
May 1991.
Formal Specification is an Experimental Science (in Russian).
Programmirovanie, 6:24–43, 1991.
Perspectives of System Informatics, I, Lecture Notes in
Computer Science, Heidelberg, Germany, May 27–30 1991. Springer, Berlin.
Baltic Computer Science, volume 502 of Lecture Notes in
Computer Science.
Springer-Verlag, Heidelberg, Germany, 1991.
Images of Programming: Dedicated to the Memory of Andrei P.
Ershov.
IFIP TC2. North-Holland Publ. Co., Amsterdam, The Netherlands, 1991.
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.
Industrial Experience in using Formal Methods.
In Intl. Conf. on Software Engineering, pages 264–266. IEEE
Computer Society Press, 1990.
VDM and Z – Formal Methods in Software Development. Third
International Symposium of VDM Europe, Kiel, FRG, April 17-21, 1990,
Springer, Lecture Notes in Computer Science, Vol. 428, April 1990.
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.
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.
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.
Facets of Software Development: Computer Science & Programming,
Engineering & Management.
J. of Comput. Sci. & Techn., 4(3):193–203, 1989.
Partial Evaluation and Mixed Computation. Proceedings of the
IFIP TC2 Workshop, Gammel Avernæs, Denmark, October 1987.
North-Holland, 1988.
625 pages.
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, 1988.
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.
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.
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.
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.
The Stepwise Development of Software Development Graphs:
Meta-Programming VDM Developments.
In See [208], volume 252 of Lecture Notes in
Computer Science, pages 77–96. Springer-Verlag, Heidelberg, Germany, March
1987.
VDM – A Formal Method at Work. Proc. VDM-Europe Symposium
1987, Brussels, Belgium, Springer, Lecture Notes in Computer Science, Vol.
252, March 1987.
Software architectures and programming systems design. vols. i-vi.
Techn. Univ. of Denmark, 1983-1987.
Software Engineering and Programming: Past-Present-Future.
IPSJ: Inform. Proc. Soc. of Japan, 8(4):265–270, 1986.
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.
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.
Meta Programs and Project Graphs.
In ETW: Esprit Technical Week, pages 479–491. Elsevier, May
1985.
Software Engineering Aspects of VDM.
In D. Ferrari, editor, Theory and Practice of Software
Technology. North-Holland Publ.Co., Amsterdam, 1983.
Realization of Database Management Systems.
In See [220], chapter 13, pages 443–456.
Prentice-Hall, 1982.
Rigorous Development of Interpreters and Compilers.
In See [220], chapter 9, pages 271–320.
Prentice-Hall, 1982.
Stepwise Transformation of Software Architectures.
In See [220], chapter 11, pages 353–378.
Prentice-Hall, 1982.
Formal Semantics of Data Bases.
In 8th Int'l. Very Large Data Base Conf., Mexico City, Sept.
8-10 1982.
Formalization of Data Models.
In Formal Specification and Software Development,
[220], chapter 12, pages 379–442. Prentice-Hall, 1982.
Formal Specification and Software Development.
Prentice-Hall, 1982.
Formal Description of Programming Concepts (II).
IFIP TC-2 Work.Conf., Garmisch-Partenkirschen, North-Holland Publ.Co.,
Amsterdam, 1982.
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.
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.
On a formal model of the tasking concepts in Ada.
In ACM SIGPLAN Ada Symp., Boston, 1980.
The DDC Ada Compiler Development Project.
In Dines Bjørner and Ole N. Oest, editors, Towards a Formal
Description of Ada, [231], volume 98 of Lecture Notes in
Computer Science, pages 1–19. Springer–Verlag, 1980.
Formalization of Data Base Models.
In Dines Bjørner, editor, Abstract Software Specification,
[230], volume 86 of Lecture Notes in Computer Science,
pages 144–215. Springer–Verlag, 1980.
Formal Description of Programming Concepts: a Software Engineering
Viewpoint.
In MFCS'80, Lecture Notes Vol. 88, pages 1–21.
Springer–Verlag, 1980.
Application of Formal Models.
In Data Bases. INFOTECH Proceedings, October 1980.
Experiments in Block-Structured GOTO-Modelling: Exits vs.
Continuations.
In Dines Bjørner, editor, Abstract Software Specification,
[230], volume 86 of Lecture Notes in Computer Science,
pages 216–247. Springer–Verlag, 1980.
Abstract Software Specifications, volume 86 of Lecture
Notes in Computer Science.
Springer, 1980.
Towards a Formal Description of Ada, volume 98 of Lecture Notes in Computer Science.
Springer, 1980.
Programming in the Meta-Language: A Tutorial.
In Dines Bjørner and Cliff B. Jones, editors, The Vienna
Development Method: The Meta-Language, [236], Lecture Notes in
Computer Science, pages 24–217. Springer–Verlag, 1978.
Software Abstraction Principles: Tutorial Examples of an Operating
System Command Language Specification and a PL/I-like On-Condition Language
Definition.
In Dines Bjørner and Cliff B. Jones, editors, The Vienna
Development Method: The Meta-Language, [236], Lecture Notes in
Computer Science, pages 337–374. Springer–Verlag, 1978.
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.
The Systematic Development of a Compiling Algorithm.
In Amirchahy and Neel, editors, Le Point sur la Compilation,
pages 45–88. INRIA Publ. Paris, 1979.
The Vienna Development Method: The Meta-Language, volume 61
of Lecture Notes in Computer Science.
Springer, 1978.
This was the first monograph on Meta-IV.
Programming Languages: Linguistics and Semantics.
In International Computing Symposium 77 (eds. E. Morlet and
D. Ribbens), pages 511–536. European ACM, North-Holland Publ.Co.,
Amsterdam, 1977.
Programming Languages: Formal Development of Interpreters and
Compilers.
In International Computing Symposium 77 (eds. E. Morlet and
D. Ribbens), pages 1–21. European ACM, North-Holland Publ.Co., Amsterdam,
1977.
A Formal Definition of a PL/I Subset.
Technical Report 25.139, Vienna, Austria, 20 September 1974.
The GAMMA-0 Relational Data Base Interface Specifications of Objects
and Operations.
Techn. Report RJ-1200, IBM Research, San José, Calif., April
1973.
Finite State Tree Computations (Part I).
Research Rept. RJ-1053, IBM Research, San José, Calf., June
1972.
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.
Finite State Automaton Definition of Data Communication Line Control
Procedures.
In FJCC (Fall Joint Comp. Conf.), volume 37, pages 477–491.
AFIPS, November 1970.
Register Transfer and Transformation Machines.
In HICSS (Hawaii Int'l. Conf. Sys. Sci.), pages 61–63, January
1970.
Folded Syntax- and Recursive Flowchart-Machines.
In HICSS (Hawaii Int'l. Conf. Sys. Sci.), pages 415–453,
January 1970.
Flowchart-Machines.
BIT, 10(4):415–442, 1970.
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.
A Flow Mode, Self-Steering, Cellular Multiplier-Summation
Processor.
BIT, 10(2):125–14, 1970.
Data Description & Access. 1st ACM SICFIDET Workshop,
Assoc.f.Comp.Mach., N.Y., USA, 15–16 November 1970.
A Theory of Finite State Syntax Directed Transductions.
PhD thesis, Dept. of Comp. Sci., Techn. Univ. of Denmark, January
1969.
Datamatisering, struktur og ledere (IT, Structure and Management),
Forskning (Research, special issue of
Ingeniøren), vol.8, 11 pages, 1968.