A. Rasmussen. VDM bibliography. Technical Report ??, Technical University of Denmark, 1990. Home/Search Document Not in Database Summary Related Articles |
This paper is cited in the following contexts:
Systematic Software Development Using VDM - Teaching Notes - Jones (1995) (662 citations) (Correct)
....in Chapter 10. The method in [Jon90] differs from the referenced books because of the use of post conditions of pairs of states. Some references are [Dij76, Gri81, Rey81, Heh, Bac86, Den86, SC87, Inc88] There are very many VDM case studies in the literature; an extensive bibliography is [Ras90] 1 Mr. D.J. Andrews, Computer Studies Unit, University of Leicester, University Road, Leicester, LE1 7RH, U.K. 2 Mr. S. Prehn, DDC, CRI A S, Vesterbrogade, 1A, DK 1620, Copenhagen, Denmark 0.3 Tool support 3 Unfortunately details of the notation in this material varies. Twelve studies have ....
A. Rasmussen. VDM bibliography. Technical Report ??, Technical University of Denmark, 1990.
Online articles have much greater impact More about CiteSeer.IST Add search form to your site Submit documents Feedback
CiteSeer.IST - Copyright Penn State and NEC