Data processing: software development – installation – and managem – Software program development tool – Testing or debugging
Reexamination Certificate
2004-05-14
2009-08-04
Chavis, John (Department: 2193)
Data processing: software development, installation, and managem
Software program development tool
Testing or debugging
Reexamination Certificate
active
07571428
ABSTRACT:
Reliability contracts declare an intent of executable code, and may be associated with at least a portion of the executable code. The intent of the executable code in the face of particular conditions may be declared for the use in any one of a programming, execution, or testing environment.
REFERENCES:
patent: 6295645 (2001-09-01), Brewer
patent: 6760903 (2004-07-01), Morshed et al.
patent: 7120902 (2006-10-01), Flanagan et al.
patent: 2003/0135844 (2003-07-01), Yellin et al.
patent: 2004/0250105 (2004-12-01), Molnar
Brumme Christopher W.
Grunkemeyer Brian M.
Liu Weiwen
Martin Rudi
Prakriya Mahesh
Chavis John
Lee & Hayes PLLC
Microsoft Corporation
LandOfFree
Reliability contracts does not yet have a rating. At this time, there are no reviews or comments for this patent.
If you have personal experience with Reliability contracts, we encourage you to share that experience with our LandOfFree.com community. Your opinion is very important and Reliability contracts will most certainly appreciate the feedback.
Profile ID: LFUS-PAI-O-4067211