Search for Topics All Reviews
	Browse All Reviews > Software (D) > Software Engineering (D.2) > Requirements/Specifications (D.2.1) > Ina Jo (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 "Ina Jo (D.2.1...)": Date Reviewed   Towards a formal basis for the formal development method and the Ina Jo specification language Berry D.  IEEE Transactions on Software Engineering SE-13(2): 184-201, 1987. Type: Article In carrying out SDC’s Formal Development Method, one writes a specification of a system under design in the Ina Jo specification language and proves that the specification meets the requirements of the system. This paper develops an... Oct 1 1987
	Reproduction in whole or in part without permission is prohibited.   Copyright © 2000-2013 ThinkLoud, Inc. Terms of Use | Privacy Policy