Search for Topics All Reviews
	Browse All Reviews > Software (D) > Software Engineering (D.2) > Requirements/Specifications (D.2.1) > Vvsl (D.2.1...)     Options: All Media Types Journals Proceedings Div Books Whole Books Other Date Reviewed Title Author Publisher Published Date Descending Ascending     1-1 of 1 Reviews about "Vvsl (D.2.1...)": Date Reviewed   VVSL: a language for structured VDM specifications Middelburg C.  Formal Aspects of Computing 1(1): 115-133, 1989. Type: Article This paper describes VVSL, the language used to specify the interfaces of a portable common tool environment. The author describes VVSL as a VDM specification language of the “British School.” It contains modularization constructs for ... Apr 1 1990
	Reproduction in whole or in part without permission is prohibited.   Copyright © 2000-2013 ThinkLoud, Inc. Terms of Use | Privacy Policy