Dines Bjørner

According to our database1, Dines Bjørner authored at least 78 papers between 1970 and 2018.

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of four.

Awards

ACM Fellow

ACM Fellow 2005, "For contributions to formal methods and for international leadership.".

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Other 

Links

Homepages:

On csauthors.net:

Bibliography

2018
To every manifest domain a CSP expression - a rôle for mereology in computer science.
J. Log. Algebr. Meth. Program., 2018

2017
Manifest domains: analysis and description.
Formal Asp. Comput., 2017

Domain Analysis & Description - The Implicit and Explicit Semantics Problem.
Proceedings of the Proceedings Joint Workshop on Handling IMPlicit and EXplicit knowledge in formal system development (IMPEX) and Formal and Model-Driven Techniques for Developing Trustworthy Systems (FM&MDD), 2017

Domain Science and Engineering A Review of 10 Years Work and a Laudatio The ZCC Fest, 20 October 2017, Changsha, China.
Proceedings of the Symposium on Real-Time and Hybrid Systems, 2017

ProCoS: How It All Began - as Seen from Denmark.
Proceedings of the Provably Correct Systems, 2017

Erratum to: ProCoS: How It All Began - as Seen from Denmark.
Proceedings of the Provably Correct Systems, 2017

2014
40 Years of Formal Methods - Some Obstacles and Some Possibilities?
Proceedings of the FM 2014: Formal Methods, 2014

Domain Endurants - An Analysis and Description Process Model.
Proceedings of the Specification, Algebra, and Software, 2014

2012
A survey of domain engineering.
Proceedings of the 19th Asia-Pacific Software Engineering Conference - Workshops, 2012

2011
On "The Right" Software.
Int. J. Software and Informatics, 2011

Domains: Their Simulation, Monitoring and Control - A Divertimento of Ideas and Suggestions.
Proceedings of the Rainbow of Computer Science, 2011

2010
Triptych Process Model.
Proceedings of the Encyclopedia of Software Engineering, 2010

Dansk Datamatik Center.
Proceedings of the History of Nordic Computing 3 - Third IFIP WG 9.7 Conference, 2010

Compositionality: Ontology and Mereology of Domains.
Proceedings of the Concurrency, 2010

On Mereologies in Computing Science.
Proceedings of the Reflections on the Work of C. A. R. Hoare., 2010

2009
Editorial.
Int. J. Software and Informatics, 2009

Rôle of Domain Engineering in Software Development - Why Current Requirements Engineering Is Flawed !
Proceedings of the Perspectives of Systems Informatics, 2009

Domain Engineering - Technology Management, Research and Engineering.
COE Research Monograph Series 4, JAIST, ISBN: 978-4-903092-17-1, 2009

2008
John Warner Backus: 3 Dec 1924-17 March 2007.
Formal Asp. Comput., 2008

From Domain to Requirements.
Proceedings of the Concurrency, 2008

Formal digital license language with OTS/CafeOBJ method.
Proceedings of the 6th ACS/IEEE International Conference on Computer Systems and Applications, 2008

2007
Development of Transportation Systems.
Proceedings of the ISoLA 2007, 2007

Domain Theory: Practice and Theories A Discussion of Possible Research Topics.
Proceedings of the Theoretical Aspects of Computing, 2007

2006
Software Engineering 3 - Domains, Requirements, and Software Design
Texts in Theoretical Computer Science. An EATCS Series, Springer, ISBN: 978-3-540-33653-2, 2006

Software Engineering 2 - Specification of Systems and Languages
Texts in Theoretical Computer Science. An EATCS Series, Springer, ISBN: 978-3-540-33193-3, 2006

Software Engineering 1 - Abstraction and Modelling
Texts in Theoretical Computer Science. An EATCS Series, Springer, ISBN: 978-3-540-31288-8, 2006

2005
A Cloverleaf of Software Engineering.
Proceedings of the Third IEEE International Conference on Software Engineering and Formal Methods (SEFM 2005), 2005

2004
From railway resource planning to train operation - a brief survey of complementary formalisations.
Proceedings of the Building the Information Society, 2004

Towards a formal model of CyberRail.
Proceedings of the Building the Information Society, 2004

TRain: The Railway domain - A "Grand Challenge" for Computing Science & Transportation Engineering.
Proceedings of the Building the Information Society, 2004

The TRain Topical Day - A foreword.
Proceedings of the Building the Information Society, 2004

"UML-ising' Formal Techniques.
Proceedings of the Integration of Software Specification Techniques for Applications in Engineering, 2004

Towards Posit & Prove Calculi for Requirements Engineering and Software Design: In Honour of the Memory of Professor Ole-Johan Dahl.
Proceedings of the From Object-Orientation to Formal Methods, 2004

2003
Domain Engineering: a "Radical Innovation" for Software and Systems Engineering? A Biased Account.
Proceedings of the Verification: Theory and Practice, 2003

2002
"What Is an Infrastructure?" Towards an Informatics Answer.
Proceedings of the Formal Methods at the Crossroads. From Panacea to Foundational Support, 2002

2001
On Teaching Software Engineering based on Formal Techniques - Thoughts about and Plans for - A Different Software Engineering Text Book.
J. UCS, 2001

On Formal Techniques in Protocol Engineering - Example Challenges.
Proceedings of the Formal Techniques for Networked and Distributed Systems, 2001

2000
Pinnacles of software engineering: 25 years of formal methods.
Ann. Software Eng., 2000

Domain Engineering: A Software Engineering Discipline in Need of Research.
Proceedings of the SOFSEM 2000: Theory and Practice of Informatics, 27th Conference on Current Trends in Theory and Practice of Informatics, Milovy, Czech Republic, November 25, 2000

1999
A Triptych Software Development Paradigm: Domain, Requirements and Software.
Proceedings of the Correct System Design, 1999

1998
Software Engineering Education: Rôles of Formal Specification and Design Calculi.
Ann. Software Eng., 1998

1997
A Formal Software Engeneering Paradigm: From Domains via Requirements to Software - Formal Specification & Design Calculi.
Proceedings of the SOFSEM '97: Theory and Practice of Informatics, 1997

Domains as a Prerequisite for Requirements and Software Domain Perspectives & Facets, Requirements Aspects and Software Views.
Proceedings of the Requirements Targeting Software and Systems Engineering, 1997

Michael Jackson's Problem Frames: Towards Methodological Principles of Selecting and Applying Formal Software Development Techniques and Tools.
Proceedings of the First IEEE International Conference on Formal Engineering Methods, 1997

1996
Semantics and Laws of Man-Made Infrastucture Systems (Abstract).
Proceedings of the Perspectives of System Informatics, 1996

1995
Software Systems Engineering-From Domain Analysis Via Requirements Capture to Software Architectures.
Proceedings of the 2nd Asia-Pacific Software Engineering Conference (APSEC '95), 1995

1994
The UNU/IIST Approach to Software Technology Transfer: The PRaCoSy and DeTfoRS Case "Stories".
Proceedings of the Linkage and Developing Countries, Information Processing '94, Volume 3, Proceedings of the IFIP 13th World Computer Congress, Hamburg, Germany, 28 August, 1994

1993
University Curricula in Software Technology.
Proceedings of the Software Engineering Education, Proceedings of the IFIP WG3.4/SEARCC (SRIG on Education and Training) Working Conference, Hong Kong, 28 September, 1993

1992
Formal, model-oriented software development methods: From VDM to ProCoS & from RAISE to LaCoS.
Future Generation Comp. Syst., 1992

From Research to Practice: Self-reliance of the Developing World through own Software Technology: Education, Development, Management & Research.
Proceedings of the Algorithms, Software, Architecture, 1992

Trusted Computing Systems: The ProCoS Experience.
Proceedings of the 14th International Conference on Software Engineering, 1992

Algorithmic & Knowledge Based Methods - Do they "Unify" ? With some Programme Remarks for UNU/IIST.
FGCS, 1992

1991
Formal Methods in Software Development: Requirements for a CASE.
Proceedings of the Software Development Environments and CASE Technology, 1991

1990
Position Statement: ICSE-12 Workshop on Industrial Experience Using Formal Methods.
Proceedings of the 12th International Conference on Software Engineering, 1990

1989
Towards a Meaning of 'M' in VDM: Specification Methodology Aspects of the Vienna Development Method (Invited Tutorial).
Proceedings of the TAPSOFT'89: Proceedings of the International Joint Conference on Theory and Practice of Software Development, 1989

Specification and Transformation. Methodology Aspects of the Vienna Development Method - Towards a Meaning of 'M' in VDM.
Proceedings of the Formal Description of Programming Concepts, 1989

1988
Preface for the Special Issue (on Partial Evaluation and Mixed Computation).
New Generation Comput., 1988

1987
On the Use of Formal Methods in Software Development.
Proceedings of the Proceedings, 9th International Conference on Software Engineering, Monterey, California, USA, March 30, 1987

The Stepwise Development of Software Development Graphs: Meta-Programming VDM Developments.
Proceedings of the VDM '87, VDM - A Formal Method at Work, 1987

1986
Software Development Graphs. A Unifying Concept for Software Development?
Proceedings of the Foundations of Software Technology and Theoretical Computer Science, 1986

Project Graphs and Meta-Programs. Towards a Theory of Software Development.
Proceedings of the Software Development and Ada, 1986

1984
On the Formal Definition of a PL/I Subset (Selected parts).
Proceedings of the Programming Languages and Their Definition - Hans Bekic (1936-1982), 1984

1982
Formalization of Database Systems - and a Formal Definition of IMS (Invited Paper).
Proceedings of the Eigth International Conference on Very Large Data Bases, 1982

1981
The VDM Principles of Software Specification and Program Design.
Proceedings of the Formalization of Programming Concepts, 1981

1980
The DDC Ada Compiler Development Project.
Proceedings of the Towards a Formal Description of Ada, 1980

Reference Manual for the Meta-Language.
Proceedings of the Towards a Formal Description of Ada, 1980

Formal Description of Programming Concepts: A Software Engineering Viewpoint.
Proceedings of the Mathematical Foundations of Computer Science 1980 (MFCS'80), 1980

A Formal Model of a Generalized CSP-like Language.
IFIP Congress, 1980

1979
Experiments in Block-structured GOTO Modelling: exits vs. Continuations.
Proceedings of the Abstract Software Specifications, 1979 Copenhagen Winter School, January 22, 1979

Formalization of Data Base Models.
Proceedings of the Abstract Software Specifications, 1979 Copenhagen Winter School, January 22, 1979

1978
The Vienna development method (VDM): Software specification & program synthesis.
Proceedings of the Mathematical Studies of Information Processing, 1978

Software Abstraction Principles: Tutorial Examples of: An Operating System Command Language Specification, and a PL/I-like On-Condition Language Definition.
Proceedings of the Vienna Development Method: The Meta-Language, 1978

Programming in the META-Language: A Tutorial.
Proceedings of the Vienna Development Method: The Meta-Language, 1978

1977
Programming Languages: Linguistics and Semantics.
Proceedings of the International Computing Symposium 1977, 1977

Programming Languages: Formal Development of Interpreters and Compilers.
Proceedings of the International Computing Symposium 1977, 1977

1973
The Gamma-0 n-ary Relational Data Base Interface Specifications of Objects and Operations.
IBM Research Report, April, 1973

1970
The Synthesis of Finite State Syntax Directed Top-Down and Bottom-Up Transducers
Proceedings of the 11th Annual Symposium on Switching and Automata Theory, 1970

Finite state automation: definition of data communication line control procedures.
Proceedings of the American Federation of Information Processing Societies: Proceedings of the AFIPS '70 Fall Joint Computer Conference, 1970


  Loading...