×
Log in
Upload File
Most Popular
Study
Business
Design
Technology
Travel
Explore all categories
The top documents tagged [postconditions slide]
MWSAFMETEOR-SWebServiceAnnotationFramework M ETEOR-S W EB S ERVICE A NNOTATION F RAMEWORK (MWSAF) Abhijit Patil, Swapna Oundhakar, Amit Sheth, Kunal Verma
216 views
DOMAIN MODEL: ADDING ATTRIBUTES Identify attributes in a domain model. Distinguish between correct and incorrect attributes
234 views
Program Proving Notes Ellen L. Walker. Formal Specification & Proof of Programs (Verification) –Formally proving that a program satisfies a formal specification
220 views
Cormac Flanagan University of California, Santa Cruz Hybrid Type Checking
213 views