Person: Dines Bjørner

DBLP: Bj=oslash=rner:Dines

Facilitated 5 volumes:

Ed

Ed

Ed

Ed

Ed

Contributed to:

2014

2005

1992

1987

1987

1986

1982

1980

1978

1989

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.