Results for:
"
Gary+Shipman
" in Documents
- Specifying and Verifying Object-Oriented Programs An Overview of the P...
- data types, procedures, functions, and subroutines; F.3.1 [Logics and Meanings of Programs] Specifying and verifying and reasoning about programs --- logics of programs, pre- and post-conditions, spec...
-
Rating:
Views: (1013)
Pages: ()
Uploaded: 13-05-09
- Reasoning About Oject-Oriented Programs That Use Subtypes 1990
- ) Gary T. Leavens and William E. Weihl TR #90-03b March, 1990 (Revised July, 1990) This paper is a revision of TR #90-03. It will appear in the ECOOP/OOPSLA '90 Proceedings. Keywords: verification, sp...
-
Rating:
Views: (1011)
Pages: ()
Uploaded: 13-05-09
- Enhancing the Pre- and Postcondition Technique for More Expressive Spe...
- We describe enhancements to the pre- and postcondition technique that help specifications convey reuse contracts more effectively. Some enhancements also allow one to specify redundant information tha...
-
Rating:
Views: (1008)
Pages: ()
Uploaded: 13-05-09
- Table of Contents 2004
- 2. Capability Maturity Model??????????????????. 3
-
Rating:
Views: (1021)
Pages: ()
Uploaded: 08-04-09
- Modularity meets Inheritance 1992
- We "unbundle" several roles of classes in existing languages, by providing a suite of operators independently controlling such effects as combination, modification, encapsulation, name resolution, and...
-
Rating:
Views: (1007)
Pages: ()
Uploaded: 13-05-09
- Dr. Thomas P. Gary. Florida frontier physician 1835--1891.
-
Rating:
Views: ()
Pages: ()
Uploaded: 1978-8-1
- Profile. Gary Mar, Alberta Minister of Health and Wellness. Interview ...
-
Rating:
Views: (1)
Pages: ()
Uploaded: 2003-9-4
- Streamtube analysis of supersonic combustion in an in-tube-scramjet
- The chemical nonequilibrium flow around a projectile propelled by supersonic combustion inside a tube of premixed, stoichiometric H2-air mixture is examined using a quasi-one-dimensional flow model an...
-
Rating:
Views: (1500)
Pages: ()
Uploaded: Jul 1, 1990