Bibliography

1: Dines Bjørner. Urban Planning Processes .
Research Note - for Univ.of TongJi,
China Intelligent Urbanization Co-creation Center for High Density Region,
College of Architecture & Urban Planning (CAUP, http://en.tongji-caup.org/)
Spring/Summer 2017 Incomplete Draft. Warning: This document is being edited almost daily.
2: Dines Bjørner. To Every Manifest Domain a CSP Expression
Research Report, December 2016
3: Dines Bjørner. Domain Analysis and Description - Formal Models of Processes and Prompts
Research Report, October 2016
4: Dines Bjørner. Weather Information Systems
Technical Report This report emerged as a result of a week of PhD lectures at Bergen, Norway, November 7-11, 2016.
5: Dines Bjørner.
A Credit Card System - A Domain Description
Technical Report, 2016. This report emerged as a result of PhD lectures at Uppsala, Sweden, May 18-19, 2016.
6: Dines Bjørner.
Domain Facets: Analysis & Description
Research report, 2015.
To be submitted to Formal Aspects of Computing This draft paper is a rather substantial rewrite of Item 23.
7: Dines Bjørner.
From Manifest Domain Descriptions to Requirements Prescriptions
A Different Approach to Requirements Engineering
Research report, 2015. This draft paper is a rather substantial rewrite of Items 41 and .
8: Dines Bjørner.
Manifest Domains: Analysis and Description
Research Paper, 2015.
Accepted by Formal Aspects of Computing.
DOI 10.1007/s00165-016-0385-z This draft paper is a rather substantial rewrite of Items 13, 21 and 22.
I immodestly consider this the most important as well as the best paper I have written.
9: Dines Bjørner.
A New Foundation for Computing Science
Seminar / Festschrift Paper
10: Dines Bjørner.
[ProCoS] How it all Began: As seen from Denmark
in: NASA Monographs in Systems and Software Engineering: Provably Correct Systems , pp 3-6, Springer, 2017
11: Dines Bjørner.
Domain Engineering - A Basis for Safety Critical Software .
Invited Keynote, ASSC2014: Australian System Safety Conference, Melbourne, 28-30 May 2014.
Paper. Slides.
12: Dines Bjørner and Klaus Havelund.
40 Years of Formal Methods -- Some Obstacles and Some Promises
Distinguished Lecture, FM 2014, Singapore, May 14-16, 2014.
Springer, LNCS 8442, pp 42-61, 2014.
Paper. Slides.
13: Dines Bjørner.
Domain Analysis: Endurants - An Analysis & Description Process Model .
In Specification, Algebra, and Software: A Festschrift Symposium in Honor of Kokichi Futatsugi.
Springer, LNCS 8373, pp 1-34, 2013.
Paper. Slides.
14: Dines Bjørner.
Pipelines - a Domain Description .
Experimental Research Report 2013-2, Fredsvej 11, DK-2840 Holte, Denmark, Spring 2013.
Paper.
15: Dines Bjørner.
Documents - a Domain Description .
Experimental Research Report 2013-3, DTU Compute and Fredsvej 11, DK-2840 Holte, Denmark, Spring 2013.
Paper.
16: Dines Bjørner.
Road Transportation - a Domain Description .
Experimental Research Report 2013-4, Fredsvej 11, DK-2840 Holte, Denmark, Spring 2013.
Paper.
17: Dines Bjørner.
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).
Paper.
18: Dines Bjørner.
A Rôle for Mereology in Domain Science and Engineering .
Synthese Library (eds. Claudio Calosi and Pierluigi Graziani). Springer, Amsterdam, The Netherlands, October 2013.
Paper. Slides.
19: Dines Bjørner.
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.
Paper.
20: Dines Bjørner and Christian Gram and Ole N. Oest and Leif Rystrøm.
Dansk Datamatik Center .
In Benkt Wangler and Per Lundin, editors, History of Nordic Computing, Stockholm, Sweden, 18-20 October 2010. Springer. Paper.
21: Dines Bjørner.
Domain Science & Engineering - From Computer Science to The Sciences of Informatics, Part I of II: The Engineering Part .
Kibernetika i sistemny analiz, (4):100-116, May 2010.
Paper.
22: Dines Bjørner.
Domain Science & Engineering - From Computer Science to The Sciences of Informatics Part II of II: The Science Part .
Kibernetika i sistemny analiz, (2):100-120, May 2011.
Paper.
23: Dines Bjørner.
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.
Recent rewritten version see Item 6. Paper.
24: Dines Bjørner.
Chinese: Software Engineering, Vol. 1: Abstraction and Modelling .
Qinghua University Press. Translated by Dr Liu Bo Chao et al., 2010.
25: Dines Bjørner.
Chinese: Software Engineering, Vol. 2: Specification of Systems and Languages .
Qinghua University Press. Translated by Dr Liu Bo Chao et al., 2010.
26: Dines Bjørner.
Chinese: Software Engineering, Vol. 3: Domains, Requirements and Software Design .
Qinghua University Press. Translated by Dr Liu Bo Chao et al., 2010.
27: Dines Bjørner.
On Development of Web-based Software:
A Divertimento of Ideas and Suggestions
Technical report, Technical University of Vienna, May 2010. I wrote this report as my response to the work of a colleague at TUV.
I simply could not understand that work,
and I was not quite sure whether the described language cum system had a semantics.
Also the "interpretation" of the (two phase-commit) transaction protocol seemed problematic.
So in this technical report I present, probably for the first time,
a formal description of that famous protocol.
This technical report also gives formal specifications of Window systems,
and a rather free-wheeling (but still precise) form of SQL-like relational data bases.
28: Dines Bjørner.
The Tokyo Stock Exchange Trading Rules .
R and D Experiment, Fredsvej 11, DK-2840 Holte, Denmark, January and February, 2010.

Version 1, 78 pages: many auxiliary appendices.
Version 2, 23 pages: omits many appendices and corrects some errors..
29: Dines Bjørner.
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.
See also (includes formulas).
30: Dines Bjørner.
Domain Engineering: Technology Management, Research and Engineering .
A JAIST Press Research Monograph #4, 536 pages, March 2009.
Book,
31: Dines Bjørner.
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.
32: Dines Bjørner.
The Role 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.
33: Dines Bjørner.
An Emerging Domain Science - A Rôle for Stanis $\bgroup\color{blue}\l\egroup$ aw Lesniewski's Mereology
and Bertrand Russell's Philosophy of Logical Atomism .
Paper.
34: Dines Bjørner.
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).
Paper.
35: Dines Bjørner.
What is Logistics ? A Domain Analysis.
Techn. report, Incomplete Draft, Fredsvej 11, DK-2840 Holte, Denmark, June 2009.
36: Dines Bjørner.
A Domain Model of Oil Pipelines.
Techn. report, Incomplete Draft, Fredsvej 11, DK-2840 Holte, Denmark, June 2009.
37: Dines Bjørner.
Software Engineering, Vol. 1: Abstraction and Modelling .
Qinghua University Press, 2008.
38: Dines Bjørner.
Software Engineering, Vol. 2: Specification of Systems and Languages .
Qinghua University Press, 2008.
39: Dines Bjørner.
Software Engineering, Vol. 3: Domains, Requirements and Software Design .
Qinghua University Press, 2008.
40: Dines Bjørner.
Believable Software Management .
Encyclopedia of Software Engineering, 1(1):1-32, 2011.
Paper.
41: Dines Bjørner.
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.
Paper.
42: Dines Bjørner and Asger Eir.
Compositionality: Ontology and Mereology of Domains. Some Clarifying Observations in the Context of Software Engineering in July 2008, eds. Martin Steffen, Dennis Dams and Ulrich Hannemann .
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.
Paper.
43: Dines Bjørner.
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.
Final Version.
44: Dines Bjørner.
Software Engineering: A Triptych Approach.
Internet, Summer 2008.
610 pages.
Slightly incomplete draft version..
45: Dines Bjørner.
Domain Engineering.
Internet, Summer 2008.
469 pages.
Slightly incomplete draft version..
46: Dines Bjørner.
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.
Paper.
47: Dines Bjørner.
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.
48: Dines Bjørner and Martin C. Henson, editor.
Logics of Specification Languages.
EATCS Series, Monograph in Theoretical Computer Science. Springer, Heidelberg, Germany, 2008.
49: Dines Bjørner.
A Container Line Industry Domain.
Techn. report, Fredsvej 11, DK-2840 Holte, Denmark, June 2007.
Extensive Draft.
50: Dines Bjørner.
Software Engineering, Vol. 1: Abstraction and Modelling .
Texts in Theoretical Computer Science, the EATCS Series. Springer, 2006.
See [37,24].
51: Dines Bjørner.
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 [38,25].
52: Dines Bjørner.
Software Engineering, Vol. 3: Domains, Requirements and Software Design .
Texts in Theoretical Computer Science, the EATCS Series. Springer, 2006.
See [39,26].
53: Dines Bjørner.
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.
54: Dines Bjørner.
[30] On Domains and On Domain Engineering - Prerequisites for Trustworthy Software - A Necessity for Believable Management, pages 3-38.
JAIST Press, Chap.1, March 2009.
55: Dines Bjørner.
[30] Chap. 2: Possible Collaborative Domain Projects - A Management Brief, pages 39-56.
JAIST Press, Chap.2, March 2009.
56: Dines Bjørner.
[30] The Rôle of Domain Engineering in Software Development, pages 57-72.
JAIST Press, Chap.3, March 2009.
57: Dines Bjørner.
[30] Verified Software for Ubiquitous Computing - A VSTTE Ubiquitous Computing Project Proposal, pages 73-106.
JAIST Press, Chap.4, March 2009.
58: Dines Bjørner.
[30] The Triptych Process Model - Process Assessment and Improvement, pages 107-138.
JAIST Press, Chap.5, March 2009.
59: Dines Bjørner.
[30] Domains and Problem Frames - The Triptych Dogma and M.A.Jackson's PF Paradigm, pages 139-175.
JAIST Press, Chap.6, March 2009.
60: Dines Bjørner.
[30] Documents - A Rough Sketch Domain Analysis, pages 179-200.
JAIST Press, Chap.7, March 2009.
61: Dines Bjørner.
[30] Public Government - A Rough Sketch Domain Analysis, pages 201-222.
JAIST Press, March 2009.
JAIST Press, Chap.8, March 2009.
62: Dines Bjørner.
[30] 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.
JAIST Press, Chap.9, March 2009.
63: Dines Bjørner.
[30] Towards a Family of Script Languages - - Licenses and Contracts - Incomplete Sketch, pages 283-328.
JAIST Press, Chap.10, March 2009.
64: Shaofa Yang and Dines Bjørner.
A Formal Specification of CTP: Communicating Transaction Processes.
Technical report, School of Computing, National University of Singapore, Science Drive 2, Singapore, June 2005.
Slide presentation: BCS, 19 Dec. 2005, London.
65: Dines Bjørner.
A Cloverleaf of Software Engineering .
In Bernhard Aichernig and Bernhard Beckert, editor, SEFM2005, IEEE International Conference on Software Engineering and Formal Methods, September 5-9, 2005.
Pages 75-84. Final Version.
66: Dines Bjørner, Chris W. George, Anne Eliabeth 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.
Final Version.
67: Dines Bjørner and Martin Penicka.
Towards a TRain Book , a compendium.
August 5, 2004, 122 pages
68: Dines Bjørner.
The Grand Challenge - FAQs of the R&D of a Railway Domain Theory .
In Building the Information Society, IFIP World Computer Congress,
Topical Days: TRain: The Railway Domain. 22-27 August, 2004,
Toulouse, France -- Ed. René Jacquart. Amsterdam, The Netherlands, 2004. Kluwer Academic Press.
69: 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é Jacquart,
pages 607-611. Amsterdam, Kluwer Academic Publishers, August 2004.
A Foreword.
70: 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,
Topical Sessions, 22-27 August, 2004, Toulouse, France -- Ed. René Jacquart,
pages 629-636. Kluwer Academic Publishers, August 2004.
71: Dines Bjørner.
Towards a Formal Model of CyberRail .
In Building the Information Society, IFIP 18th World Computer Congress,
Topical Sessions, 22-27 August, 2004, Toulouse, France -- Ed. René Jacquart,
pages 657-664. Amsterdam, Kluwer Academic Publishers, August 2004.
Original report also listed some of DB's students as co-authors.
Paper.
72: 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.
Slide presentation.
73: 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. Final version.
74: 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. Final version.
75: 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. Final version.
76: 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. Final draft version.
77: 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.
Extended version.
78: 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.
Paper.
79: 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.
Paper.
80: 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. Final version.
81: 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.
Final draft version.
82: 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.
Paper.
83: 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.
84: Dines Bjørner.
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.
85: 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.
Paper.
86: 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
87: 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. Papers [87,88,89] are "near identical"
88: 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.
89: 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.
90: 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.
Paper
91: 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.
Paper
92: 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.
Paper
93: 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.
Paper
94: 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.
95: 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.
Paper
96: 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.
97: 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.
98: 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.
99: Dines Bjørner.
Formal Methods in the 21'st Century. An Assessment of Today -- Predictions for the Future.
In ICSE'98 Panel Discussions, Kyoto, Japan, April 1998.
Panel paper
100: 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
101: 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. Paper
102: Dines Bjørner.
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.
Final Version.
103: Dines Bjørner, Chris W. George, and Søren Prehn.
Scheduling and Rescheduling of Trains , chapter 8, pages 157-184. Paper.
Industrial Strength Formal Methods in Practice, Eds.: Michael G. Hinchey and Jonathan P. Bowen. FACIT, Springer-Verlag, London, England, 1999.
104: 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.
105: 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.
106: Dines Bjørner.
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. . Incomplete Draft
107: Dines Bjørner.
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.
108: Dines Bjørner.
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. .
109: P.A.V. Hall, Dines Bjørner, and Z. Mikolajuk.
Decision Support Systems for Sustainable Development: Experience and Potential -- a Position Paper.
Technical Report 80, UNU/IIST, P.O.Box 3058, Macau, August 1996. Report
110: Dines Bjørner and M. Stuart.
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.
111: 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, Berlin.
112: J. Goossenaerts and D. Bjørner.
Interflow systems for manufacturing: concepts and a construction.
Ladet et al. (eds.): Integrated Manufacturing Systems Engineering.
Springer Science+Business Media Dordrecht, pp 160-173, 1995
113: 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.
114: 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 .
115: 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.
116: Dines Bjørner.
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.
117: 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.
118: Dines Bjørner, Yu Lin Dong, and Søren 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.
119: 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.
120: 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.
121: Dines Bjørner.
UNU/IIST Annual Report: 1994.
Research Report 22, UNU/IIST, P.O.Box 3058, Macau, January 1995.
122: 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.
123: 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.
124: 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.
125: Dines Bjørner.
UNU/IIST Annual Report: 1993.
Administrative Report 18, UNU/IIST, P.O.Box 3058, Macau, January 1994.
126: 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.
127: Dines Bjørner.
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.
128: Dines Bjørner, Anne Elisabeth Haxthausen, and Klaus Havelund.
Formal, Model-oriented Software Development Methods: From VDM to ProCoS, and from RAISE to LaCoS .
Future Generation Computer Systems, 1992.
129: Dines Bjørner and Jørgen Fischer 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.
130: 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.
131: Dines Bjørner.
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.
132: Dines Bjørner.
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.
133: 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.
134: Dines Bjørner.
Formal Specification is an Experimental Science (in English) .
In Intl. Conf. on Perspectives of System Informatics, 17-21 May 1991.
135: Dines Bjørner.
Formal Specification is an Experimental Science (in Russian) .
Programmirovanie, 6:24-43, 1991.
136: 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, Berlin.
137: Jan Barzdin and Dines Bjørner, editors.
Baltic Computer Science, volume 502 of Lecture Notes in Computer Science.
Springer-Verlag, Heidelberg, Germany, 1991.
138: 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.
139: 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.
140: Dines Bjørner and Larry M. Druffel.
Industrial Experience in using Formal Methods .
In Intl. Conf. on Software Engineering, pages 264-266. IEEE Computer Society Press, 1990.
141: D. Bjørner, C.A.R. Hoare, and H. Langmaack, editors.
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.
142: 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.
143: 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.
144: 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.
145: Dines Bjørner.
Facets of Software Development: Computer Science & Programming, Engineering & Management .
J. of Comput. Sci. & Techn., 4(3):193-203, 1989.
146: Dines Bjørner, Andrei Petrovich Ershov, and Neil Deaton Jones, editors.
Partial Evaluation and Mixed Computation. Proceedings of the IFIP TC2 Workshop, Gammel Avernæs, Denmark, October 1987.
North-Holland, 1988.
625 pages.
147: A.P. Ershov, D. 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, 1988.
148: 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.
149: 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.
150: 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.
151: 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. Invited keynote.
152: Dines Bjørner.
The Stepwise Development of Software Development Graphs: Meta-Programming VDM Developments .
In See [153], volume 252 of Lecture Notes in Computer Science, pages 77-96. Springer-Verlag, Heidelberg, Germany, March 1987.
153: Dines Bjørner, Cliff B. Jones, Micheal Mac an Airchinnigh, and Erich J. Neuhold, editors.
VDM - A Formal Method at Work . Proc. VDM-Europe Symposium 1987, Brussels, Belgium, Springer, Lecture Notes in Computer Science, Vol. 252, March 1987.
154: D. Bjørner.
Software architectures and programming systems design. vols. i-vi.
Techn. Univ. of Denmark, 1983-1987.
155: Dines Bjørner.
Software Engineering and Programming: Past-Present-Future .
IPSJ: Inform. Proc. Soc. of Japan, 8(4):265-270, 1986.
156: 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.
157: 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.
158: Dines Bjørner and Mogens Nielsen.
Meta Programs and Project Graphs .
In ETW: Esprit Technical Week, pages 479-491. Elsevier, May 1985.
159: Dines Bjørner and Søren Prehn.
Software Engineering Aspects of VDM .
In D. Ferrari, editor, Theory and Practice of Software Technology. North-Holland Publ.Co., Amsterdam, 1983.
160: Dines Bjørner.
Realization of Database Management Systems .
In See [165], chapter 13, pages 443-456. Prentice-Hall, 1982.
161: Dines Bjørner.
Rigorous Development of Interpreters and Compilers .
In See [165], chapter 9, pages 271-320. Prentice-Hall, 1982.
162: Dines Bjørner.
Stepwise Transformation of Software Architectures .
In See [165], chapter 11, pages 353-378. Prentice-Hall, 1982.
163: Dines Bjørner and Hans Henrik Løvengreen.
Formal Semantics of Data Bases .
In 8th Int'l. Very Large Data Base Conf., Mexico City, Sept. 8-10 1982.
164: Dines Bjørner and Hans Henrik Løvengreen.
Formalization of Data Models .
In Formal Specification and Software Development, [165], chapter 12, pages 379-442. Prentice-Hall, 1982.
165: Dines Bjørner and Cliff B. Jones, editors.
Formal Specification and Software Development .
Prentice-Hall, 1982.
166: Dines Bjørner, editor.
Formal Description of Programming Concepts (II).
IFIP TC-2 Work.Conf., Garmisch-Partkirschen, North-Holland Publ.Co., Amsterdam, 1982.
167: 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.
168: Preben 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.
169: Hans Henrik Løvengreen and Dines Bjørner.
On a formal model of the tasking concepts in Ada.
In ACM SIGPLAN Ada Symp., Boston, 1980.
170: Dines Bjørner and Ole N. Oest.
The DDC Ada Compiler Development Project .
In Dines Bjørner and Ole N. Oest, editors, Towards a Formal Description of Ada, [176], volume 98 of Lecture Notes in Computer Science, pages 1-19. Springer-Verlag, 1980.
171: Dines Bjørner.
Formalization of Data Base Models .
In Dines Bjørner, editor, Abstract Software Specification, [175], volume 86 of Lecture Notes in Computer Science, pages 144-215. Springer-Verlag, 1980.
172: 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.
173: Dines Bjørner.
Application of Formal Models .
In Data Bases. INFOTECH Proceedings, October 1980.
174: Dines Bjørner.
Experiments in Block-Structured GOTO-Modelling: Exits vs. Continuations .
In Dines Bjørner, editor, Abstract Software Specification, [175], volume 86 of Lecture Notes in Computer Science, pages 216-247. Springer-Verlag, 1980.
175: Dines Bjørner, editor.
Abstract Software Specifications, volume 86 of Lecture Notes in Computer Science.
Springer, 1980.
176: Dines Bjørner and Ole N. Oest, editors.
Towards a Formal Description of Ada , volume 98 of Lecture Notes in Computer Science.
Springer, 1980.
177: Dines Bjørner.
Programming in the Meta-Language: A Tutorial .
In Dines Bjørner and Cliff B. Jones, editors, The Vienna Development Method: The Meta-Language, [181], Lecture Notes in Computer Science, pages 24-217. Springer-Verlag, 1978.
178: Dines Bjørner.
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, [181], Lecture Notes in Computer Science, pages 337-374. Springer-Verlag, 1978.
179: 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.
180: 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.
181: Dines Bjørner and Cliff B. Jones, editors.
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.
182: Dines Bjørner.
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.
183: Dines Bjørner.
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.
184: 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, Vienna, Austria, 20 September 1974.
185: 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.
186: Dines Bjørner.
Finite State Tree Computations (Part I) .
Research Rept. RJ-1053, IBM Research, San Joé, Calf., June 1972.
187: 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.
188: 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.
189: Dines Bjørner.
Register Transfer and Transformation Machines .
In HICSS (Hawaii Int'l. Conf. Sys. Sci.), pages 61-63, January 1970.
190: Dines Bjørner.
Folded Syntax- and Recursive Flowchart-Machines .
In HICSS (Hawaii Int'l. Conf. Sys. Sci.), pages 415-453, January 1970.
191: Dines Bjørner.
Flowchart-Machines .
BIT, 10(4):415-442, 1970.
192: 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.
193: Dines Bjørner.
A Flow Mode, Self-Steering, Cellular Multiplier-Summation Processor .
BIT, 10(2):125-14, 1970.
194: Dines Bjørner, editor.
Data Description & Access. 1st ACM SICFIDET Workshop, Houston, Texas, 15-16 November 1970.
Assoc.f.Comp.Mach., N.Y., USA.
195: Dines Bjørner.
The Theory of Finite State Syntax Directed Transductions .
PhD thesis, Dept. of Comp. Sci., Techn. Univ. of Denmark, January 1969.

Dines Bjorner 2017-05-09