Loading...
Please wait, while we are loading the content...
Similar Documents
US 7 , 694 , 276 B 2 Page 2 OTHER PUBLICATIONS
| Content Provider | Semantic Scholar |
|---|---|
| Author | Benton, Nick |
| Copyright Year | 2017 |
| Abstract | OTHER PUBLICATIONS (75) Inventors: James R. Larus, Mercer Island, WA (US); Sriram K. Rajamani, Bellevue, st 5. Ming Components Contract Aware', IEEE, omputer, . “Specifying reusable components using Contracts'. ECOOP. 1992, pp. 287-308.* J l, et al., “Design by Contract: The L f Ariane'. Com (73) Assignee: Microsoft Corporation, Redmond, WA ES', ISS. s E. isis.sonso a O. (US) Le Sommer, et al., “A Contract-Based Approach of Resource-Con strained Software Deployment”, CD 2002, LNCS 2370, 2002, pp. (*) Notice: Subject to any disclaimer, the term of this 15-30.* patent is extended or adjusted under 35 Weis et al., “A UML Meta-model for Contract Aware Components', U.S.C. 154(b) by 1792 days. UML 2001, LNCS 2185, 2001, pp. 442-456.* Torben Amtoft, Flemming Nielson, and Hanne Riis Nielson, Type (21) Appl. No.: 10/659,221 and Effect Systems, 1999, 253 pages, Imperial College Press. Thomas Ball and Sriram K. Rajamani. The SLAM Project: Debug (22) Filed: Sep. 10, 2003 ging System Software via Static Analysis, Principles of Program 9 ming Languages, Jan. 16-18, 2002, 3 pages, ACM, Portland, OR, |
| File Format | PDF HTM / HTML |
| Alternate Webpage(s) | https://patentimages.storage.googleapis.com/89/46/47/ae2a050c12486e/US7694276.pdf |
| Language | English |
| Access Restriction | Open |
| Content Type | Text |
| Resource Type | Patent |