Is a
Patent attributes
Current Assignee
Patent Jurisdiction
Patent Number
Patent Inventor Names
Robert Anthony DeLine0
Manuel Alfred Fahndrich0
Date of Patent
April 28, 2009
0Patent Application Number
106817590
Date Filed
October 8, 2003
0Patent Primary Examiner
Patent abstract
A system and method employing pre- and/or post-condition(s) specified at a source code level and persisted (e.g., in associated object code and/or a specification repository) facilitating static checking of the object code is provided. The system and method are based, at least in part, upon a framework that employs rules for using an interface to be recorded as declarative specifications in an existing language.
Timeline
No Timeline data yet.
Further Resources
No Further Resources data yet.
