The Collection of
Computer Science Bibliographies

The VDM++ Bibliography

[   About   |  Browse   |   Statistics   ]

Number of references:105Last update:August 9, 2011
Number of online publications:0Supported:yes
Most recent reference:December 2010

in  ;
Publication year: in:, since:, before: (four digit years)
Options: , ,

You may use Lucene syntax, available fields are: ti (title), au (author), yr (publications year).

Information on the Bibliography

Author:
Peter Gorm Larsen <pgl @ iha . dk> (email mangled to prevent spamming)
Engineering College of Aarhus
Computer Technology & Embedded Systems
Dalgas Avenue 2
DK-8000 Aarhus C
Denmark
Abstract:
References about the formal method VDM++ which is an object oriented extension to ordinary VDM
Keywords:
Software Engineering, Formal Methods

Browsing the bibliography

Bibliographic Statistics

Types:
inproceedings(42), techreport(20), article(12), misc(9), mastersthesis(7), manual(5), book(4), inbook(3), phdthesis(3)
Fields:
title(105), key(104), year(103), author(102), month(70), comment(65), booktitle(40), pages(36), publisher(36), note(26), institution(24), editor(21), address(17), size(14), journal(10), number(10), organization(10), school(10), volume(9), url(8), series(7), isbn(6), chapter(3), howpublished(3), annote(1), doi(1), doi-url(1), edition(1), issn(1), location(1), text(1), type(1)
Distribution of publication dates:
Distribution of publication dates

Valid XHTML 1.1!  Valid CSS!