MWSAFMETEOR-SWebServiceAnnotationFramework M ETEOR-S W EB S ERVICE A NNOTATION F RAMEWORK (MWSAF) Abhijit Patil, Swapna Oundhakar, Amit Sheth, Kunal Verma.
DOMAIN MODEL: ADDING ATTRIBUTES Identify attributes in a domain model. Distinguish between correct and incorrect attributes.
Program Proving Notes Ellen L. Walker. Formal Specification & Proof of Programs (Verification) –Formally proving that a program satisfies a formal specification.
Cormac Flanagan University of California, Santa Cruz Hybrid Type Checking.