default search action
Dines Bjørner
Person information
- affiliation: Technical University of Denmark
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
2020 – today
- 2024
- [c63]Dines Bjørner:
The 0'th PEPM Event: October 1987 - and Andrei Petrovich Ershov: 1977-1988 (Invited Contribution). PEPM 2024: 53-56 - 2023
- [c62]Dines Bjørner:
Domain Modelling: A Foundation for Software Development. Theories of Programming and Formal Methods 2023: 165-210 - 2022
- [c61]Dines Bjørner:
An Essence of Domain Engineering - A Basis for Trustworthy Aeronautics and Space Software. NFM 2022: 14-51 - 2021
- [b5]Dines Bjørner:
Domain Science and Engineering - A Foundation for Software Development. Monographs in Theoretical Computer Science. An EATCS Series, Springer 2021, ISBN 978-3-030-73483-1, pp. 3-319 - [c60]Dines Bjørner:
Domain Analysis and Description - Sorts, Types, Intents. Formal Methods in Outer Space 2021: 35-60
2010 – 2019
- 2019
- [j11]Dines Bjørner:
Domain Analysis and Description Principles, Techniques, and Modelling Languages. ACM Trans. Softw. Eng. Methodol. 28(2): 8:1-8:67 (2019) - 2018
- [j10]Dines Bjørner:
To every manifest domain a CSP expression - a rôle for mereology in computer science. J. Log. Algebraic Methods Program. 94: 91-108 (2018) - [p5]Dines Bjørner:
Domain Science and Engineering A Review of 10 Years Work and a Laudatio The ZCC Fest, 20 October 2017, Changsha, China. Symposium on Real-Time and Hybrid Systems 2018: 61-84 - 2017
- [j9]Dines Bjørner:
Manifest domains: analysis and description. Formal Aspects Comput. 29(2): 175-225 (2017) - [c59]Dines Bjørner:
Domain Analysis & Description - The Implicit and Explicit Semantics Problem. IMPEX/FM&MDD 2017: 1-23 - [p4]Dines Bjørner:
Erratum to: ProCoS: How It All Began - as Seen from Denmark. Provably Correct Systems 2017: 1 - [p3]Dines Bjørner:
ProCoS: How It All Began - as Seen from Denmark. Provably Correct Systems 2017: 3-5 - 2014
- [c58]Dines Bjørner:
Domain Endurants - An Analysis and Description Process Model. Specification, Algebra, and Software 2014: 1-34 - [c57]Dines Bjørner, Klaus Havelund:
40 Years of Formal Methods - Some Obstacles and Some Possibilities? FM 2014: 42-61 - [p2]Dines Bjørner:
Domain Science & Engineering: A Foundation for Computation for Humanity. Computation for Humanity 2014: 157-176 - 2012
- [c56]Dines Bjørner:
A survey of domain engineering. APSEC Workshops 2012: 145 - 2011
- [j8]Dines Bjørner:
On "The Right" Software. Int. J. Softw. Informatics 5(3): 509-523 (2011) - [c55]Dines Bjørner:
Domains: Their Simulation, Monitoring and Control - A Divertimento of Ideas and Suggestions. Rainbow of Computer Science 2011: 167-183 - 2010
- [c54]Dines Bjørner, Asger Eir:
Compositionality: Ontology and Mereology of Domains. Concurrency, Compositionality, and Correctness 2010: 22-59 - [c53]Dines Bjørner, Christian Gram, Ole N. Oest, Leif Rystrøm:
Dansk Datamatik Center. History of Nordic Computing 2010: 350-359 - [p1]Dines Bjørner:
On Mereologies in Computing Science. Reflections on the Work of C. A. R. Hoare 2010: 47-70 - [r1]Dines Bjørner:
Triptych Process Model. Encyclopedia of Software Engineering 2010: 1230-1248
2000 – 2009
- 2009
- [b4]Dines Bjørner:
Domain Engineering - Technology Management, Research and Engineering. COE Research Monograph Series 4, JAIST 2009, ISBN 978-4-903092-17-1, pp. I-XXX, 1-507 - [j7]Dines Bjørner:
Editorial. Int. J. Softw. Informatics 3(2-3): 121-127 (2009) - [c52]Dines Bjørner:
Rôle of Domain Engineering in Software Development - Why Current Requirements Engineering Is Flawed ! Ershov Memorial Conference 2009: 2-34 - 2008
- [j6]Dines Bjørner:
John Warner Backus: 3 Dec 1924-17 March 2007. Formal Aspects Comput. 20(3): 239-240 (2008) - [c51]Jianwen Xiang, Dines Bjørner, Kokichi Futatsugi:
Formal digital license language with OTS/CafeOBJ method. AICCSA 2008: 652-660 - [c50]Dines Bjørner:
From Domain to Requirements. Concurrency, Graphs and Models 2008: 278-300 - 2007
- [c49]Dines Bjørner:
Domain Theory: Practice and Theories A Discussion of Possible Research Topics. ICTAC 2007: 1-17 - [c48]Dines Bjørner:
Development of Transportation Systems. ISoLA 2007: 7 - 2006
- [b3]Dines Bjørner:
Software Engineering 1 - Abstraction and Modelling. Texts in Theoretical Computer Science. An EATCS Series, Springer 2006, ISBN 978-3-540-21149-5, pp. 1-711 - [b2]Dines Bjørner:
Software Engineering 2 - Specification of Systems and Languages. Texts in Theoretical Computer Science. An EATCS Series, Springer 2006, ISBN 978-3-540-21150-1, pp. 1-777 - [b1]Dines Bjørner:
Software Engineering 3 - Domains, Requirements, and Software Design. Texts in Theoretical Computer Science. An EATCS Series, Springer 2006, ISBN 978-3-540-21151-8, pp. 1-768 - 2005
- [c47]Dines Bjørner:
A Cloverleaf of Software Engineering. SEFM 2005: 75-85 - 2004
- [c46]Dines Bjørner:
Towards Posit & Prove Calculi for Requirements Engineering and Software Design: In Honour of the Memory of Professor Ole-Johan Dahl. Essays in Memory of Ole-Johan Dahl 2004: 58-82 - [c45]Dines Bjørner, Chris George, Anne E. Haxthausen, Christian Krog Madsen, Steffen Holmslykke, Martin Pnika:
"UML-ising' Formal Techniques. SoftSpez Final Report 2004: 423-450 - [c44]Dines Bjørner:
The TRain Topical Day - A foreword. IFIP Congress Topical Sessions 2004: 605-606 - [c43]Dines Bjørner:
TRain: The Railway domain - A "Grand Challenge" for Computing Science & Transportation Engineering. IFIP Congress Topical Sessions 2004: 607-611 - [c42]Martin Penicka, Dines Bjørner:
From railway resource planning to train operation - a brief survey of complementary formalisations. IFIP Congress Topical Sessions 2004: 629-636 - [c41]Dines Bjørner, Peter Chiang, Morten S. T. Jacobsen, Jens Kielsgaard Hansen, Michael P. Madsen, Martin Penicka:
Towards a formal model of CyberRail. IFIP Congress Topical Sessions 2004: 657-664 - 2003
- [c40]Dines Bjørner:
Domain Engineering: a "Radical Innovation" for Software and Systems Engineering? A Biased Account. Verification: Theory and Practice 2003: 100-144 - 2002
- [c39]Dines Bjørner:
"What Is an Infrastructure?" Towards an Informatics Answer. 10th Anniversary Colloquium of UNU/IIST 2002: 173-190 - 2001
- [j5]Dines Bjørner:
On Teaching Software Engineering based on Formal Techniques - Thoughts about and Plans for - A Different Software Engineering Text Book. J. Univers. Comput. Sci. 7(8): 641-667 (2001) - [c38]Dines Bjørner:
On Formal Techniques in Protocol Engineering - Example Challenges. FORTE 2001: 395-420 - [e12]Dines Bjørner, Manfred Broy, Alexandre V. Zamulin:
Perspectives of System Informatics, 4th International Andrei Ershov Memorial Conference, PSI 2001, Akademgorodok, Novosibirsk, Russia, July 2-6, 2001, Revised Papers. Lecture Notes in Computer Science 2244, Springer 2001, ISBN 3-540-43075-X [contents] - 2000
- [j4]Dines Bjørner:
Pinnacles of software engineering: 25 years of formal methods. Ann. Softw. Eng. 10: 11-66 (2000) - [c37]Dines Bjørner:
Domain Engineering: A Software Engineering Discipline in Need of Research. SOFSEM 2000: 1-17 - [e11]Dines Bjørner, Manfred Broy, Alexandre V. Zamulin:
Perspectives of System Informatics, Third International Andrei Ershov Memorial Conference, PSI'99, Akademgorodok, Novosibirsk, Russia, July 6-9, 1999, Proceedings. Lecture Notes in Computer Science 1755, Springer 2000, ISBN 3-540-67102-1 [contents]
1990 – 1999
- 1999
- [c36]Dines Bjørner:
A Triptych Software Development Paradigm: Domain, Requirements and Software. Correct System Design 1999: 29-60 - 1998
- [j3]Dines Bjørner, Jorge Cuéllar:
Software Engineering Education: Rôles of Formal Specification and Design Calculi. Ann. Softw. Eng. 6: 365-409 (1998) - 1997
- [c35]Dines Bjørner, S. Koussoube, R. Noussi, G. Satchok:
Michael Jackson's Problem Frames: Towards Methodological Principles of Selecting and Applying Formal Software Development Techniques and Tools. ICFEM 1997: 263-271 - [c34]Dines Bjørner:
Domains as a Prerequisite for Requirements and Software Domain Perspectives & Facets, Requirements Aspects and Software Views. Requirements Targeting Software and Systems Engineering 1997: 1-41 - [c33]Dines Bjørner:
A Formal Software Engineering Paradigm: From Domains via Requirements to Software - Formal Specification & Design Calculi. SOFSEM 1997: 219-248 - 1996
- [c32]Dines Bjørner:
Semantics and Laws of Man-Made Infrastucture Systems (Abstract). Ershov Memorial Conference 1996: 1 - [e10]Dines Bjørner, Manfred Broy, Igor V. Pottosin:
Perspectives of System Informatics, Second International Andrei Ershov Memorial Conference, Akademgorodok, Novosibirsk, Russia, June 25-28, 1996, Proceedings. Lecture Notes in Computer Science 1181, Springer 1996, ISBN 3-540-62064-8 [contents] - 1995
- [c31]Dines Bjørner:
Software Systems Engineering-From Domain Analysis Via Requirements Capture to Software Architectures. APSEC 1995: 2-11 - 1994
- [c30]Dines Bjørner:
The UNU/IIST Approach to Software Technology Transfer: The PRaCoSy and DeTfoRS Case "Stories". IFIP Congress (3) 1994: 3-10 - 1993
- [c29]Dines Bjørner:
University Curricula in Software Technology. Software Engineering Education 1993: 5-16 - [e9]Dines Bjørner, Manfred Broy, Igor V. Pottosin:
Formal Methods in Programming and Their Applications, International Conference, Akademgorodok, Novosibirsk, Russia, June 28 - July 2, 1993, Proceedings. Lecture Notes in Computer Science 735, Springer 1993, ISBN 3-540-57316-X [contents] - 1992
- [j2]Dines Bjørner, Anne Elisabeth Haxthausen, Klaus Havelund:
Formal, model-oriented software development methods: From VDM to ProCoS & from RAISE to LaCoS. Future Gener. Comput. Syst. 7(2-3): 111-138 (1992) - [c28]Dines Bjørner, Jørgen Fischer Nilsson:
Algorithmic & Knowledge Based Methods - Do they "Unify" ? With some Programme Remarks for UNU/IIST. FGCS 1992: 191-198 - [c27]Dines Bjørner:
Trusted Computing Systems: The ProCoS Experience. ICSE 1992: 15-34 - [c26]Dines Bjørner:
From Research to Practice: Self-reliance of the Developing World through own Software Technology: Education, Development, Management & Research. IFIP Congress (1) 1992: 65-71 - 1991
- [c25]Dines Bjørner, Søren Prehn:
Formal Methods in Software Development: Requirements for a CASE. Software Development Environments and CASE Technology 1991: 178-210 - [e8]Janis Barzdins, Dines Bjørner:
Baltic Computer Science, Selected Papers. Lecture Notes in Computer Science 502, Springer 1991, ISBN 3-540-54131-4 [contents] - 1990
- [c24]Dines Bjørner, Larry E. Druffel:
Position Statement: ICSE-12 Workshop on Industrial Experience Using Formal Methods. ICSE 1990: 264-266 - [e7]Dines Bjørner, C. A. R. Hoare, Hans Langmaack:
VDM '90, VDM and Z - Formal Methods in Software Development, Third International Symposium of VDM Europe, Kiel, FRG, April 17-21, 1990, Proceedings. Lecture Notes in Computer Science 428, Springer 1990, ISBN 3-540-52513-0 [contents]
1980 – 1989
- 1989
- [c23]Dines Bjørner:
Specification and Transformation. Methodology Aspects of the Vienna Development Method - Towards a Meaning of 'M' in VDM. Formal Description of Programming Concepts 1989: 137-258 - [c22]Dines Bjørner:
Towards a Meaning of 'M' in VDM: Specification Methodology Aspects of the Vienna Development Method (Invited Tutorial). TAPSOFT, Vol.2 1989: 1-35 - [e6]Larry E. Druffel, Dick Fairley, Dines Bjørner:
Proceedings of the 11th International Conference on Software Engineering, Pittsburg, PA, USA, May 15-18, 1989. IEEE Computer Society / ACM Press 1989, ISBN 0-8186-1941-4 [contents] - 1988
- [j1]Dines Bjørner:
Preface for the Special Issue (on Partial Evaluation and Mixed Computation). New Gener. Comput. 6(2&3): 77-78 (1988) - 1987
- [c21]Dines Bjørner:
The Stepwise Development of Software Development Graphs: Meta-Programming VDM Developments. VDM Europe 1987: 77-96 - [c20]Dines Bjørner:
On the Use of Formal Methods in Software Development. ICSE 1987: 17-29 - [e5]Dines Bjørner, Cliff B. Jones, Mícheál Mac an Airchinnigh, Erich J. Neuhold:
VDM '87, VDM - A Formal Method at Work, VDM-Europe Symposium, Brussels, Belgium, March 23-26, 1987, Proceedings. Lecture Notes in Computer Science 252, Springer 1987, ISBN 3-540-17654-3 [contents] - 1986
- [c19]Dines Bjørner:
Project Graphs and Meta-Programs. Towards a Theory of Software Development. System Development and Ada 1986: 117-152 - [c18]Dines Bjørner:
Software Development Graphs. A Unifying Concept for Software Development? FSTTCS 1986: 1-9 - 1984
- [c17]Hans Bekic, Dines Bjørner, Wolfgang Henhapl, Cliff B. Jones, Peter Lucas:
On the Formal Definition of a PL/I Subset (Selected parts). Programming Languages and Their Definition 1984: 107-155 - 1983
- [e4]Dines Bjørner:
Formal Description of Programming Concepts : Proceedings of the IFIP Working Conference on Formal Description of Programming Concepts- II, Garmisch-Partenkirchen, FRG, 1-4 June, 1982. North-Holland 1983, ISBN 0-444-86619-1 [contents] - 1982
- [c16]Dines Bjørner, Hans Henrik Løvengreen:
Formalization of Database Systems - and a Formal Definition of IMS (Invited Paper). VLDB 1982: 334-347 - 1981
- [c15]Dines Bjørner:
The VDM Principles of Software Specification and Program Design. ICFPC 1981: 44-74 - 1980
- [c14]Preben Folkjär, Dines Bjørner:
A Formal Model of a Generalized CSP-like Language. IFIP Congress 1980: 95-99 - [c13]Dines Bjørner:
Formal Description of Programming Concepts: A Software Engineering Viewpoint. MFCS 1980: 1-21 - [c12]Dines Bjørner, Ole N. Oest:
The DDC Ada Compiler Development Project. Towards a Formal Description of Ada 1980: 1-20 - [c11]Dines Bjørner:
Reference Manual for the Meta-Language. Towards a Formal Description of Ada 1980: 607-623 - [c10]Hans Henrik Løvengreen, Dines Bjørner:
On a formal model of the tasking concept in Ada. SIGPLAN 1980: 213-222 - [e3]Dines Bjørner:
Abstract Software Specifications, 1979 Copenhagen Winter School, January 22 - February 2, 1979, Proceedings. Lecture Notes in Computer Science 86, Springer 1980, ISBN 3-540-10007-5 [contents] - [e2]Dines Bjørner, Ole N. Oest:
Towards a Formal Description of Ada. Lecture Notes in Computer Science 98, Springer 1980, ISBN 3-540-10283-3 [contents]
1970 – 1979
- 1979
- [c9]Dines Bjørner:
Formalization of Data Base Models. Abstract Software Specifications 1979: 144-215 - [c8]Dines Bjørner:
Experiments in Block-structured GOTO Modelling: exits vs. Continuations. Abstract Software Specifications 1979: 216-247 - 1978
- [c7]Dines Bjørner:
Programming in the META-Language: A Tutorial. The Vienna Development Method: The Meta-Language 1978: 24-217 - [c6]Dines Bjørner:
Software Abstraction Principles: Tutorial Examples of: An Operating System Command Language Specification, and a PL/I-like On-Condition Language Definition. The Vienna Development Method: The Meta-Language 1978: 337-374 - [c5]Dines Bjørner:
The Vienna development method (VDM): Software specification & program synthesis. Mathematical Studies of Information Processing 1978: 326-359 - [e1]Dines Bjørner, Cliff B. Jones:
The Vienna Development Method: The Meta-Language. Lecture Notes in Computer Science 61, Springer 1978, ISBN 3-540-08766-4 [contents] - 1977
- [c4]Dines Bjørner:
Programming Languages: Formal Development of Interpreters and Compilers. International Computing Symposium 1977: 1-21 - [c3]Dines Bjørner:
Programming Languages: Linguistics and Semantics. International Computing Symposium 1977: 511-536 - 1973
- [i1]Dines Bjørner, E. F. Codd, Kenneth L. Deckert, Irving L. Traiger:
The Gamma-0 n-ary Relational Data Base Interface Specifications of Objects and Operations. Research Report / RJ / IBM / San Jose, California RJ1200 (1973) - 1970
- [c2]Dines Bjørner:
Finite state automation: definition of data communication line control procedures. AFIPS Fall Joint Computing Conference 1970: 477-491 - [c1]Dines Bjørner:
The Synthesis of Finite State Syntax Directed Top-Down and Bottom-Up Transducers. SWAT 1970: 122-132
Coauthor Index
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from , , and to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from .
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-10-07 21:24 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint