What Schools Are Affiliated With Dines Bjørner

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

Dines Bjørner | Academic Influence

Why Is Dines Bjørner Influential?

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.

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 Papers

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

This paper list is powered by the following services:

Dines Bjørner

Why Is Dines Bjørner Influential?

Dines Bjørner's Published Works

Published Papers

Other Resources About Dines Bjørner