Follow
Dines Bjorner
Dines Bjorner
Professor Emeritus, DTU Informatics, Denmark
Verified email at dtu.dk - Homepage
Title
Cited by
Cited by
Year
The Vienna development method: The meta-language
D Bjørner, CB Jones
Springer Berlin Heidelberg, 1978
6401978
Formal specification and software development
D Bjørner, CB Jones
Prentice Hall International Series in Computer Science, 1982
5971982
Software Engineering 3: Domains, requirements, and software design
D Bjørner
Springer Science & Business Media, 2006
345*2006
Partial Evaluation and Mixed Computation: Proceedings of the IFIP TC2 Workshop, Gammel Avernaes, Denmark, 18-24 Oct., 1987
D Bjorner, ND Jones, AP Ershov
Elsevier Science Inc., 1988
2011988
Towards a formal description of Ada
D Bjorner, ON Oest
Springer Science & Business Media, 1980
1321980
Logics of specification languages
D Bjørner, MC Henson
Springer Science & Business Media, 2007
1282007
Domain engineering
D Bjørner
Formal Methods: State of the Art and New Directions, 1-41, 2010
1122010
On the use of formal methods in software development
D Bjorner
Proceedings of the 9th International Conference on Software Engineering, 17-29, 1987
841987
VDM'87. VDM-A Formal Method at Work: VDM-Europe Symposium 1987, Brussels, Belgium, March 23-26, 1987, Proceedings
D Bjørner, C Jones, MMA Airchinnigh, EJ Neuhold
Springer Science & Business Media, 1987
761987
Software Engineering, Vol. 3: Domains, Requirements and Software Design
D Bjørner
Springer, 2006
732006
Software Engineering 2: Specification of systems and languages
D Bjørner
Springer Science & Business Media, 2007
722007
40 years of formal methods: Some obstacles and some possibilities?
D Bjørner, K Havelund
International Symposium on Formal Methods, 42-61, 2014
692014
From domain to requirements
D Bjørner
Concurrency, Graphs and Models: Essays dedicated to Ugo Montanari on the …, 2008
672008
Formal software techniques for railway systems
D Bjørner
IFAC Proceedings Volumes 33 (9), 101-108, 2000
672000
Domain theory: practice and theories a discussion of possible research topics
D Bjørner
International Colloquium on Theoretical Aspects of Computing, 1-17, 2007
612007
New results and trends in formal techniques and tools for the development of software for transportation systems—A review
D Bjørner
Proceedings of the 4th Symposium on Formal Methods for Railway Operation and …, 2003
602003
DOMAIN ENGINEERING: technology management, research and engineering
D Bjørner
JAIST Press, 2009
592009
A ProCoS project description
D Bjørner, CAR Hoare, JP Bowen, J He, H Langmaack, ER Olderog, ...
Bulletin of the European Association for Theoretical Computer Science (EATCS …, 1989
581989
A formal definition of a PL/I subset
H Bekic, D Bjørner, W Henhapl, CB Jones, P Lucas
Newcastle University, 1974
571974
Manifest domains: analysis and description
D Bjørner
Formal Aspects of Computing 29 (2), 175-225, 2017
552017
The system can't perform the operation now. Try again later.
Articles 1–20