BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
Travelled to:
1 × Australia
1 × Belgium
1 × Germany
1 × Italy
1 × Mexico
1 × Singapore
1 × USA
Collaborated with:
K.Havelund H.H.Løvengreen O.N.Oest
Talks about:
develop (7) softwar (5) languag (4) formal (4) meta (4) program (3) tutori (3) system (3) method (3) project (2)

Person: Dines Bjørner

DBLP DBLP: Bj=oslash=rner:Dines

Facilitated 5 volumes:

VDM Europe 1990Ed
ICSE 1989Ed
VDM Europe 1987Ed
Towards a Formal Description of Ada 1980Ed
VDM 1978Ed

Contributed to:

FM 20142014
SEFM 20052005
ICSE 19921992
ICSE 19871987
VDM Europe 19871987
Software Development and Ada 19861986
VLDB 19821982
Towards a Formal Description of Ada 19801980
VDM 19781978
TAPSOFT, Vol.2: AS 19891989

Wrote 12 papers:

FM-2014-BjornerH #formal method #question
40 Years of Formal Methods — Some Obstacles and Some Possibilities? (DB, KH), pp. 42–61.
SEFM-2005-Bjorner #re-engineering
A Cloverleaf of Software Engineering (DB), pp. 75–85.
ICSE-1992-Bjorner #experience
Trusted Computing Systems: The ProCoS Experience (DB), pp. 15–34.
ICSE-1987-Bjorner #development #formal method #on the #using
On the Use of Formal Methods in Software Development (DB), pp. 17–29.
VDME-1987-Bjorner #development #graph #metaprogramming
The Stepwise Development of Software Development Graphs: Meta-Programming VDM Developments (DB), pp. 77–96.
CRAI-1986-Bjorner #development #formal method #graph #metaprogramming #towards
Project Graphs and Meta-Programs. Towards a Theory of Software Development (DB), pp. 117–152.
VLDB-1982-BjornerL #database #formal method
Formalization of Database Systems — and a Formal Definition of IMS (DB, HHL), pp. 334–347.
TFDA-1980-Bjorner #metalanguage
Reference Manual for the Meta-Language (DB), pp. 607–623.
TFDA-1980-BjornerO #ada #compilation #development
The DDC Ada Compiler Development Project (DB, ONO), pp. 1–20.
VDM-1978-Bjorner #metalanguage #programming #tutorial
Programming in the META-Language: A Tutorial (DB), pp. 24–217.
VDM-1978-Bjorner78a #abstraction #operating system #pl-i #specification #tutorial
Software Abstraction Principles: Tutorial Examples of: An Operating System Command Language Specification, and a PL/I-like On-Condition Language Definition (DB), pp. 337–374.
AS-1989-Bjorner #aspect-oriented #development #specification #towards #tutorial
Towards a Meaning of 'M' in VDM: Specification Methodology Aspects of the Vienna Development Method (Invited Tutorial) (DB), pp. 1–35.

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.