Publication List

[] 2026:

1

Domain Modeling – A Primer [1]. This is my prime[r]"y" ( ! ) undertaking. See also [1.a] and [1.b]. I/we hope to convince a publisher to publish it ! [Not contacted yet !]. Currently in a final stage.

1.a

DB and Mikhail Chupilko, Translation of [1]. To be submitted [2026/2027]

1.b

DB and Yang ShaoFa, Translation of [1]. To be submitted [2026/2207]

2

Wolt – A $DOMAIN$ Decription 2026, exploratory research, August, Incomplete draft.

3

Domains: Ontologies and Taxonomies: $2^+N$ , Submitted

4

The ProCoS Experience , Jonathan Bowen, Martin Fänzle, Dines Bjørner, etc., Formal Aspects of Computing [ACM], 2026

5

The $DOMAIN$ Method 2026, exploratory research, March, submitted.

9

DDL: A Domain Analysis & Description Language . An emerging, informal [incomplete draft] presentation of DDL.

10

An Informatics Lexicon. An attempt to collect and describe the terms of my science.

8

Formal Methods: My 50+ Years as an Engineer, Researcher and Scientist , Formal Aspects of Computing [ACM],vol. 38, no. 3, pages 1–19, 2026.

9

A Domain Analysis & Description Language
Torso: An emerging, informal presentation of DDL.

10

An Informatics Lexicon.
An attempt to collect and describe the terms of my science.

[] 2025:

11

Reflections.
An attempt to review and “evaluate” some aspects of my professional “career” !

12

Domain Analysis and Description – A Tutorial [Paper]. ICTAC 2025 Proceedings, Springer LNCS 16237.

13

Domain Analysis and Descrpition – A Tutorial [Slides]. Alides for the turial presentation at ICTAC 2025, Marrakesh, Maroccos, 24-28 No., 2025

14

Formal Methods – My 50+ Years as an Engineer, Researcher and Scientist Paper expected accepted for a special issue of FAC: Formal Apects of Computing, 2026. Revised version of [18].

15

Banking – A Domain Description . Exploratory engineering report, some 200++ pages !

16

Transport – A Domain Description . Exploratory engineering report, some 150+ pages ! Rewrite of [20].

17

Domain Analysis & Description . Paper, 39 pages; basis for shorter [12].

[] 2024:

18

Formal Methods: My 50 Years of Work. Invited paper for the Working Formal Methods conference, Sept. 2024, Timisoara, Romania. Presentation cancelled due to my illness.

19

AMoL: A Domain Modeling Language.
Just some notes: trying to clear my thoughts ! Not intended for “paper” publication. Being worked on Summer/Fall 2024.

20

The Prototype Modeling of a Road Transport Domain. A Domain Engineering Exercise . An exercise. Not intended for “paper” publication. Being worked on Summer/Fall 2024. See [16].

21

Double-entry Bookkeeping.
My current “pass time” ! Being worked on Spring/Summer/... 2024. Not intended for “paper” publication: passtie !

22

Domain Modelling: The Paper .
My most recent paper. pages. To be submitted.

23

Domain Modelling: The Lecture Slides .
152 Slides for [22].

24

Domain Models – A Compendium .
A compendium of 19 domain descriptions for the last 20 years. x+606 pages.
Available only over the Internet.

25

Dines Bjørner. The 0'th PEPM Event: October 1987 – and Andrei Petrovich Ershov: 1977-1988 ACM PEPM'24 Proceedings. Eds.: Gabrielle Keller and Meng Wang.

26

Dines Bjørner [with Yang ShaoFa]. Domain Modelling – A Primer , xii+207 pages, draft. January 2024.

[] 2023:

27

Dines Bjørner. Double-entry Bookkeeping ,
An incomplete draft. 23 pages. August 2023

28

Dines Bjørner. Informatics – a beginner's guide, Summer/Fall 2023, Vastly incomplete draft, 335 pages. Expected “finished” Summer 2025 !

29

The Structure of Pure Reason, xvi+132 pages; April 2023.

30

Domain Modelling – A Foundation for Software Development , in Theories of Programming and Formal Methods: Essays Dedicated to Jifeng He on the Occasion of His 80th Birthday, Springer LNCS, Sept. 2023,

31

Dines Bjørner. Domain Science & Engineering – A Foundation for Software Development. Revised edition of [39]. xii+346 pages, January 2023.

[] 2022:

32

Dines Bjørner. Kai Sørlanders Philosophy.
Technical University of Denmark, Fredsvej 11, DK-2840 Holte, Denmark
Fall 2022
Chapter 2 of [31].

33

Dines Bjørner. Domain Modelling
Technical University of Denmark, Fredsvej 11, DK-2840 Holte, Denmark
Fall 2022
Chapter 3 and Appendix B of [31].

34

Dines Bjørner. Pipelines – A Domain Descrption
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

35

Dines Bjørner.
Kai Sørlander's Philosophy – An Interpretation/Translation.
Technical University of Denmark, Fredsvej 11, DK-2840 Holte, Denmark.
September 2022

36

Dines Bjørner.
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

37

Dines Bjørner.
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

38

Dines Bjørner.
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:

39

Dines Bjørner.
Domain Science & Engineering – A Foundation for Software Development
Springer.
The EATCS Series: Monographs in Theoretical Computer Science.
2021. Click.

40

Dines Bjørner.
Automobile Assembly Plants.
Click
Technical University of Denmark,
Fredsvej 11, DK-2840 Holte, Denmark,
Technical Report,
Summer, 2021

41

Dines Bjørner.
Shipping. Click,
Technical University of Denmark,
Fredsvej 11, DK-2840 Holte, Denmark.
Technical Report,
April, 2021.

42

Dines Bjørner.
A Graph Domain: Endurants. Click,
Technical University of Denmark,
Fredsvej 11, DK-2840 Holte, Denmark.
Technical Report,
Febrary, 2021

43

Dines Bjørner.
Rivers and Canals. Click,
Technical University of Denmark,
Fredsvej 11, DK-2840 Holte, Denmark.
Technical Report,
March, 2021.

44

Dines Bjørner.
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:

45

Dines Bjørner.
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.

46

Dines Bjørner.
A Compendium of 7 papers and 7 Case Studiers
Technical Report, November 2019, 535 pages Click.

47

Dines Bjørner.
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.

48

Dines Bjørner.
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.

49

Dines Bjørner and Klaus Havelund.
45 Years of Formal Methods.
Technical report, Technical University of Denmark, Fredsvej 11, DK-2840 Holte, Denmark, September 2019. Click.

50

Dines Bjørner.
Domain Analysis & Description – Principles, Techniques and Modelling Languages.
ACM Trans. on Software Engineering and Methodology, 28(2), April 2019. Click.

51

Dines Bjørner.
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.

52

Dines Bjørner.
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.

53

Dines Bjørner.
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.

54

Dines Bjørner.
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.

55

Dines Bjørner.
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 [73]. Click.

56

Dines Bjørner.
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 [100]Click.

57

Dines Bjørner.
Domain Facets: Analysis & Description.
Technical report, Technical University of Denmark, Fredsvej 11, DK-2840 Holte, Denmark, May 2018.
Extensive revision of [82]. Click.

58

Dines Bjørner.
Domain Science & Engineering – A Compendium.
Technical report, Technical University of Denmark, Fredsvej 11, DK-2840 Holte, Denmark, June 2018.
A collection of [68,57,55,54,56,59,51].

59

Dines Bjørner.
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 [60]. Click.

60

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

61

Dines Bjørner.
Container Terminals.
Technical report, Technical University of Denmark, Fredsvej 11, DK-2840 Holte, Denmark, September 2018.
An incomplete draft report; currently 60+ pages.Click.

62

Dines Bjørner.
A Space of Swarms of Drones.
Research Note, Technical University of Denmark, Fredsvej 11, DK-2840 Holte, Denmark, December 2017. Click.

63

Dines Bjørner.
Urban Planning Processes.
Research Note, Technical University of Denmark, Fredsvej 11, DK-2840 Holte, Denmark, July 2017. Click.

64

Dines Bjørner.
What are Documents ?
Research Note, Technical University of Denmark, Fredsvej 11, DK-2840 Holte, Denmark, July 2017. Click.

65

Dines Bjørner.
Weather Information Systems: Towards a Domain Description.
Technical Report: Experimental Research, Technical University of Denmark, Fredsvej 11, DK-2840 Holte, Denmark, November 2016. Click.

66

Dines Bjørner.
A Credit Card System: Uppsala Draft.
Technical Report: Experimental Research, Technical University of Denmark, Fredsvej 11, DK-2840 Holte, Denmark, November 2016. Click.

67

Dines Bjørner.
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.

68

Dines Bjørner.
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.

69

Dines Bjørner.
Manifest Domains: Analysis & Description.
Formal Aspects of Computing, 29(2):175–225, Online: July 2016. Click.

70

Dines Bjørner.
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.

71

Dines Bjørner.
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.

72

Dines Bjørner and Klaus Havelund.
40 Years of Formal Methods — 10 Obstacles and 3 Possibilities.
In FM 2014, Singapore, May 14-16, 2014. Springer, 2014.
Distinguished Lecture. Click.

73

Dines Bjørner.
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.

74

Dines Bjørner.
Pipelines – a Domain.
Experimental Research Report 2013-2, DTU Compute and Fredsvej 11, DK-2840 Holte, Denmark, Spring 2013. Click.

75

Dines Bjørner.
Documents – a Domain Description.
Experimental Research Report 2013-3, DTU Compute and Fredsvej 11, DK-2840 Holte, Denmark, Spring 2013.

76

Dines Bjørner.
Road Transportation – a Domain Description.
Experimental Research Report 2013-4, DTU Compute and Fredsvej 11, DK-2840 Holte, Denmark, Spring 2013. Click.

77

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

78

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, May 2014.

79

Dines Bjørner, Chr. Gram, 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.

80

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, 2(4):100–116, May 2010.

81

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(3):100–120, June 2011.

82

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.

83

Dines Bjørner.
Chinese: Software Engineering, Vol. 1: Abstraction and Modelling.
Qinghua University Press. Translated by Dr Liu Bo Chao et al., 2010.

84

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.

85

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.

86

Dines Bjørner.
On Development of Web-based Software: A Divertimento of Ideas and Suggestions.
Technical, Technical University of Vienna, August–October 2010. Click.

87

Dines Bjørner.
The Tokyo Stock Exchange Trading Rules.
R&D Experiment, Techn. Univ. of Denmark, Fredsvej 11, DK-2840 Holte, Denmark, 2010. Click.

88

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.

89

Dines Bjørner.
Domain Engineering: Technology Management, Research and Engineering.
A JAIST Press Research Monograph # 4, 536 pages, March 2009.

90

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

91

Dines Bjørner.
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.

92

Dines Bjørner.
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.

93

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). Click!.

94

Dines Bjørner.
What is Logistics ? A Domain Analysis.
Techn. report, Incomplete Draft, Fredsvej 11, DK-2840 Holte, Denmark, June 2009.

95

Dines Bjørner.
A Domain Model of Oil Pipelines.
Techn. report, Incomplete Draft, Fredsvej 11, DK-2840 Holte, Denmark, June 2009.

96

Dines Bjørner.
Software Engineering, Vol. 1: Abstraction and Modelling.
Qinghua University Press, 2008.

97

Dines Bjørner.
Software Engineering, Vol. 2: Specification of Systems and Languages.
Qinghua University Press, 2008.

98

Dines Bjørner.
Software Engineering, Vol. 3: Domains, Requirements and Software Design.
Qinghua University Press, 2008.

99

Dines Bjørner.
Believable Software Management.
Encyclopedia of Software Engineering, 1(1):1–32, 2011.

100

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

101

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.

102

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

103

Dines Bjørner.
Software Engineering: A Triptych Approach.
Internet, Summer 2008.
610 pages. Slightly incomplete draft version..

104

Dines Bjørner.
Domain Engineering.
Internet, Summer 2008.
469 pages. Slightly incomplete draft version..

105

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.

106

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

107

Dines Bjørner and Martin C. Henson, editor.
Logics of Specification Languages.
EATCS Series, Monograph in Theoretical Computer Science. Springer, Heidelberg, Germany, 2008.

108

Dines Bjørner.
A Container Line Industry Domain.
Techn. report, Technical University of Denmark, Fredsvej 11, DK-2840 Holte, Denmark, June 2007.
Click.

109

Dines Bjørner.
Software Engineering, Vol. 1: Abstraction and Modelling.
Texts in Theoretical Computer Science, the EATCS Series. Springer, 2006.
See [96,83].

110

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 [97,84].

111

Dines Bjørner.
Software Engineering, Vol. 3: Domains, Requirements and Software Design.
Texts in Theoretical Computer Science, the EATCS Series. Springer, 2006.
See [98,85].

112

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.

113

Dines Bjørner.
[89] Chap. 1: On Domains and On Domain Engineering – Prerequisites for Trustworthy Software – A Necessity for Believable Management, pages 3–38.
JAIST Press, March 2009.

114

Dines Bjørner.
[89] Chap. 2: Possible Collaborative Domain Projects – A Management Brief, pages 39–56.
JAIST Press, March 2009.

115

Dines Bjørner.
[89] Chap. 3: The Rôle of Domain Engineering in Software Development, pages 57–72.
JAIST Press, March 2009.

116

Dines Bjørner.
[89] Chap. 4: Verified Software for Ubiquitous Computing – A VSTTE Ubiquitous Computing Project Proposal, pages 73–106.
JAIST Press, March 2009.

117

Dines Bjørner.
[89] Chap. 5: The Triptych Process Model – Process Assessment and Improvement, pages 107–138.
JAIST Press, March 2009.

118

Dines Bjørner.
[89] Chap. 6: Domains and Problem Frames – The Triptych Dogma and M.A.Jackson's PF Paradigm, pages 139–175.
JAIST Press, March 2009.

119

Dines Bjørner.
[89] Chap. 7: Documents – A Rough Sketch Domain Analysis, pages 179–200.
JAIST Press, March 2009.

120

Dines Bjørner.
[89] Chap. 8: Public Government – A Rough Sketch Domain Analysis, pages 201–222.
JAIST Press, March 2009.

121

Dines Bjørner.
[89] 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.

122

Dines Bjørner.
[89] Chap. 10: Towards a Family of Script Languages – – Licenses and Contracts – Incomplete Sketch, pages 283–328.
JAIST Press, March 2009.

123

Shaofa Yang and Dines Bjørner.
A Formal Specification of CTP: Communicating Transaction Processes.
Technical report, School of Computing, National University of Singapore, June 2005.

124

Dines Bjørner.
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.

125

Dines Bjørner, Chris W. George, Anne Eliabeth Haxthausen, Christian Krog Madsen, Steffen Holmslykke, and Martin Pěnička.
"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.
.

126

Dines Bjørner.
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.

127

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.

128

Martin Pěnička 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éne Jacquart, pages 629–636. Kluwer Academic Publishers, August 2004.

129

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.

130

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.

131

Albena Kirilova Strupchanska, Martin Pěnička, 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. Click.

132

Martin Pěnička, 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. Click.

133

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

134

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

135

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

136

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.

137

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.

138

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

139

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

140

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.

141

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.

142

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.

143

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.

144

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.

145

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.

146

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.

147

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.

148

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.

149

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.

150

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.

151

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.

152

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.

153

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.

154

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 FME Rail Workshop on Formal Methods in Railway Systems, FM'99 World Congress on Formal Methods, Toulouse, France. Avaliable on CD ROM.

155

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 FME Rail Workshop on Formal Methods in Railway Systems, FM'99 World Congress on Formal Methods, Toulouse, France. Avaliable on CD ROM.

156

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.

157

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.

158

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.

159

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.

160

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.

161

Dines Bjørner, Chris W. George, and Søren 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.

162

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.

163

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.

164

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

165

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.

166

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

167

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.

168

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.

169

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.

170

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.

171

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 .

172

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.

173

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.

174

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.

175

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.

176

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.

177

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.

178

Dines Bjørner.
UNU/IIST Annual Report: 1994.
Research Report 22, UNU/IIST, P.O.Box 3058, Macau, January 1995.

179

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.

180

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.

181

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.

182

Dines Bjørner.
UNU/IIST Annual Report: 1993.
Administrative Report 18, UNU/IIST, P.O.Box 3058, Macau, January 1994.

183

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.

184

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.

185

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.

186

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.

187

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.

188

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.

189

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.

190

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.

191

Dines Bjørner.
Formal Specification is an Experimental Science (in English).
In Intl. Conf. on Perspectives of System Informatics, 17–21 May 1991.

192

Dines Bjørner.
Formal Specification is an Experimental Science (in Russian).
Programmirovanie, 6:24–43, 1991.

193

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.

194

Jan Barzdin and Dines Bjørner, editors.
Baltic Computer Science, volume 502 of Lecture Notes in Computer Science.
Springer-Verlag, Heidelberg, Germany, 1991.

195

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.

196

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.

197

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.

198

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.

199

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.

200

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.

201

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.

202

Dines Bjørner.
Facets of Software Development: Computer Science & Programming, Engineering & Management.
J. of Comput. Sci. & Techn., 4(3):193–203, 1989.

203

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.

204

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

205

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.

206

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.

207

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.

208

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.

209

Dines Bjørner.
The Stepwise Development of Software Development Graphs: Meta-Programming VDM Developments.
In See [210], volume 252 of Lecture Notes in Computer Science, pages 77–96. Springer-Verlag, Heidelberg, Germany, March 1987.

210

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.

211

D. Bjørner.
Software architectures and programming systems design. vols. i-vi.
Techn. Univ. of Denmark, 1983-1987.

212

Dines Bjørner.
Software Engineering and Programming: Past-Present-Future.
IPSJ: Inform. Proc. Soc. of Japan, 8(4):265–270, 1986.

213

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.

214

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.

215

Dines Bjørner and Mogens Nielsen.
Meta Programs and Project Graphs.
In ETW: Esprit Technical Week, pages 479–491. Elsevier, May 1985.

216

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.

217

Dines Bjørner.
Realization of Database Management Systems.
In See [222], chapter 13, pages 443–456. Prentice-Hall, 1982.

218

Dines Bjørner.
Rigorous Development of Interpreters and Compilers.
In See [222], chapter 9, pages 271–320. Prentice-Hall, 1982.

219

Dines Bjørner.
Stepwise Transformation of Software Architectures.
In See [222], chapter 11, pages 353–378. Prentice-Hall, 1982.

220

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.

221

Dines Bjørner and Hans Henrik Løvengreen.
Formalization of Data Models.
In Formal Specification and Software Development, [222], chapter 12, pages 379–442. Prentice-Hall, 1982.

222

Dines Bjørner and Cliff B. Jones, editors.
Formal Specification and Software Development.
Prentice-Hall, 1982.

223

Dines Bjørner, editor.
Formal Description of Programming Concepts (II).
IFIP TC-2 Work.Conf., Garmisch-Partenkirschen, North-Holland Publ.Co., Amsterdam, 1982.

224

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.

225

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.

226

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.

227

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, [233], volume 98 of Lecture Notes in Computer Science, pages 1–19. Springer–Verlag, 1980.

228

Dines Bjørner.
Formalization of Data Base Models.
In Dines Bjørner, editor, Abstract Software Specification, [232], volume 86 of Lecture Notes in Computer Science, pages 144–215. Springer–Verlag, 1980.

229

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.

230

Dines Bjørner.
Application of Formal Models.
In Data Bases. INFOTECH Proceedings, October 1980.

231

Dines Bjørner.
Experiments in Block-Structured GOTO-Modelling: Exits vs. Continuations.
In Dines Bjørner, editor, Abstract Software Specification, [232], volume 86 of Lecture Notes in Computer Science, pages 216–247. Springer–Verlag, 1980.

232

Dines Bjørner, editor.
Abstract Software Specifications, volume 86 of Lecture Notes in Computer Science.
Springer, 1980.

233

Dines Bjørner and Ole N. Oest, editors.
Towards a Formal Description of Ada, volume 98 of Lecture Notes in Computer Science.
Springer, 1980.

234

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, [238], Lecture Notes in Computer Science, pages 24–217. Springer–Verlag, 1978.

235

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, [238], Lecture Notes in Computer Science, pages 337–374. Springer–Verlag, 1978.

236

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.

237

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.

238

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.

239

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.

240

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.

241

Hans Bekič, 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.

242

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

243

Dines Bjørner.
Finite State Tree Computations (Part I).
Research Rept. RJ-1053, IBM Research, San José, Calf., June 1972.

244

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.

245

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.

246

Dines Bjørner.
Register Transfer and Transformation Machines.
In HICSS (Hawaii Int'l. Conf. Sys. Sci.), pages 61–63, January 1970.

247

Dines Bjørner.
Folded Syntax- and Recursive Flowchart-Machines.
In HICSS (Hawaii Int'l. Conf. Sys. Sci.), pages 415–453, January 1970.

248

Dines Bjørner.
Flowchart-Machines.
BIT, 10(4):415–442, 1970.

249

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.

250

Dines Bjørner.
A Flow Mode, Self-Steering, Cellular Multiplier-Summation Processor.
BIT, 10(2):125–14, 1970.

251

Dines Bjørner, editor.
Data Description & Access. 1st ACM SICFIDET Workshop, Assoc.f.Comp.Mach., N.Y., USA, 15–16 November 1970.

252

Dines Bjørner.
A Theory of Finite State Syntax Directed Transductions.
PhD thesis, Dept. of Comp. Sci., Techn. Univ. of Denmark, January 1969.

253

Per Gert Jensen, Niels Andersen, Dines Bjørner and Tom Østerby,
Datamatisering, struktur og ledere (IT, Structure and Management),
Forskning (Research, special issue of Ingeniøren), vol.8, 11 pages, 1968.