Dines Bjørner

Publication Activity (10 Years)

Years Active: 1970-2024
Publications (10 Years): 8

Top Topics

Arc Consistency

Software Development

Domain Independent

Top Venues

Theories of Programming and Formal Methods

J. Log. Algebraic Methods Program.

Specification, Algebra, and Software

Publications

Dines Bjørner
The 0'th PEPM Event: October 1987 - and Andrei Petrovich Ershov: 1977-1988 (Invited Contribution). PEPM (2024)
Dines Bjørner
Domain Modelling: A Foundation for Software Development. Theories of Programming and Formal Methods (2023)
Dines Bjørner
An Essence of Domain Engineering - A Basis for Trustworthy Aeronautics and Space Software. NFM (2022)
Dines Bjørner
Domain Analysis and Description - Sorts, Types, Intents. Formal Methods in Outer Space (2021)
Dines Bjørner
Domain Analysis and Description Principles, Techniques, and Modelling Languages. ACM Trans. Softw. Eng. Methodol. 28 (2) (2019)
Dines Bjørner
To every manifest domain a CSP expression - a rôle for mereology in computer science. J. Log. Algebraic Methods Program. 94 (2018)
Dines Bjørner
Domain Analysis & Description - The Implicit and Explicit Semantics Problem. IMPEX/FM&MDD (2017)
Dines Bjørner
Manifest domains: analysis and description. Formal Aspects Comput. 29 (2) (2017)
Dines Bjørner
Domain Endurants - An Analysis and Description Process Model. Specification, Algebra, and Software (2014)
Dines Bjørner, Klaus Havelund
40 Years of Formal Methods - Some Obstacles and Some Possibilities? FM (2014)
Dines Bjørner
A survey of domain engineering. APSEC Workshops (2012)
Dines Bjørner
On "The Right" Software. Int. J. Softw. Informatics 5 (3) (2011)
Dines Bjørner
Domains: Their Simulation, Monitoring and Control - A Divertimento of Ideas and Suggestions. Rainbow of Computer Science (2011)
Dines Bjørner, Asger Eir
Compositionality: Ontology and Mereology of Domains. Concurrency, Compositionality, and Correctness (2010)
Dines Bjørner, Christian Gram, Ole N. Oest, Leif Rystrøm
Dansk Datamatik Center. History of Nordic Computing (2010)
Dines Bjørner
Rôle of Domain Engineering in Software Development - Why Current Requirements Engineering Is Flawed ! Ershov Memorial Conference (2009)
Dines Bjørner
Editorial. Int. J. Softw. Informatics 3 (2-3) (2009)
Dines Bjørner
John Warner Backus: 3 Dec 1924-17 March 2007. Formal Aspects Comput. 20 (3) (2008)
Jianwen Xiang, Dines Bjørner, Kokichi Futatsugi
Formal digital license language with OTS/CafeOBJ method. AICCSA (2008)
Dines Bjørner
From Domain to Requirements. Concurrency, Graphs and Models (2008)
Dines Bjørner
Domain Theory: Practice and Theories A Discussion of Possible Research Topics. ICTAC (2007)
Dines Bjørner
Development of Transportation Systems. ISoLA (2007)
Dines Bjørner
A Cloverleaf of Software Engineering. SEFM (2005)
Dines Bjørner
TRain: The Railway domain - A "Grand Challenge" for Computing Science & Transportation Engineering. IFIP Congress Topical Sessions (2004)
Martin Penicka, Dines Bjørner
From railway resource planning to train operation - a brief survey of complementary formalisations. IFIP Congress Topical Sessions (2004)
Dines Bjørner, Chris George, Anne E. Haxthausen, Christian Krog Madsen, Steffen Holmslykke, Martin Pnika
"UML-ising' Formal Techniques. SoftSpez Final Report (2004)
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)
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)
Dines Bjørner
The TRain Topical Day - A foreword. IFIP Congress Topical Sessions (2004)
Dines Bjørner
Domain Engineering: a "Radical Innovation" for Software and Systems Engineering? A Biased Account. Verification: Theory and Practice (2003)
Dines Bjørner
"What Is an Infrastructure?" Towards an Informatics Answer. 10th Anniversary Colloquium of UNU/IIST (2002)
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) (2001)
Dines Bjørner
On Formal Techniques in Protocol Engineering - Example Challenges. FORTE (2001)
Dines Bjørner
Domain Engineering: A Software Engineering Discipline in Need of Research. SOFSEM (2000)
Dines Bjørner
Pinnacles of software engineering: 25 years of formal methods. Ann. Softw. Eng. 10 (2000)
Dines Bjørner
A Triptych Software Development Paradigm: Domain, Requirements and Software. Correct System Design (1999)
Dines Bjørner, Jorge Cuéllar
Software Engineering Education: Rôles of Formal Specification and Design Calculi. Ann. Softw. Eng. 6 (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)
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)
Dines Bjørner
A Formal Software Engeneering Paradigm: From Domains via Requirements to Software - Formal Specification & Design Calculi. SOFSEM (1997)
Dines Bjørner
Semantics and Laws of Man-Made Infrastucture Systems (Abstract). Ershov Memorial Conference (1996)
Dines Bjørner
Software Systems Engineering-From Domain Analysis Via Requirements Capture to Software Architectures. APSEC (1995)
Dines Bjørner
The UNU/IIST Approach to Software Technology Transfer: The PRaCoSy and DeTfoRS Case "Stories". IFIP Congress (3) (1994)
Dines Bjørner
University Curricula in Software Technology. Software Engineering Education (1993)
Dines Bjørner
Trusted Computing Systems: The ProCoS Experience. ICSE (1992)
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)
Dines Bjørner, Jørgen Fischer Nilsson
Algorithmic & Knowledge Based Methods - Do they "Unify" ? With some Programme Remarks for UNU/IIST. FGCS (1992)
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) (1992)
Dines Bjørner, Søren Prehn
Formal Methods in Software Development: Requirements for a CASE. Software Development Environments and CASE Technology (1991)
Dines Bjørner, Larry E. Druffel
Position Statement: ICSE-12 Workshop on Industrial Experience Using Formal Methods. ICSE (1990)
Dines Bjørner
Towards a Meaning of 'M' in VDM: Specification Methodology Aspects of the Vienna Development Method (Invited Tutorial). TAPSOFT, Vol.2 (1989)
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)
Dines Bjørner
Preface for the Special Issue (on Partial Evaluation and Mixed Computation). New Gener. Comput. 6 (2&3) (1988)
Dines Bjørner
On the Use of Formal Methods in Software Development. ICSE (1987)
Dines Bjørner
The Stepwise Development of Software Development Graphs: Meta-Programming VDM Developments. VDM Europe (1987)
Dines Bjørner
Software Development Graphs. A Unifying Concept for Software Development? FSTTCS (1986)
Dines Bjørner
Project Graphs and Meta-Programs. Towards a Theory of Software Development. System Development and Ada (1986)
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)
Dines Bjørner, Hans Henrik Løvengreen
Formalization of Database Systems - and a Formal Definition of IMS (Invited Paper). VLDB (1982)
Dines Bjørner
The VDM Principles of Software Specification and Program Design. ICFPC (1981)
Preben Folkjär, Dines Bjørner
A Formal Model of a Generalized CSP-like Language. IFIP Congress (1980)
Hans Henrik Løvengreen, Dines Bjørner
On a formal model of the tasking concept in Ada. SIGPLAN (1980)
Dines Bjørner, Ole N. Oest
The DDC Ada Compiler Development Project. Towards a Formal Description of Ada (1980)
Dines Bjørner
Formal Description of Programming Concepts: A Software Engineering Viewpoint. MFCS (1980)
Dines Bjørner
Reference Manual for the Meta-Language. Towards a Formal Description of Ada (1980)
Dines Bjørner
Experiments in Block-structured GOTO Modelling: exits vs. Continuations. Abstract Software Specifications (1979)
Dines Bjørner
Formalization of Data Base Models. Abstract Software Specifications (1979)
Dines Bjørner
The Vienna development method (VDM): Software specification & program synthesis. Mathematical Studies of Information Processing (1978)
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)
Dines Bjørner
Programming in the META-Language: A Tutorial. The Vienna Development Method: The Meta-Language (1978)
Dines Bjørner
Programming Languages: Formal Development of Interpreters and Compilers. International Computing Symposium (1977)
Dines Bjørner
Programming Languages: Linguistics and Semantics. International Computing Symposium (1977)
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 (1973)
Dines Bjørner
Finite state automation: definition of data communication line control procedures. AFIPS Fall Joint Computing Conference (1970)
Dines Bjørner
The Synthesis of Finite State Syntax Directed Top-Down and Bottom-Up Transducers SWAT (1970)