Dines Bjørner – författare

Domain Science and Engineering

A Foundation for Software Development

Domain Science and Engineering

A Foundation for Software Development

VDM '87. VDM - A Formal Method at Work

VDM-Europe Symposium 1987, Brussels, Belgium, March 23-26, 1987, Proceedings

Software Engineering 1

Abstraction and Modelling

Software Engineering 2

Specification of Systems and Languages

Software Engineering 3

Domains, Requirements, and Software Design

Perspectives of System Informatics

4th International Andrei Ershov Memorial Conference, PSI 2001, Akademgorodok, Novosibirsk, Russia, July 2-6, 2001, Revised Papers

VDM '90. VDM and Z - Formal Methods in Software Development

Third International Symposium of VDM Europe, Kiel, FRG, April 17-21, 1990, Proceedings

Baltic Computer Science

Selected Papers

Formal Methods in Programming and Their Applications

International Conference, Academgorodok, Novosibirsk, Russia, June 28 - July 2, 1993. Proceedings

Perspectives of System Informatics

Second International Andrei Ershov Memorial Conference, Akademgorodok, Novosibirsk, Russia, June 25 - 28, 1996; Proceedings

Perspectives of System Informatics

Third International Andrei Ershov Memorial Conference, PSI'99, Akademgorodok, Novosibirsk, Russia, July 6-9, 1999 Proceedings

Logics of Specification Languages

Software Engineering 1

Abstraction and Modelling

Software Engineering 2

Specification of Systems and Languages

Software Engineering 3

Domains, Requirements, and Software Design