SYSTEMATIC SOFTWARE DEVELOPMENT USING VDM SECOND EDITION SYSTEMATIC SOFTWARE

First Page		Document Content
Date: 2015-01-08 04:19:12 Technology Formal specification Specification language Specification Functional specification Software development process Reification Abstraction Vienna Development Method Formal methods Software development Science		SYSTEMATIC SOFTWARE DEVELOPMENT USING VDM SECOND EDITION SYSTEMATIC SOFTWARE Add to Reading List Source URL: homepages.cs.ncl.ac.uk Download Document from Source Website File Size: 969,06 KB Share Document on Facebook

	Functional Specification of the OpenPGP application on ISO Smart Card Operating Systems DocID: 1vpVq - View Document
	Functional Performance Specification with Stochastic Probes Ashok Argent-Katwala Jeremy T. Bradley DocID: 1vnQs - View Document
	Functional Specification of the OpenPGP application on ISO Smart Card Operating Systems DocID: 1vaCW - View Document
	Functional Specification of the OpenPGP application on ISO Smart Card Operating Systems DocID: 1vab5 - View Document
	Functional Specification of the OpenPGP application on ISO Smart Card Operating Systems DocID: 1unkj - View Document