---

＜電子ブック＞
VDM '87. VDM - A Formal Method at Work : VDM-Europe Symposium 1987, Brussels, Belgium, March 23-26, 1987, Proceedings / edited by Dines Bjørner, Cliff Jones, Michael Mac An Airchinnigh, Erich J. Neuhold
(Lecture Notes in Computer Science. ISSN:16113349 ; 252)

版	1st ed. 1987.
出版者	(Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer)
出版年	1987
本文言語	英語
大きさ	XI, 422 p : online resource
著者標目	Bjørner, Dines editor Jones, Cliff editor Mac An Airchinnigh, Michael editor Neuhold, Erich J editor SpringerLink (Online service)
件　名	LCSH:Software engineering FREE:Software Engineering
一般注記	VDM: Origins, hopes, and achievements -- Experience using VDM in STC -- VDM in three generations of Ada formal descriptions -- Experience with VDM in NORSK DATA -- Using VDM in an Object-Oriented development method for Ada software -- The stepwise development of software development graphs — Meta-programming VDM developments -- Heap storage specification and development -- VDM as a specification method for telecommunications software -- Support environments for VDM -- Development and application of a META IV compiler -- From VDM to RAISE -- Denotational engineering or from denotations to syntax -- A type model for VDM -- A formal description of object-oriented programming using VDM -- VDM proof obligations and their justification -- Mathematical structures and their morphisms in Meta-IV -- Objectives of the British Standardisation of a language to support the Vienna development method -- Use of VDM within CCITT -- A formal semantics for a DataFlow Machine — Using VDM -- to the VDM tutorial -- Specification by data types -- Data reification and program decomposition HTTP:URL=https://doi.org/10.1007/3-540-17654-3

 類似資料