Add to ORKGThesis (Ph. D.)--Massachusetts Institute of Technology, Dept. of Electrical Engineering and Computer Science, 1994.Includes bibliographical references (p. 173-175).by Yang Meng Tan.Ph.D
The derivation of a specification document that is understandable, precise and unambiguous is indisp...
As software is increasingly used to control critical systems, program correctness becomes paramount....
Thesis (M.S.)--Massachusetts Institute of Technology, Dept. of Electrical Engineering and Computer S...
The pervasive nature of software (and the tendency for it to contain errors) has long been a concern...
AbstractThese notes are personal reflections, stemming from attempts to understand the sources of pr...
Thesis (M.Eng.)--Massachusetts Institute of Technology, Dept. of Electrical Engineering and Computer...
This thesis explores barriers to using formal specification for software development in industry. Em...
Thesis (Ph.D.)--University of Washington, 2014A program specification is a contract between a client...
C) "-- United States Government is authorized to repro uce and *-, distribute reprints for Gove...
The challenge to overcome the software crisis more than five decades ago and, although has been sign...
"© ACM, 2009. This is the author's version of the work. It is posted here by permission of ACM for y...
A formal software specification expresses in a mathematically correct way what requirements the soft...
ion of domain-specific concepts 1. Mechanics of specification c. Modularization a. Specification tea...
Cataloged from PDF version of article.We reconsider the concept of specification in order to bring n...
This paper researches a quantitative metric of investigating Formal Specification-Driven Development...
The derivation of a specification document that is understandable, precise and unambiguous is indisp...
As software is increasingly used to control critical systems, program correctness becomes paramount....
Thesis (M.S.)--Massachusetts Institute of Technology, Dept. of Electrical Engineering and Computer S...
The pervasive nature of software (and the tendency for it to contain errors) has long been a concern...
AbstractThese notes are personal reflections, stemming from attempts to understand the sources of pr...
Thesis (M.Eng.)--Massachusetts Institute of Technology, Dept. of Electrical Engineering and Computer...
This thesis explores barriers to using formal specification for software development in industry. Em...
Thesis (Ph.D.)--University of Washington, 2014A program specification is a contract between a client...
C) "-- United States Government is authorized to repro uce and *-, distribute reprints for Gove...
The challenge to overcome the software crisis more than five decades ago and, although has been sign...
"© ACM, 2009. This is the author's version of the work. It is posted here by permission of ACM for y...
A formal software specification expresses in a mathematically correct way what requirements the soft...
ion of domain-specific concepts 1. Mechanics of specification c. Modularization a. Specification tea...
Cataloged from PDF version of article.We reconsider the concept of specification in order to bring n...
This paper researches a quantitative metric of investigating Formal Specification-Driven Development...
The derivation of a specification document that is understandable, precise and unambiguous is indisp...
As software is increasingly used to control critical systems, program correctness becomes paramount....
Thesis (M.S.)--Massachusetts Institute of Technology, Dept. of Electrical Engineering and Computer S...