VDM-10 Language Manual

作者： Kenneth Lausdahl , Nick Battle , Peter Gorm Larsen

DOI:

关键词:

摘要:

暂无可下载资源，当前可以选择系统获取到有开放资源时通知我或者直接发起求助文献求助

参考文章(17)

John S. Fitzgerald, Peter Gorm Larsen, Sune Wolff, Methods for the Development of Distributed Real-Time Embedded Systems using VDM International Journal of Software and Informatics. ,vol. 3, pp. 305- 341 ,(2009)

John Dawes, The VDM-SL Reference Guide ,(1991)

Laurence C. Paulson, ML for the working programmer ,(1991)

Juan C. Bicarregui, Brian Ritchie, John S. Fitzgerald, Peter A. Lindsay, Richard Moore, Proof in VDM: A Practitioner’s Guide ,(1993)

Marcel Henri Gerard Verhoef, Modeling and validating distributed embedded real-time control systems [S.l. : s.n.]. ,(2009)

VDMTools: advances in support for formal modeling in VDM Sigplan Notices. ,vol. 43, pp. 3- 11 ,(2008) , 10.1145/1361213.1361214

Dines Bjørner, Programming in the META-Language: A Tutorial The Vienna Development Method: The Meta-Language. pp. 24- 217 ,(1978) , 10.1007/3-540-08766-4_9

Henry Ledgard, Reference Manual for the ADA Programming Language Springer-Verlag New York, Inc.. ,(1983)

Cliff B. Jones, The META-Language: A Reference Manual The Vienna Development Method: The Meta-Language. pp. 218- 277 ,(1978) , 10.1007/3-540-08766-4_10

John S. Fitzgerald, Peter Gorm Larsen, Marcel Verhoef, Vienna Development Method Wiley Encyclopedia of Computer Science and Engineering. pp. 1- 11 ,(2008) , 10.1002/9780470050118.ECSE447