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.
Patent No.:
Date of Patent:
Jun. 25, 2019
Filed:
Nov. 08, 2016
International Business Machines Corporation, Armonk, NY (US);
Yoichi Hatsutori, Tokyo, JP;
Futoshi Iwama, Tokyo, JP;
Shin Saito, Tokyo, JP;
Takaaki Tateishi, Tokyo, JP;
Hideo Watanabe, Tokyo, JP;
INTERNATIONAL BUSINESS MACHINES CORPORATION, Armonk, NY (US);
Abstract
A computer-implemented method and computing device are provided for generating a formal specification of a function. The method includes extracting a set of words from requirements of the function. The method further includes translating the set of words to a set of specification fragments. The method also includes converting the set of the specification fragments to a set of production rules. The method additionally includes constructing multiple prospective specifications from the set of production rules taking into account a syntax of the formal specification. The method further includes validating each of the multiple prospective specifications using input-output examples. The method also includes generating the formal specification of the function from validated ones of the multiple prospective specifications.