Bibliography

1

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.
URL: http://www.imm.dtu.dk/~dibj/2018/tosem/Bjorner-TOSEM.pdf .

2

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 [1,4,6,8,10,12,14].

3

Dines Bjørner.
Manifest Domains: Analysis & Description.
Formal Aspects of Computing, 29(2):175-225, Online: July 2016.
URL: https://doi.org/10.1007/s00165-016-0385-z (doi: 10.1007/s00165-016-0385-z) .

4

Dines Bjørner.
Domain Facets: Analysis & Description.
Technical report, Technical University of Denmark, Fredsvej 11, DK-2840 Holte, Denmark, May 2018.
Extensive revision of [5]. URL: http://www.imm.dtu.dk/~dibj/2016/facets/faoc-facets.pdf .

5

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.

6

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 [15]. URL: http://www.imm.dtu.dk/~dibj/2016/process/process-p.pdf .

7

Dines Bjørner.
XXX 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.
URL: http://www.imm.dtu.dk/~dibj/2014/kanazawa/kanazawa-p.pdf .

8

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, (94):91-108, January 2018.
URL: http://www2.compute.dtu.dk/~dibj/2016/mereo/mereo.pdf .

9

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.
URL: http://www2.imm.dtu.dk/~dibj/bjorner-hoare75-p.pdf .

10

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 [11] URL: http://www2.compute.dtu.dk/~dibj/2015/faoc-req/faoc-req.pdf .

11

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.
URL: http://www.imm.dtu.dk/~dibj/montanari.pdf .

12

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 [13]. URL: http://www.imm.dtu.dk/~dibj/2016/demos/faoc-demo.pdf .

13

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.
URL: http://www2.imm.dtu.dk/~dibj/maurer-bjorner.pdf .

14

Dines Bjørner.
A Philosophy of Domain Science & Engineering - An Interpretation of Kai Sørlander's Philosophy.
Research Note, Te chnical University of Denmark, Fredsvej 11, DK-2840 Holte, Denmark, Spring 2018.
URL: http://www.imm.dtu.dk/~dibj/2018/philosophy/filo.pdf .

15

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.
URL: http://www.imm.dtu.dk/~dibj/2014/kanazawa/kanazawa-p.pdf .