@inproceedings(impex-0, author = {Yamine A{\"{\i}}t Ameur and J. Paul Gibson and Dominique M{\'{e}}ry}, year = {2014}, title = {On Implicit and Explicit Semantics: Integration Issues in Proof-Based Development of Systems}, booktitle = {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}}, pages = {604--618}, doi = {10.1007/978-3-662-45231-8\_50}, ) @article(impex-1, author = {Yamine A{\"{\i}}t Ameur and Dominique M{\'{e}}ry}, year = {2016}, title = {Making explicit domain knowledge in formal system development}, journal = {Sci. Comput. Program.}, volume = {121}, pages = {100--127}, doi = {10.1016/j.scico.2015.12.004}, ) @inproceedings(db00:p:ifac, author = {Bj{\o}rner, Dines}, year = {2000}, title = {{Formal Software Techniques in Railway Systems}}, editor = {Eckehard Schnieder}, booktitle = {{9th IFAC Symposium on Control in Transportation Systems}}, organization = {{\sf VDI/VDE\--Gesellschaft Mess-- und Automatisieringstechnik}, {\sf VDI\--Gesellschaft f{\"u}r Fahrzeug-- und Verkehrstechnik}}, address = {Technical University, Braunschweig, Germany}, pages = {1--12}, note = {Invited talk}, ) @inproceedings(dines-kilov-02, author = {Bj{\o}rner, Dines}, year = {2002}, title = {{Domain Models of "The Market" --- in Preparation for E--Transaction Systems}}, booktitle = {{Practical Foundations of Business and System Specifications (Eds.: Haim Kilov and Ken Baclawski)}}, publisher = {Kluwer Academic Press}, address = {The Netherlands}, note = {Final draft version. http://www2.imm.dtu.dk/~db/themarket.pdf}, ) @inproceedings(db03:ifac-cts2003, author = {Bj{\o}rner, Dines}, year = {2003}, title = {{Dynamics of Railway Nets: On an Interface between Automatic Control and Software Engineering}}, booktitle = {{CTS2003: 10th IFAC Symposium on Control in Transportation Systems}}, publisher = {Elsevier Science Ltd.}, address = {Oxford, UK}, doi = {10.1016/S1474-6670(17)32424-2}, note = {Symposium held at Tokyo, Japan. Editors: S. Tsugawa and M. Aoki. Final version. http://www2.imm.dtu.dk/~db/ifac-dynamics.pdf}, ) @book(TheSEBook2wo, author = {Bj{\o}rner, Dines}, year = {2006}, title = {{Software Engineering, Vol.~2: Specification of Systems and Languages}}, series = {Texts in Theoretical Computer Science, the EATCS Series}, publisher = {Springer}, note = {{Chapters 12--14 are primarily authored by Christian Krog Madsen.}}, ) @techreport(db07:container, author = {Bj{\o}rner, Dines}, year = {2007}, title = {{A Container Line Industry Domain}}, type = {Techn. Report}, address = {Fredsvej 11, DK-2840 Holte, Denmark}, note = {Extensive Draft. http://www2.imm.dtu.dk/~db/container-paper.pdf}, ) @inproceedings(dines:ugo65:2008, author = {Bj{\o}rner, Dines}, year = {2008}, title = {{From Domains to Requirements}}, booktitle = {{Montanari Festschrift}}, series = {Lecture Notes in Computer Science (eds.\ Pierpaolo Degano, Rocco De Nicola and Jos{\'e} Meseguer)}, volume = {5065}, publisher = {Springer}, address = {Heidelberg}, pages = {1--30}, ) @inproceedings(dines:facs:2008, author = {Bj{\o}rner, Dines}, year = {2010}, title = {{Domain Engineering}}, editor = {Paul Boca and Jonathan Bowen}, booktitle = {{Formal Methods: State of the Art and New Directions}}, series = {{Eds.\ Paul Boca and Jonathan Bowen}}, publisher = {Springer}, address = {London, UK}, pages = {1--42}, doi = {10.1007/978-1-84882-736-3\_1}, ) @techreport(evaKuhn2010, author = {Bj{\o}rner, Dines}, year = {2010}, title = {{On Development of Web-based Software: A Divertimento of Ideas and Suggestions}}, type = {{Technical}}, institution = {{Technical University of Vienna}}, note = {Http://www.imm.dtu.dk/\~{}dibj/wfdftp.pdf}, ) @incollection(dines-maurer, author = {Bj{\o}rner, Dines}, year = {2011}, title = {{Domains: Their Simulation, Monitoring and Control -- A Divertimento of Ideas and Suggestions}}, booktitle = {{Rainbow of Computer Science, Festschrift for Hermann Maurer on the Occasion of His 70th Anniversary.}}, series = {Festschrift (eds.\ C.~Calude, G.~Rozenberg and A.~Saloma)}, publisher = {Springer}, address = {Heidelberg, Germany}, pages = {{167--183}}, ) @techreport(2013pipe, author = {Bj{\o}rner, Dines}, year = {2013}, title = {{Pipelines -- a Domain Description. http:\-//\-www.\-imm.\-dtu.\-dk/\-\~{}dibj/\-pipe-p.pdf}}, type = {{Experimental Research Report}}, number = {{2013-2}}, institution = {{DTU Compute and Fredsvej 11, DK-2840 Holte, Denmark}}, ) @techreport(2013road, author = {Bj{\o}rner, Dines}, year = {2013}, title = {{Road Transportation -- a Domain Description. http://www.imm.dtu.dk/\~{}dibj/road-p.pdf}}, type = {{Experimental Research Report}}, number = {{2013-4}}, institution = {{DTU Compute and Fredsvej 11, DK-2840 Holte, Denmark}}, ) @incollection(2013da-jaist, author = {Bj{\o}rner, Dines}, year = {2014}, title = {{Domain Analysis: Endurants -- An Analysis \& Description Process Model}}, editor = {{Shusaku} Iida and {Jos{\'e}} Meseguer and {Kazuhiro} Ogata}, booktitle = {{Specification, Algebra, and Software: A Festschrift Symposium in Honor of Kokichi Futatsugi}}, publisher = {Springer}, ) @techreport(BjornerCreditCard2016, author = {Bj{\o}rner, Dines}, year = {2016}, title = {{A Credit Card System: Uppsala Draft}}, type = {{Technical Report: Experimental Research}}, institution = {{Fredsvej 11, DK--2840 Holte, Denmark}}, note = {Http://www.imm.dtu.dk/\~{}dibj/2016/credit/accs.pdf}, ) @article(BjornerFAoCProcesses, author = {Bj{\o}rner, Dines}, year = {2016}, title = {{Domain Analysis and Description -- Formal Models of Processes and Prompts}}, note = {Extensive revision of \cite{2013da-jaist}. http://\-www.\-imm.\-dtu.\-dk\-/\~{}dibj/\-2016/\-process/\-process-p.pdf}, ) @article(BjornerFAoCFacets, author = {Bj{\o}rner, Dines}, year = {2016}, title = {{Domain Facets: Analysis \& Description}}, note = {Extensive revision of \cite{dines:facs:2008}. http://\-www.\-imm.\-dtu.\-dk\-/\~{}dibj/\-2016/\-facets/\-faoc-facets.pdf}, ) @techreport(BjornerFAoCDemos, author = {Bj{\o}rner, Dines}, year = {2016}, title = {{Domains: Their Simulation, Monitoring and Control -- A Divertimento of Ideas and Suggestions}}, type = {Technical Report}, institution = {{Fredsvej 11, DK--2840 Holte, Denmark}}, note = {Extensive revision of \cite{dines-maurer}. http://\-www.\-imm.\-dtu.\-dk\-/\~{}di\-bj/\-2016\-/demos/\-faoc-\-demo.pdf}, ) @article(BjornerFAoC2015Req, author = {Bj{\o}rner, Dines}, year = {2016}, title = {{From Domain Descriptions to Requirements Prescriptions -- A Different Approach to Requirements Engineering}}, note = {{Extensive revision of \cite{dines:ugo65:2008}}}, ) @techreport(BjornerWeather2016, author = {Bj{\o}rner, Dines}, year = {2016}, title = {{Weather Information Systems: Towards a Domain Description}}, type = {{Technical Report: Experimental Research}}, institution = {{Fredsvej 11, DK--2840 Holte, Denmark}}, note = {Http://www.imm.dtu.dk/\~{}dibj/2016/wis/wis-p.pdf}, ) @techreport(BjornerDrones2017, author = {Bj{\o}rner, Dines}, year = {2017}, title = {{A Space of Swarms of Drones}}, type = {{Research Note}}, note = {Http://\-www.\-imm.\-dtu.\-dk/\-\~{}dibj/\-2017/\-docs/\-docs.pdf}, ) @techreport(BjornerDocuments2017, author = {Bj{\o}rner, Dines}, year = {2017}, title = {{What are Documents\,?}}, type = {{Research Note}}, note = {Http://\-www.\-imm.\-dtu.\-dk/\-\~{}dibj/\-2017/\-docs/\-docs.pdf}, ) @techreport(2018:Bjorner:philo, author = {Bj{\o}rner, Dines}, year = {2018}, title = {{A Philosophy of Domain Science \& Engineering -- An Interpretation of Kai S{\o}rlander's Philosophy}}, type = {{Research Note}}, note = {{http://\-www.\-imm.\-dtu.\-dk/\~{}dibj/\-2018/\-philosophy/\-filo.pdf}}, ) @article(BjornerMereologyCSP2017, author = {Bj{\o}rner, Dines}, year = {{2018}}, title = {{To Every Manifest Domain a \texttt{CSP} Expression --- A R{\^o}le for Mereology in Computer Science}}, journal = {{Journal of Logical and Algebraic Methods in Programming}}, number = {94}, pages = {91--108}, doi = {10.1016/j.jlamp.2017.09.005}, ) @techreport(db:tse:2010:www, author = {Bj{\o}rner, Dines}, year = {January and February, 2010}, title = {{The Tokyo Stock Exchange Trading Rules}}, type = {{R\&D Experiment}}, address = {{Fredsvej 11, DK-2840 Holte, Denmark}}, note = {Version 1. http://www2.imm.dtu.dk/~db/todai/tse-1.pdf, Version 2. http://www2.imm.dtu.dk/~db/todai/tse-2.pdf}, ) @article(BjornerFAoC2015MDAAD, author = {Bj{\o}rner, Dines}, year = {Online: July 2016, Journal: March 2017}, title = {{Manifest Domains: Analysis \& Description}}, journal = {{Formal Aspects of Computing}}, volume = {29}, number = {2}, pages = {175--225}, doi = {10.1007/s00165-016-0385-z}, ) @inproceedings(dines-idpt-02, author = {Bj{\o}rner, Dines and Chris W. George and S{\o}ren Prehn}, year = {2002}, title = {{Computing Systems for Railways --- A R{\^o}le for Domain Engineering. Relations to Requirements Engineering and Software for Control Applications}}, booktitle = {{Integrated Design and Process Technology. Editors: Bernd Kraemer and John C. Petterson}}, publisher = {Society for Design and Process Science}, address = {P.O.Box 1299, Grand View, Texas 76050-1299, USA}, note = {Extended version. http://www2.imm.dtu.dk/~db/pasadena-25.pdf}, ) @book(e:db:Bj80f, editor = {Bj{\o}rner, Dines and Ole N. Oest}, year = {1980}, title = {{Towards a Formal Description of {A}da}}, series = {LNCS}, volume = {98}, publisher = {Springer}, ) @techreport(BjornerUrbanPlanningProcesses2017, author = "Dines Bj{\o}rner\relax\begingroup \edef{References}{\refname}\edef{References}{{References}\relax}\begingroup\let 22\relax\let \@unexpandable@protect \edef\par year = {2017}, title = {{Urban Planning Processes}}, type = {{Research Note}}, note = {Http://\-www.\-imm.\-dtu.\-dk/\-\~{}dibj/\-2017/\-up/\-urban\--planning.pdf}, ) @techreport(vdm:CCITT80, author = {C.C.I.T.T.}, year = {1980}, title = {{The Specification of CHILL}}, type = {Technical Report}, number = {Recommendation Z200}, institution = {International Telegraph and Telephone Consultative Committee}, address = {Geneva, Switzerland}, ) @inproceedings(Clem84, author = {G.B. Clemmensen and O. Oest}, year = {1984}, title = {Formal Specification and Development of an {A}da Compiler -- A {VDM} Case Study}, booktitle = {Proc. 7th International Conf. on Software Engineering, 26.-29. March 1984, Orlando, Florida}, organization = {IEEE}, pages = {430--440}, ) @misc(FDR2:2004, author = {{Computing Laboratory, University of Oxford, England}}, year = {2003}, title = {{FDR4: The CSP Refinement Checker}}, howpublished = {Published on the Internet: \texttt{https://www.cs.ox.ac.uk/projects/fdr/}}, ) @book(RSL, author = {Chris W. George and Peter Haff and Klaus Havelund and Anne Elisabeth Haxthausen and Robert Milne and Claus Bendix Nielsen and S{\o}ren Prehn and Kim Ritter Wagner}, year = {1992}, title = {The RAISE Specification Language}, series = {The BCS Practitioner Series}, publisher = {Prentice-Hall}, address = {Hemel Hampstead, England}, ) @incollection(Haff87, author = {P. Haff and A.V. Olsen}, year = {1987}, title = {Use of {VDM} within {CCITT}}, booktitle = {{VDM -- A Formal Method at Work, eds. Dines Bj{\o}rner, Cliff B. Jones, Micheal Mac an Airchinnigh and Erich J. Neuhold}}, publisher = {Springer, Lecture Notes in Computer Science, Vol. 252}, pages = {324--330}, note = {{Proc. VDM-Europe Symposium 1987, Brussels, Belgium}}, ) @article(Hoa78a, author = {{C.A.R.} Hoare}, year = {1978}, title = {{Communicating Sequential Processes}}, journal = {Communications of the ACM}, volume = {21}, number = {8}, ) @book(Hoare85+2004, author = {{C.A.R.} Hoare}, year = {1985}, title = {{Communicating Sequential Processes}}, series = {{C.A.R.} Hoare Series in Computer Science}, publisher = {Prentice-Hall International}, note = {Published electronically: {http://www.\-using\-csp.\-com/\-csp\-book.pdf} (2004)}, ) @book(Hoare85, author = {{C.A.R.} Hoare}, year = {1985}, title = {{Communicating Sequential Processes}}, series = {{C.A.R.} Hoare Series in Computer Science}, publisher = {Prentice-Hall International}, ) @misc(CARH:Electronic, author = {{C.A.R.} Hoare}, year = {2004}, title = {{Communicating Sequential Processes}}, howpublished = {Published electronically: \texttt{http://www.\-usingcsp.\-com/\-cspbook.pdf}}, note = {Second edition of \cite{Hoare85}. See also \texttt{http://\-www.\-usingcsp.\-com/}}, ) @book(lexicon, author = {Michael A. Jackson}, year = {1995}, title = {{Software {R}equirements \& {S}pecifications: a lexicon of practice, principles and prejudices}}, series = {ACM Press}, publisher = {Addison-Wesley}, address = {Reading, England}, ) @book(OED, author = {W. Little and H.W. Fowler and J. Coulson and C.T. Onions}, year = {1973, 1987}, title = {{The Shorter {O}xford English Dictionary on Historical Principles}}, publisher = {Clarendon Press, Oxford, England}, note = {{Two vols.}}, ) @inproceedings(Oest86, author = {Ole N. Oest}, year = {1986}, title = {{VDM} From Research to Practice (Invited Paper)}, booktitle = {{IFIP} Congress}, pages = {527--534}, ) @inproceedings(db02-amore-maint, author = {P\v{e}ni\v{c}ka, Martin and Albena Kirilova Strupchanska and Bj{\o}rner, Dines}, year = {2003}, title = {{Train Maintenance Routing}}, booktitle = {{FORMS'2003: Symposium on Formal Methods for Railway Operation and Control Systems}}, publisher = {L'Harmattan Hongrie}, note = {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}, ) @inbook(RoscoeFDR94a, author = {A. W. Roscoe}, year = {1994}, title = {Model checking CSP}, pages = {353--378}, publisher = {Prentice\--Hall Intl.}, ) @book(Roscoe97, author = {A. W. Roscoe}, year = {1997}, title = {{Theory and Practice of Concurrency}}, series = {{C.A.R.} Hoare Series in Computer Science}, publisher = {Prentice-Hall}, note = {Now available on the net: http://\-www.\-com\-lab.\-ox.\-ac.\-uk/\-people/\-bill.\-ros\-coe/pub\-li\-ca\-tions/\-68b.pdf}, ) @book(Schneider99, author = {Steve Schneider}, year = {2000}, title = {{Concurrent and Real-time Systems --- The CSP Approach}}, series = {Worldwide Series in Computer Science}, publisher = {John Wiley \& Sons, Ltd.}, address = {Baffins Lane, Chichester, West Sussex PO19 1UD, England}, ) @inproceedings(db02-amore-ros, author = {Albena Kirilova Strupchanska and P\v{e}ni\v{c}ka, Martin}, author = "Dines Bj{\o}rner\relax\begingroup \edef{{\color{blue}\textbf{\textsf{References to Draft Domain Descriptions}}\color{black}}}{\bbcolor{References to Draft Domain Descriptions}}\edef{{\color{blue}\textbf{\textsf{References to Draft Domain Descriptions}}\color{black}}}{{{\color{blue}\textbf{\textsf{References to Draft Domain Descriptions}}\color{black}}}\relax}\begingroup\let 23\relax\let \@unexpandable@protect \edef\par year = {2003}, title = {{Railway Staff Rostering}}, booktitle = {{FORMS2003: Symposium on Formal Methods for Railway Operation and Control Systems}}, publisher = {L'Harmattan Hongrie}, note = {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}, )