The patent badge is an abbreviated version of the USPTO patent document. The patent badge does contain a link to the full patent document.

The patent badge is an abbreviated version of the USPTO patent document. The patent badge covers the following: Patent number, Date patent was issued, Date patent was filed, Title of the patent, Applicant, Inventor, Assignee, Attorney firm, Primary examiner, Assistant examiner, CPCs, and Abstract. The patent badge does contain a link to the full patent document (in Adobe Acrobat format, aka pdf). To download or print any patent click here.

Date of Patent:
Sep. 13, 2016

Filed:

Jun. 20, 2008
Applicant:

William J. Aldrich, Natick, MA (US);

Inventor:

William J. Aldrich, Natick, MA (US);

Assignee:

The MathWorks, Inc., Natick, MA (US);

Attorney:
Primary Examiner:
Int. Cl.
CPC ...
G06F 9/44 (2006.01);
U.S. Cl.
CPC ...
G06F 8/34 (2013.01);
Abstract

A computer-implemented method may include receiving a specification including one or more instances of a language construct, the language construct having an exceptional behavior; identifying in the specification the one or more instances of the language construct having the exceptional behavior; applying a modification to the one or more instances of the language construct having the exceptional behavior, the modification making the exceptional behavior explicit; analyzing the specification for dynamic occurrences of the explicit exceptional behavior; and generating information identifying the dynamic occurrences of the explicit exceptional behavior.


Find Patent Forward Citations

Loading…