About: VDM-SL

About: VDM-SL Sponge Permalink

An Entity of Type : Formal specification languages, within Data Space : lod.openlinksw.com
QRcode image

Attributes	Values
is BOT:Property:rdf:subject of	http://yago-knowledge.org/resource/#fact_239960136 http://yago-knowledge.org/resource/#fact_239960148 http://yago-knowledge.org/resource/#fact_239960160 http://yago-knowledge.org/resource/#fact_239960112 http://yago-knowledge.org/resource/#fact_239960120 http://yago-knowledge.org/resource/#fact_239960140 http://yago-knowledge.org/resource/#fact_239960152 http://yago-knowledge.org/resource/#fact_239960108 http://yago-knowledge.org/resource/#fact_239960132 http://yago-knowledge.org/resource/#fact_23153709855 http://yago-knowledge.org/resource/#fact_23150354883 http://yago-knowledge.org/resource/#fact_23151611755 http://yago-knowledge.org/resource/#fact_23153268575 http://yago-knowledge.org/resource/#fact_23152261667 http://yago-knowledge.org/resource/#fact_239960128 http://yago-knowledge.org/resource/#fact_23155714499
type	Formal methods Formal specification languages
sameAs	Vienna Development Method
label	Vienna Development Method VDM specification language VDM Specification Language VDM-SL VDM++ VDM VDL
http://yago-knowle...resource/isCalled	Vienna Development Method VDM Vienna Definition Language Віденський метод розробки
http://yago-knowle.../hasPreferredName	Vienna Development Method
http://yago-knowle...e/hasWikipediaUrl	http://en.wikipedia.org/wiki/Vienna_Development_Method
http://yago-knowle...sPreferredMeaning	Vienna Development Method

This work is licensed under a Creative Commons Attribution-Share Alike 3.0 Unported License.
OpenLink Virtuoso version 06.03.3131, on Linux (x86_64-generic-linux-glibc25-64), Cluster Edition(8 server processes)
Copyright © 2009-2011 OpenLink Software