Systems and methods for generating high-quality formal executable software feature requirements
US9152385B2 · kind B2 · utility
1Cited by
4References
20Claims
0Family size
Assignee
Inventors
Key dates
| Filing date | Feb 22, 2012 |
| Grant date | Oct 6, 2015 |
| Priority date | — |
| Expiry date | Feb 22, 2032 |
Classification
- Technology area (CPC G)Physics
- CPC primaryG06F40/211
- WIPO fieldComputer technology
- WIPO sectorElectrical engineering
Abstract
Systems and methods for generating formal software requirements using an informal requirements document having informal requirements and annotations associated with the informal requirements. The systems and methods extract syntax from the annotations and generate artifacts as a function of the syntax.
Source: USPTO / EPO open patent data. Objective bibliographic and citation counts.