C.B. Jones and A.M. McCauley. Formal methods - selected historical references. Technical Report UMCS-92-12-2, University of Manchester, 1992. Home/Search Document Details and Download
Summary Related Articles |
This paper is cited in the following contexts:
Integrated Formal Methods with Richer Methodological Profiles.. - Galloway (1996) (3 citations) (Correct)
....2 The Specification of a Sort 331 vii Chapter 1 Introduction 1.1 Formal Methods The field of research which has become known as formal methods is indeed at least as old as the kinds of machines that now execute the software that it has been applied to. One selected historical bibliography [JM92] has its earliest reference in 1936 [Tur36] 1 . It is however, only recently that formal methods have begun to be used industrially in the production of software systems. e.g. Wor91, Bly90, HW90, NC88, Joh87a, Phi90, MW90, Hou90] The need to ensure a confidence in software, unachievable ....
C.B. Jones and A.M. McCauley. Formal methods - selected historical references. Technical Report UMCS-92-12-2, University of Manchester, 1992.
Online articles have much greater impact More about CiteSeer.IST Add search form to your site Submit documents Feedback
CiteSeer.IST - Copyright Penn State and NEC