Get started
Author

Dines Bjørner

Observed names: Bjorner, Bjorner, Dines, Bjørner, Dines, Bjørner, Dines, Bjørner, Dines 1937-, D Bjorner, D Bjørner, D. Bjorner, D. Bjørner, DINES BJøRNER, Dines Bjoerner, Dines Bjorner, Dines Bjrner, Dines Bjørner Α, Dines Bjørner*†
Observed institutions: University of Essex, United Nations, IBM (United States), National University of Singapore, Japan Advanced Institute of Science and Technology, United Nations University, Laboratoire Lorrain de Recherche en Informatique et ses Applications, United Nations University, United Nations University, Université Henri Poincaré, Technical University of Denmark
ORCID: 0000-0002-6225-6808
Observed ORCID: 0000-0002-6225-6808
OpenAlex ID: A5038481049
The Vienna Development Method: The Meta-Language
1978 · D Bjørner, Clifford Jones · Lecture notes in computer science · 383
Formal Specification and Software Development
1982 · D Bjørner, Clifford Jones · Newcastle University ePrints (Newcastle Univesity) · 209
Formal description of programming concepts
1980 · Dines Bjørner · Lecture notes in computer science · 163
Proceedings of the 11th international conference on Software engineering
1989 · Larry E. Druffel, Dick Fairley, et al. · 84
Software Engineering, vol. 3: Domains, Requirements and Software Design
2006 · Dines Bjørner · 61
On the use of formal methods in software development
1987 · Dines Bjørner · 51
Partial Evaluation and Mixed Computation: Proceedings of the IFIP TC2 Workshop, Gammel Avernaes, Denmark, 18-24 Oct., 1987
1988 · Dines Bjørner, Neil D. Jones, et al. · Elsevier eBooks · 49
40 Years of Formal Methods
2014 · Dines Bjørner, Klaus Havelund · Lecture notes in computer science · 48
Software Engineering 3: Domains, Requirements, and Software Design (Texts in Theoretical Computer Science. An EATCS Series)
2006 · Dines Bjørner · 47
A formal definition of a PL/I subset
2006 · H. Bekić, D. Bjørner, et al. · Springer eBooks · 35
A ProCos Project Description: Esprit BRA 3104
1989 · Dines Bjoerner, C. A. R. Hoare, et al. · Research Explorer (The University of Manchester) · 31
A survey of domain engineering
2012 · Dines Bjorner · Asia-Pacific Software Engineering Conference (APSEC) · 26
From Domain to Requirements
2008 · Dines Bjørner · Lecture notes in computer science · 26
PDF
Software Engineering 1: Abstraction and Modelling (Texts in Theoretical Computer Science. An EATCS Series)
2005 · Dines Bjørner · 26
Formalization of data base models
1980 · Dines Bjørner · Lecture notes in computer science · 26
Rôle of Domain Engineering in Software Development—Why Current Requirements Engineering Is Flawed !
2010 · Dines Bjørner · Lecture notes in computer science · 25
Software Engineering 2: Specification of Systems and Languages (Texts in Theoretical Computer Science. An EATCS Series)
2005 · Dines Bjørner · 23
The vienna development method (VDM)
1979 · Dines Bjørner · Lecture notes in computer science · 23
Programming Languages: Formal Development of Interpreters and Compilers.
1977 · Dines Bjørner · 23
Compositionality: Ontology and Mereology of Domains
2010 · Dines Bjørner, Asger Eir · Lecture notes in computer science · 22
Domain Engineering
2009 · Dines Bjørner · Springer eBooks · 21
Pinnacles of software engineering: 25 years of formal methods
2000 · Dines Bjørner · Annals of Software Engineering · 20
Programming in the meta-language: A tutorial
1978 · Dines Bjørner · Lecture notes in computer science · 20
Manifest domains: analysis and description
2016 · Dines Bjørner · Formal Aspects of Computing · 19
Abstraction and modelling
2006 · Dines Bjørner · Springer eBooks · 18
Works count: 265
Citation count: 2,110
H-index: 21
I10-index: 44
Year
Topic
Type