发明授权
- 专利标题： Reliability contracts
- 专利标题（中）： 可靠性合同
-
申请号： US10845679申请日： 2004-05-14
-
公开(公告)号： US07571428B2公开(公告)日： 2009-08-04
- 发明人: Rudi Martin , Mahesh Prakriya , Brian M. Grunkemeyer , Christopher W. Brumme , Sean E. Trowbridge , Weiwen Liu
- 申请人： Rudi Martin , Mahesh Prakriya , Brian M. Grunkemeyer , Christopher W. Brumme , Sean E. Trowbridge , Weiwen Liu
- 申请人地址： US WA Redmond
- 专利权人： Microsoft Corporation
- 当前专利权人： Microsoft Corporation
- 当前专利权人地址： US WA Redmond
- 代理机构： Lee & Hayes, PLLC
- 主分类号： G06F9/45
- IPC分类号： G06F9/45
摘要：
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.
公开/授权文献
- US20050273764A1 Reliability contracts 公开/授权日：2005-12-08