Search for Topics All Reviews
	Browse All Reviews > Software (D) > Programming Languages (D.3) > Formal Definitions And Theory (D.3.1) > Vdm (D.3.1...)     Options: All Media Types Journals Proceedings Div Books Whole Books Other Date Reviewed Title Author Publisher Published Date Descending Ascending     1-2 of 2 Reviews about "Vdm (D.3.1...)": Date Reviewed   Systematic software development using VDM (2nd ed.) Jones C., Prentice-Hall, Inc., Upper Saddle River, NJ, 1990.  Type: Book (9780138807337) The history of mathematics can be seen as a slow rise of formal methods. Leibniz (quoted in chapter 10) thought that any truth could be proven using a well-designed specific language. Bertrand Russell built the theory of formal systems... Apr 1 1992   Case studies in systematic software development Jones C., Shaw R., Prentice-Hall, Inc., Upper Saddle River, NJ, 1990.  Type: Book (9780131160880) Software reliability is still a difficult problem in computing. It is well known that program tests cannot guarantee software validity and that correcting errors in a program is difficult and expensive. Creating error-free programs is ... Oct 1 1991
	Reproduction in whole or in part without permission is prohibited.   Copyright 1999-2024 ThinkLoud® Terms of Use | Privacy Policy