Dines Bjørner

Q: What Schools Are Affiliated With Dines Bjørner

Dines Bjørner is affiliated with the following schools: Technical University of Denmark, University of Copenhagen

Dines Bjørner's AcademicInfluence.com Rankings

Dines Bjørner

Computer Science

#532

World Rank

#552

Historical Rank

Database

#3527

World Rank

#3674

Historical Rank

computer-science Degrees

Download Badge

Computer Science

Dines Bjørner's Degrees

PhD Computer Science University of Copenhagen
Masters Mathematics University of Copenhagen

Similar Degrees You Can Earn

Best Online PhD of Computer Science (Doctorates) 2025

Why Is Dines Bjørner Influential?

(Suggest an Edit or Addition)

According to Wikipedia, Professor Dines Bjørner is a Danish computer scientist. He specializes in research into domain engineering, requirements engineering and formal methods. He worked with Cliff Jones and others on the Vienna Development Method at IBM Laboratory Vienna . Later he was involved with producing the RAISE formal method with tool support.

(See a Problem?)

Dines Bjørner's Published Works

Number of citations in a given year to any of this author's works

Total number of citations to an author for the works they published in a given year. This highlights publication of the most important work(s) by the author

Published Works

The Vienna Development Method: The Meta-Language (1978) (402)
Formal specification and software development (1982) (255)
Perspectives of System Informatics (2001) (169)
Partial Evaluation and Mixed Computation (1987) (133)
Software Engineering 3 - Domains, Requirements, and Software Design (2006) (95)
Logics of Specification Languages (2007) (80)
VDM '90 VDM and Z — Formal Methods in Software Development (1990) (77)
Abstract Software Specifications (1982) (75)
Partial Evaluation and Mixed Computation: Proceedings of the IFIP TC2 Workshop, Gammel Avernaes, Denmark, 18-24 Oct., 1987 (1988) (62)
Formal Methods in Programming and Their Applications (1993) (53)
On the use of formal methods in software development (1987) (53)
A formal definition of a PL/I subset (1984) (42)
From Domain to Requirements (2008) (42)
Software Engineering 2 - Specification of Systems and Languages (2006) (36)
Rôle of Domain Engineering in Software Development - Why Current Requirements Engineering Is Flawed ! (2009) (36)
A Formal Type System for Comparing Partial Evaluators (1988) (33)
Software Engineering 1 - Abstraction and Modelling (2006) (32)
Baltic Computer Science (1991) (32)
Software Engineering, vol. 3: Domains, Requirements and Software Design (2006) (30)
Domain Engineering - Technology Management, Research and Engineering (2009) (29)
40 Years of Formal Methods - Some Obstacles and Some Possibilities? (2014) (28)
VDM '87 VDM — A Formal Method at Work (1987) (28)
VDM - A Formal Method at Work: Proceedings of the VDM-Europe Symposium (VDM '87), Brussels, Belgium, 23-26 March 1987 (1987) (28)
Software Engineering, vol. 1: Abstraction and Modelling (2006) (28)
Software Engineering 1: Abstraction and Modelling (Texts in Theoretical Computer Science. An EATCS Series) (2005) (26)
Domains, requirements, and software design (2006) (26)
Software Engineering, vol 2: Specification of Systems and Languages (2006) (25)
Michael Jackson's problem frames: towards methodological principles of selecting and applying formal software development techniques and tools (1997) (25)
Programming Languages: Formal Development of Interpreters and Compilers (1977) (24)
Formal Software Techniques for Railway Systems (2000) (24)
Pinnacles of software engineering: 25 years of formal methods (2000) (24)
Domain Theory: Practice and Theories A Discussion of Possible Research Topics (2007) (23)
Formalization of Data Base Models (1979) (23)
Compositionality: Ontology and Mereology of Domains (2010) (22)
Development of Transportation Systems (2007) (22)
Programming in the META-Language: A Tutorial (1978) (22)
Domain Engineering: A Software Engineering Discipline in Need of Research (2000) (19)
Abstraction and modelling (2006) (18)
Manifest domains: analysis and description (2017) (16)
Domains as a Prerequisite for Requirements and Software Domain Perspectives & Facets, Requirements Aspects and Software Views (1997) (16)
On Mereologies in Computing Science (2010) (15)
Train Maintenance Routing (2003) (15)
TRain: The Railway domain - A "Grand Challenge" for Computing Science & Transportation Engineering (2004) (14)
Scheduling and rescheduling of trains (1999) (14)
The DDC Ada Compiler Development Project (1980) (14)
Finite state automation: definition of data communication line control procedures (1970) (14)
The Vienna development method (VDM): Software specification & program synthesis (1978) (13)
A Formal Model of a Generalized CSP-like Language (1980) (13)
Domain Engineering: a "Radical Innovation" for Software and Systems Engineering? A Biased Account (2003) (13)
Domains: Their Simulation, Monitoring and Control - A Divertimento of Ideas and Suggestions (2011) (13)
Formal digital license language with OTS/CafeOBJ method (2008) (12)
Specification of systems and languages (2006) (12)
Railway Staff Rostering (2003) (12)
Where do software architectures come from? Systematic development from domains and requirements. A re-assessment of software engineering? (1998) (11)
Domain Models of “The Market” (2003) (11)
The role of domain engineering in software development (2007) (11)
Software engineering education: Rôles of formal specification and design calculi (1999) (11)
Partial evaluation and mixed computation : proceedings of the IFIP TC2 Workshop on Partial Evaluation and Mixed Computation, Gammel Avernæs, Denmark, 18-24 October, 1987 (1988) (11)
Computing Systems for Railways - A Role for Domain Engineering. Relations to Requirements Engineering and Software for Control Applications} (2002) (10)
Domain Analysis and Description Principles, Techniques, and Modelling Languages (2019) (10)
Proceedings of the Third International Symposium of VDM Europe on VDM and Z - Formal Methods in Software Development (1990) (10)
Software Abstraction Principles: Tutorial Examples of: An Operating System Command Language Specification, and a PL/I-like On-Condition Language Definition (1978) (10)
Formalization of Database Models (1982) (10)
Position statement: ICSE-12 workshop on industrial experience using formal methods (1990) (9)
From railway resource planning to train operation - a brief survey of complementary formalisations (2004) (9)
"UML-ising' Formal Techniques (2004) (9)
Software Development Graphs. A Unifying Concept for Software Development? (1986) (9)
Domain Analysis: Endurants An Analysis & Description Process Model (2013) (9)
Trusted computing systems: the ProCoS experience (1992) (8)
Trusted Computing Systems: The ProCoS* Experience (1992) (8)
A Triptych Software Development Paradigm: Domain, Requirements and Software (1999) (8)
The Gamma-0 n-ary Relational Data Base Interface Specifications of Objects and Operations (1973) (8)
Believable Software Management ∗ (2007) (8)
A Rôle for Mereology in Domain Science and Engineering: To Every Mereology There Corresponds a λ–Expression (2014) (7)
Project Graphs and Meta-Programs. Towards a Theory of Software Development (1986) (7)
Towards a Meaning of 'M' in VDM: Specification Methodology Aspects of the Vienna Development Method (Invited Tutorial) (1989) (7)
Formalization of Database Systems - and a Formal Definition of IMS (Invited Paper) (1982) (7)
From Computer Science to The Sciences of Informatics Part I of II: The Engineering Part (2010) (7)
Proceedings of the 36th International Conference on Software Engineering (1989) (7)
From Domain Descriptions to Requirements Prescriptions : A Different Approach to Requirements Engineering (2015) (7)
Programming Languages: Linguistics and Semantics (1977) (7)
Domain Engineering A Basis for Safety Critical Software (2014) (6)
Algorithmic & Knowledge Based Methods - Do they "Unify" ? With some Programme Remarks for UNU/IIST (1992) (6)
On domains and domain engineering : prerequisites for trustworthy software, a necessity for believable project management (2006) (6)
Dynamics of Railway Nets (2003) (6)
The VDM Principles of Software Specification and Program Design (1981) (6)
On Teaching Software Engineering based on Formal Techniques - Thoughts about and Plans for - A Different Software Engineering Text Book (2001) (6)
Domain science and engineering from computer science to the sciences of informatics. Part II: science (2011) (6)
Interflow systems for manufacturing: concepts and a construction (1995) (6)
Domain Analysis & Description - The Implicit and Explicit Semantics Problem (2018) (6)
Some Clarifying Observations in the Context of Software Engineering (2008) (5)
The Stepwise Development of Software Development Graphs: Meta-Programming VDM Developments (1987) (5)
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 (1983) (5)
Construction informatics - Issues in engineering, computer science and ontology (2004) (5)
To every manifest domain a CSP expression - a rôle for mereology in computer science (2018) (5)
On the Formal Definition of a PL/I Subset (Selected parts) (1984) (4)
From Domain Descriptions to Requirements Prescriptions: A Different Initial Approach to Requirements Engineering (2016) (4)
Analysis and Description (2015) (4)
Experiments in Block-structured GOTO Modelling: exits vs. Continuations (1979) (4)
Software systems engineering-from domain analysis via requirements capture to software architectures (1995) (4)
Towards a formal model of CyberRail (2004) (4)
On a formal model of the tasking concept in Ada (1980) (4)
A Cloverleaf of Software Engineering (2005) (3)
Domain Endurants - An Analysis and Description Process Model (2014) (3)
Formal, model-oriented software development methods: From VDM to ProCoS & from RAISE to LaCoS (1992) (3)
A Family of License Languages (2007) (3)
Informatics: A Truly Interdisciplinary Science Prospects for an Emerging World (2000) (3)
Formal Methods in Software Development: Requirements for a CASE (1991) (3)
Reference Manual for the Meta-Language (1980) (3)
Towards Posit & Prove Calculi for Requirements Engineering and Software Design: In Honour of the Memory of Professor Ole-Johan Dahl (2004) (3)
From Domains to Requirements On a Triptych of Software Development (2009) (3)
Domain Science & Engineering: A Foundation for Computation for Humanity (2014) (3)
Towards Design Calculi for Requirements Engineering and Software Design (2003) (3)
Dansk Datamatik Center (2010) (3)
What is a method?: an essay on some aspects of domain engineering (2003) (3)
Domain science and engineering from computer science to the sciences of informatics. Part I: Engineering (2010) (2)
Flowchart machines (1970) (2)
A survey of domain engineering (2012) (2)
Public government, a domain analysis (2006) (2)
A Container Line Industry Domain DRAFT (2007) (2)
Baltic Computer Science: Selected Papers (1991) (2)
A Formal Software Engeneering Paradigm: From Domains via Requirements to Software - Formal Specification & Design Calculi (1997) (2)
Triptych Process Model (2010) (2)
The Triptych Process Model 1 Process Assessment and Improvement (2006) (2)
Images of programming : dedicated to the memory of A.P. Ershov : papers collected under of the auspices of IFIP TC2 (1991) (2)
Formal Description of Programming Concepts: A Software Engineering Viewpoint (1980) (2)
Perspectives of Systems Informatics, 5th International Andrei Ershov Memorial Conference, PSI 2003, Akademgorodok, Novosibirsk, Russia, July 9-12, 2003, Revised Papers (2001) (2)
Domain Modelling: Resource Management: Strategics, Tactics and Operations (2000) (2)
On a formal model of the tasking concept in Ada (1980) (2)
Software Engineering and Programming Past-Present-Future (1986) (2)
Proceedings of the International Conference on Formal Methods in Programming and Their Applications (1993) (1)
Perspectives of System Informatics (2000) (1)
Facets of software development (1989) (1)
A License Language Design and Analysis for E-Government (2007) (1)
Winding up (2018) (1)
Domains and Problem Frames An Experiment in Triptych Software Development (2006) (1)
From Domains to Requirements ∗ Methodology Contributions to Domain Analysis and Requirements Engineering (2010) (1)
Formal model of robots: geometry and kinematics (1994) (1)
A Role for Stanis law Leshniewski's Mereology and Bertrand Russell's Philosophy of Logical Atomism (2009) (1)
Possible collaborative "domain" projects (2006) (1)
University Curricula in Software Technology (1993) (1)
A Survey of Formal Methods in Software Development (2012) (1)
Domain Science and Engineering: A Foundation for Software Development (2021) (1)
Domain Analysis and Description 1 (2014) (1)
On "The Right" Software (2011) (1)
Perspectives of system informatics : Second International Andrei Ershov Memorial Conference, Akademgorodok, Novosibirsk, Russia, June 25-28, 1996, proceedings (1996) (1)
What is an Infrastructure (2002) (1)
Formal methods in programming and their applications : International Conference, Academgorodok, Novosibirsk, Russia, June 28-July 2, 1993 : proceedings (1993) (1)
Formal Methods in the 21'st Century: An Assessment of Today - Predictions for the Future (1998) (1)
An Ontology for a TripTych Formal Software Development (2003) (1)
The TSE Trading Rules 1 (2010) (1)
Information and command infrastructures for small and medium size enterprises (1995) (1)
Conceptual Threads of Datalogy, Informatics and Information Technology: PROPOSAL FOR THEIR FOUNDATION IN SECONDARY AND HIGH SCHOOL EDUCATION (1988) (0)
Semantics and Laws of Man-Made Infrastucture Systems (Abstract) (1996) (0)
Towards a Theory of Domain Descriptions — Bergen 8 May Mini-course Notes — (2012) (0)
Andrei Ershov 4th International Conference on Perspectives of System Informatics (2001) (0)
O N F O R M A L TECHNIQUES IN PROTOCOL ENGINEERING — EXAMPLE CHALLENGES (2006) (0)
Michael Jackson's Frame Problems (1997) (0)
MITS : models of IT security : security rules & regulations : an interpretation (2007) (0)
Some Thoughts on Teaching Software Engineering Central Rôles of Semantics (2017) (0)
On a Triptych of Software Development (2010) (0)
Proceedings of the Abstract Software Specifications, 1979 Copenhagen Winter School (1979) (0)
Domain Analysis and Description - Sorts, Types, Intents (2021) (0)
Specification and Transformation. Methodology Aspects of the Vienna Development Method - Towards a Meaning of 'M' in VDM (1989) (0)
Preface for the special issue (1988) (0)
John Warner Backus: 3 Dec 1924–17 March 2007 (2008) (0)
Proceedings of the Second International Andrei Ershov Memorial Conference on Perspectives of System Informatics (1996) (0)
SPACE, TIME and MATTER (2021) (0)
Domain Science and Engineering A Review of 10 Years Work and a Laudatio The ZCC Fest, 20 October 2017, Changsha, China (2018) (0)
DOMAINS – An Ontology: Internal Qualities (2021) (0)
Acknowledgement to referees (2004) (0)
Formal specification is an experimental science (1992) (0)
Verified software for ubiquitous computing : a proposed VSTTE/ubiquitous computing foothill project (2006) (0)
The Synthesis of Finite State Syntax Directed Top-Down and Bottom-Up Transducers (1970) (0)
Lecture Notes in Software Engineering Budapest, 11-22 October 2010 (2010) (0)
Documents : a domain analysis, an experiment in domain engineering (2006) (0)
Manifest domains: analysis and description (2016) (0)
DOMAINS – A Taxonomy: External Qualities (2021) (0)
Towards a Formal Understanding of Urban Planning Some Initial Thoughts (2018) (0)
Erratum to: ProCoS: How It All Began - as Seen from Denmark (2017) (0)
The TRain Topical Day - A foreword (2004) (0)
Revised Papers from the 4th International Andrei Ershov Memorial Conference on Perspectives of System Informatics: Akademgorodok, Novosibirsk, Russia (2001) (0)
DEMOS, SIMULATORS,MONITORS AND CONTROLLERS (2021) (0)
Abstract Software Specifications, 1979 Copenhagen Winter School, January 22 - February 2, 1979, Proceedings (1980) (0)
Some Obstacles and Some Possibilities (2014) (0)
A flow-mode, self-steering, cellular multiplier-summation processor (1970) (0)
ProCoS: How It All Began - as Seen from Denmark (2017) (0)
"What Is an Infrastructure?" Towards an Informatics Answer (2002) (0)
From Research to Practice: Self-reliance of the Developing World through own Software Technology: Education, Development, Management & Research (1992) (0)
The UNU/IIST Approach to Software Technology Transfer: The PRaCoSy and DeTfoRS Case "Stories" (1994) (0)
DOMAIN FACETS (2021) (0)
Perspectives of system informatics : third International Andrei Ershov Memorial Conference, PSI '99, Akademgorodok, Novosibirsk, Russia, July 6-9, 1999 : proceedings (2000) (0)
On Formal Techniques in Protocol Engineering - Example Challenges (2001) (0)
DOMAIN PHILOSOPHY (2021) (0)
An Essence of Domain Engineering - A Basis for Trustworthy Aeronautics and Space Software (2022) (0)
Proceedings of the VDM-Europe Symposium on VDM - A Formal Method at Work (1987) (0)
DOMAINS – A Dynamics Ontology: Perdurants (2021) (0)
Pipe System Domain Models ∗ Examples of Informal and Formal Descriptions Research Notes (2012) (0)

This paper list is powered by the following services:

Other Resources About Dines Bjørner

en.wikipedia.org

What Schools Are Affiliated With Dines Bjørner?

Dines Bjørner is affiliated with the following schools:

Dines Bjørner's Academic­Influence.com Rankings