Dines Bjørner

Dines Bjørner: A survey of domain engineering. APSEC Workshops 2012: 145

Dines Bjørner: On "The Right" Software. Int. J. Software and Informatics 5(3): 509-523 (2011)

Dines Bjørner: Domains: Their Simulation, Monitoring and Control - A Divertimento of Ideas and Suggestions. Rainbow of Computer Science 2011: 167-183

Dines Bjørner, Asger Eir: Compositionality: Ontology and Mereology of Domains. Concurrency, Compositionality, and Correctness 2010: 22-59

Dines Bjørner, Christian Gram, Ole N. Oest, Leif Rystrøm: Dansk Datamatik Center. History of Nordic Computing 2010: 350-359

Dines Bjørner: Triptych Process Model. Encyclopedia of Software Engineering 2010: 1230-1248

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

Dines Bjørner: Editorial. Int. J. Software and Informatics 3(2-3): 121-127 (2009)

Dines Bjørner: Rôle of Domain Engineering in Software Development - Why Current Requirements Engineering Is Flawed ! Ershov Memorial Conference 2009: 2-34

Dines Bjørner: John Warner Backus: 3 Dec 1924-17 March 2007. Formal Asp. Comput. 20(3): 239-240 (2008)

Jianwen Xiang, Dines Bjørner, Kokichi Futatsugi: Formal digital license language with OTS/CafeOBJ method. AICCSA 2008: 652-660

Dines Bjørner: From Domain to Requirements. Concurrency, Graphs and Models 2008: 278-300

Dines Bjørner: Domain Theory: Practice and Theories A Discussion of Possible Research Topics. ICTAC 2007: 1-17

Dines Bjørner: Development of Transportation Systems. ISoLA 2007: 7

Dines Bjørner: A Cloverleaf of Software Engineering. SEFM 2005: 75-85

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

Dines Bjørner, Chris George, Anne Elisabeth Haxthausen, Christian Krog Madsen, Steffen Holmslykke, Martin Pnika: "UML-ising' Formal Techniques. SoftSpez Final Report 2004: 423-450

Dines Bjørner: The TRain Topical Day - A foreword. IFIP Congress Topical Sessions 2004: 605-606

Dines Bjørner: TRain: The Railway domain - A "Grand Challenge" for Computing Science & Transportation Engineering. IFIP Congress Topical Sessions 2004: 607-612

Martin Penicka, Dines Bjørner: From railway resource planning to train operation. IFIP Congress Topical Sessions 2004: 629-636

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

Dines Bjørner: Domain Engineering: a "Radical Innovation" for Software and Systems Engineering? A Biased Account. Verification: Theory and Practice 2003: 100-144

Dines Bjørner: "What Is an Infrastructure?" Towards an Informatics Answer. 10th Anniversary Colloquium of UNU/IIST 2002: 173-190

Dines Bjørner: On Teaching Software Engineering based on Formal Techniques - Thoughts about and Plans for - A Different Software Engineering Text Book. J. UCS 7(8): 641-667 (2001)

Dines Bjørner: On Formal Techniques in Protocol Engineering - Example Challenges. FORTE 2001: 395-420

Dines Bjørner, Manfred Broy, Alexandre V. Zamulin (Eds.): 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

Dines Bjørner: Pinnacles of software engineering: 25 years of formal methods. Ann. Software Eng. 10: 11-66 (2000)

Dines Bjørner: Domain Engineering: A Software Engineering Discipline in Need of Research. SOFSEM 2000: 1-17

Dines Bjørner, Manfred Broy, Alexandre V. Zamulin (Eds.): 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

Dines Bjørner: A Triptych Software Development Paradigm: Domain, Requirements and Software. Correct System Design 1999: 29-60

Dines Bjørner, Jorge Cuéllar: Software Engineering Education: Rôles of Formal Specification and Design Calculi. Ann. Software Eng. 6: 365-409 (1998)

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-

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

Dines Bjørner: A Formal Software Engeneering Paradigm: From Domains via Requirements to Software - Formal Specification & Design Calculi. SOFSEM 1997: 219-248

Dines Bjørner: Semantics and Laws of Man-Made Infrastucture Systems (Abstract). Ershov Memorial Conference 1996: 1

Dines Bjørner, Manfred Broy, Igor V. Pottosin (Eds.): 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

Dines Bjørner: Software Systems Engineering-From Domain Analysis Via Requirements Capture to Software Architectures. APSEC 1995: 2-11

Dines Bjørner: The UNU/IIST Approach to Software Technology Transfer: The PRaCoSy and DeTfoRS Case "Stories". IFIP Congress (3) 1994: 3-10

Dines Bjørner: University Curricula in Software Technology. Software Engineering Education 1993: 5-16

Dines Bjørner, Manfred Broy, Igor V. Pottosin (Eds.): 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

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

Dines Bjørner: Trusted Computing Systems: The ProCoS Experience. ICSE 1992: 15-34

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

Dines Bjørner, Søren Prehn: Formal Methods in Software Development: Requirements for a CASE. Software Development Environments and CASE Technology 1991: 178-210

Janis Barzdins, Dines Bjørner (Eds.): Baltic Computer Science, Selected Papers. Lecture Notes in Computer Science 502, Springer 1991, isbn 3-540-54131-4

Dines Bjørner, Larry E. Druffel: Position Statement: ICSE-12 Workshop on Industrial Experience Using Formal Methods. ICSE 1990: 264-266

Dines Bjørner, C. A. R. Hoare, Hans Langmaack (Eds.): 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

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

Larry E. Druffel, Dick Fairley, Dines Bjørner (Eds.): 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

Dines Bjørner: Preface for the Special Issue (on Partial Evaluation and Mixed Computation). New Generation Comput. 6(2&3): 77-78 (1988)

Dines Bjørner: The Stepwise Development of Software Development Graphs: Meta-Programming VDM Developments. VDM Europe 1987: 77-96

Dines Bjørner: On the Use of Formal Methods in Software Development. ICSE 1987: 17-29

Dines Bjørner, Cliff B. Jones, Mícheál Mac an Airchinnigh, Erich J. Neuhold (Eds.): 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

Dines Bjørner: Project Graphs and Meta-Programs. Towards a Theory of Software Development. System Development and Ada 1986: 117-152

Dines Bjørner: Software Development Graphs. A Unifying Concept for Software Development? FSTTCS 1986: 1-9

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

Dines Bjørner, Hans Henrik Løvengreen: Formalization of Database Systems - and a Formal Definition of IMS (Invited Paper). VLDB 1982: 334-347

Dines Bjørner: The VDM Principles of Software Specification and Program Design. ICFPC 1981: 44-74

Preben Folkjär, Dines Bjørner: A Formal Model of a Generalized CSP-like Language. IFIP Congress 1980: 95-99

Dines Bjørner: Formal Description of Programming Concepts: A Software Engineering Viewpoint. MFCS 1980: 1-21

Dines Bjørner, Ole N. Oest: The DDC Ada Compiler Development Project. Towards a Formal Description of Ada 1980: 1-20

Dines Bjørner: Reference Manual for the Meta-Language. Towards a Formal Description of Ada 1980: 607-623

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

Dines Bjørner, Ole N. Oest (Eds.): Towards a Formal Description of Ada. Lecture Notes in Computer Science 98, Springer 1980, isbn 3-540-10283-3

Dines Bjørner: Formalization of Data Base Models. Abstract Software Specifications 1979: 144-215

Dines Bjørner: Experiments in Block-structured GOTO Modelling: exits vs. Continuations. Abstract Software Specifications 1979: 216-247

Dines Bjørner: Programming in the META-Language: A Tutorial. The Vienna Development Method: The Meta-Language 1978: 24-217

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

Dines Bjørner: The Vienna development method (VDM): Software specification & program synthesis. Mathematical Studies of Information Processing 1978: 326-359

Dines Bjørner, Cliff B. Jones (Eds.): The Vienna Development Method: The Meta-Language. Lecture Notes in Computer Science 61, Springer 1978, isbn 3-540-08766-4

Dines Bjørner: Programming Languages: Formal Development of Interpreters and Compilers. International Computing Symposium 1977: 1-21

Dines Bjørner: Programming Languages: Linguistics and Semantics. International Computing Symposium 1977: 511-536

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. IBM Research Report RJ1200 (1973)

Dines Bjørner: The Synthesis of Finite State Syntax Directed Top-Down and Bottom-Up Transducers. SWAT (FOCS) 1970: 122-132