Yamine Aït Ameur, J. Paul Gibson & Dominique Méry (2014):
On Implicit and Explicit Semantics: Integration Issues in Proof-Based Development of Systems.
In: Leveraging Applications of Formal Methods, Verification and Validation. Specialized Techniques and Applications - 6th International Symposium, ISoLA 2014, Imperial, Corfu, Greece, October 8-11, 2014, Proceedings, Part II,
pp. 604–618,
doi:10.1007/978-3-662-45231-8_50.
Yamine Aït Ameur & Dominique Méry (2016):
Making explicit domain knowledge in formal system development.
Sci. Comput. Program. 121,
pp. 100–127,
doi:10.1016/j.scico.2015.12.004.
Dines Bjørner (2000):
Formal Software Techniques in Railway Systems.
In: Eckehard Schnieder: 9th IFAC Symposium on Control in Transportation Systems.
VDI/VDE-Gesellschaft Mess– und Automatisieringstechnik, VDI-Gesellschaft für Fahrzeug– und Verkehrstechnik,
Technical University, Braunschweig, Germany,
pp. 1–12.
Invited talk.
Dines Bjørner (2002):
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).
Kluwer Academic Press,
The Netherlands.
Final draft version. http://www2.imm.dtu.dk/~db/themarket.pdf.
Dines Bjørner (2003):
Dynamics of Railway Nets: On an Interface between Automatic Control and Software Engineering.
In: CTS2003: 10th IFAC Symposium on Control in Transportation Systems.
Elsevier Science Ltd.,
Oxford, UK,
doi:10.1016/S1474-6670(17)32424-2.
Symposium held at Tokyo, Japan. Editors: S. Tsugawa and M. Aoki. Final version. http://www2.imm.dtu.dk/~db/ifac-dynamics.pdf.
Dines Bjørner (2006):
Software Engineering, Vol. 2: Specification of Systems and Languages.
Texts in Theoretical Computer Science, the EATCS Series.
Springer.
Chapters 12–14 are primarily authored by Christian Krog Madsen..
Dines Bjørner (2007):
A Container Line Industry Domain.
Techn. Report,
Fredsvej 11, DK-2840 Holte, Denmark.
Extensive Draft. http://www2.imm.dtu.dk/~db/container-paper.pdf.
Dines Bjørner (2008):
From Domains to Requirements.
In: Montanari Festschrift,
Lecture Notes in Computer Science (eds. Pierpaolo Degano, Rocco De Nicola and José Meseguer) 5065.
Springer,
Heidelberg,
pp. 1–30.
Dines Bjørner (2010):
Domain Engineering.
In: Paul Boca & Jonathan Bowen: Formal Methods: State of the Art and New Directions,
Eds. Paul Boca and Jonathan Bowen.
Springer,
London, UK,
pp. 1–42,
doi:10.1007/978-1-84882-736-3_1.
Dines Bjørner (2010):
On Development of Web-based Software: A Divertimento of Ideas and Suggestions.
Technical.
Technical University of Vienna.
Http://www.imm.dtu.dk/~dibj/wfdftp.pdf.
Dines Bjørner (2011):
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).
Springer,
Heidelberg, Germany,
pp. 167–183.
Dines Bjørner (2013):
Pipelines – a Domain Description. http://www.imm.dtu.dk/~dibj/pipe-p.pdf.
Experimental Research Report 2013-2.
DTU Compute and Fredsvej 11, DK-2840 Holte, Denmark.
Dines Bjørner (2013):
Road Transportation – a Domain Description. http://www.imm.dtu.dk/~dibj/road-p.pdf.
Experimental Research Report 2013-4.
DTU Compute and Fredsvej 11, DK-2840 Holte, Denmark.
Dines Bjørner (2014):
Domain Analysis: Endurants – An Analysis & Description Process Model.
In: Shusaku Iida, José Meseguer & Kazuhiro Ogata: Specification, Algebra, and Software: A Festschrift Symposium in Honor of Kokichi Futatsugi.
Springer.
Dines Bjørner (2016):
A Credit Card System: Uppsala Draft.
Technical Report: Experimental Research.
Fredsvej 11, DK–2840 Holte, Denmark.
Http://www.imm.dtu.dk/~dibj/2016/credit/accs.pdf.
Dines Bjørner (2016):
Domain Analysis and Description – Formal Models of Processes and Prompts.
Extensive revision of 2013da-jaist. http://www.imm.dtu.dk/~dibj/2016/process/process-p.pdf.
Dines Bjørner (2016):
Domains: Their Simulation, Monitoring and Control – A Divertimento of Ideas and Suggestions.
Technical Report.
Fredsvej 11, DK–2840 Holte, Denmark.
Extensive revision of dines-maurer. http://www.imm.dtu.dk/~dibj/2016/demos/faoc-demo.pdf.
Dines Bjørner (2016):
From Domain Descriptions to Requirements Prescriptions – A Different Approach to Requirements Engineering.
Extensive revision of dines:ugo65:2008.
Dines Bjørner (2016):
Weather Information Systems: Towards a Domain Description.
Technical Report: Experimental Research.
Fredsvej 11, DK–2840 Holte, Denmark.
Http://www.imm.dtu.dk/~dibj/2016/wis/wis-p.pdf.
Dines Bjørner (2017):
A Space of Swarms of Drones.
Research Note.
Http://www.imm.dtu.dk/~dibj/2017/docs/docs.pdf.
Dines Bjørner (2017):
What are Documents\,?.
Research Note.
Http://www.imm.dtu.dk/~dibj/2017/docs/docs.pdf.
Dines Bjørner (2018):
A Philosophy of Domain Science & Engineering – An Interpretation of Kai Sørlander's Philosophy.
Research Note.
http://www.imm.dtu.dk/~dibj/2018/philosophy/filo.pdf.
Dines Bjørner (2018):
To Every Manifest Domain a CSP Expression — A Rôle for Mereology in Computer Science.
Journal of Logical and Algebraic Methods in Programming 94,
pp. 91–108,
doi:10.1016/j.jlamp.2017.09.005.
Dines Bjørner (January and February, 2010):
The Tokyo Stock Exchange Trading Rules.
R&D Experiment,
Fredsvej 11, DK-2840 Holte, Denmark.
Version 1. http://www2.imm.dtu.dk/~db/todai/tse-1.pdf, Version 2. http://www2.imm.dtu.dk/~db/todai/tse-2.pdf.
Dines Bjørner (Online: July 2016, Journal: March 2017):
Manifest Domains: Analysis & Description.
Formal Aspects of Computing 29(2),
pp. 175–225,
doi:10.1007/s00165-016-0385-z.
Dines Bjørner, Chris W. George & Søren Prehn (2002):
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.
Society for Design and Process Science,
P.O.Box 1299, Grand View, Texas 76050-1299, USA.
Extended version. http://www2.imm.dtu.dk/~db/pasadena-25.pdf.
Dines Bjørner & Ole N. Oest (1980):
Towards a Formal Description of Ada.
LNCS 98.
Springer.
C.C.I.T.T. (1980):
The Specification of CHILL.
Technical Report Recommendation Z200.
International Telegraph and Telephone Consultative Committee,
Geneva, Switzerland.
G.B. Clemmensen & O. Oest (1984):
Formal Specification and Development of an Ada Compiler – A VDM Case Study.
In: Proc. 7th International Conf. on Software Engineering, 26.-29. March 1984, Orlando, Florida.
IEEE,
pp. 430–440.
Computing Laboratory, University of Oxford, England (2003):
FDR4: The CSP Refinement Checker.
Published on the Internet: https://www.cs.ox.ac.uk/projects/fdr/.
Chris W. George, Peter Haff, Klaus Havelund, Anne Elisabeth Haxthausen, Robert Milne, Claus Bendix Nielsen, Søren Prehn & Kim Ritter Wagner (1992):
The RAISE Specification Language.
The BCS Practitioner Series.
Prentice-Hall,
Hemel Hampstead, England.
P. Haff & A.V. Olsen (1987):
Use of VDM within CCITT.
In: VDM – A Formal Method at Work, eds. Dines Bjørner, Cliff B. Jones, Micheal Mac an Airchinnigh and Erich J. Neuhold.
Springer, Lecture Notes in Computer Science, Vol. 252,
pp. 324–330.
Proc. VDM-Europe Symposium 1987, Brussels, Belgium.
C.A.R. Hoare (1978):
Communicating Sequential Processes.
Communications of the ACM 21(8).
C.A.R. Hoare (1985):
Communicating Sequential Processes.
C.A.R. Hoare Series in Computer Science.
Prentice-Hall International.
Published electronically: http://www.usingcsp.com/cspbook.pdf (2004).
C.A.R. Hoare (1985):
Communicating Sequential Processes.
C.A.R. Hoare Series in Computer Science.
Prentice-Hall International.
C.A.R. Hoare (2004):
Communicating Sequential Processes.
Published electronically: http://www.usingcsp.com/cspbook.pdf.
Second edition of Hoare85. See also http://www.usingcsp.com/.
Michael A. Jackson (1995):
Software Requirements & Specifications: a lexicon of practice, principles and prejudices.
ACM Press.
Addison-Wesley,
Reading, England.
W. Little, H.W. Fowler, J. Coulson & C.T. Onions (1973, 1987):
The Shorter Oxford English Dictionary on Historical Principles.
Clarendon Press, Oxford, England.
Two vols..
Ole N. Oest (1986):
VDM From Research to Practice (Invited Paper).
In: IFIP Congress,
pp. 527–534.
Martin Pěnička, Albena Kirilova Strupchanska & Dines Bjørner (2003):
Train Maintenance Routing.
In: FORMS'2003: Symposium on Formal Methods for Railway Operation and Control Systems.
L'Harmattan Hongrie.
Conf. held at Techn.Univ. of Budapest, Hungary. Editors: G. Tarnai and E. Schnieder, Germany. Final version. http://www2.imm.dtu.dk/~db/martin.pdf.
A. W. Roscoe (1994):
Model checking CSP,
pp. 353–378.
Prentice-Hall Intl..
A. W. Roscoe (1997):
Theory and Practice of Concurrency.
C.A.R. Hoare Series in Computer Science.
Prentice-Hall.
Now available on the net: http://www.comlab.ox.ac.uk/people/bill.roscoe/publications/68b.pdf.
Steve Schneider (2000):
Concurrent and Real-time Systems — The CSP Approach.
Worldwide Series in Computer Science.
John Wiley & Sons, Ltd.,
Baffins Lane, Chichester, West Sussex PO19 1UD, England.
author = "Dines BjørnerblueReferences to Draft Domain DescriptionsblackReferences to Draft Domain DescriptionsblueReferences to Draft Domain DescriptionsblackblueReferences to Draft Domain Descriptionsblack\begingroupłet 23\relaxłet \@unexpandable@protect Albena Kirilova Strupchanska & Martin Pěnička (2003):
Railway Staff Rostering.
In: FORMS2003: Symposium on Formal Methods for Railway Operation and Control Systems.
L'Harmattan Hongrie.
Conf. held at Techn.Univ. of Budapest, Hungary. Editors: G. Tarnai and E. Schnieder, Germany. Final version. http://www2.imm.dtu.dk/~db/albena.pdf.
eptcs@eptcs.org