Method and system for representing text using markup language
First Claim
Patent Images
1. A method for tracking assertions in an application, comprising:
- providing a specification for the application, the specification being divided into chapters defining functional aspects of the application;
identifying each assertion in each chapter of the specification; and
generating a markup language document, the markup language document having an associated tagged entry for each of the identified assertions, each tagged entry having an identifier tag, the identifier tag correlating the tagged entry to a specific chapter of the specification.
1 Assignment
0 Petitions
Accused Products
Abstract
A method for tracking assertions in an application is provided. The method includes providing a specification for the application, identifying each assertion in each chapter of the specification, and generating a markup language document. The specification is divided into chapters, which define functional aspects of the application. The markup language document has an associated tagged entry for each of the identified assertions. Each tagged entry has an identifier tag which correlates the tagged entry to a specific chapter of the specification.
13 Citations
20 Claims
-
1. A method for tracking assertions in an application, comprising:
-
providing a specification for the application, the specification being divided into chapters defining functional aspects of the application;
identifying each assertion in each chapter of the specification; and
generating a markup language document, the markup language document having an associated tagged entry for each of the identified assertions, each tagged entry having an identifier tag, the identifier tag correlating the tagged entry to a specific chapter of the specification. - View Dependent Claims (2, 3, 4, 5, 6, 7, 8)
-
-
9. A method for tracking assertions in an application, comprising:
-
providing a specification for the application, the specification being divided into chapters defining functional aspects of the application;
identifying each assertion in each chapter of the specification; and
generating markup language document, the markup language document having an associated tagged entry for each of the identified assertions, each tagged entry having an identifier tag, the identifier tag correlating the tagged entry to a specific chapter of the specification; and
displaying the markup language document, wherein the associated tagged entry for each of the identified assertions facilitates retrieval of a requested assertion. - View Dependent Claims (10, 11, 12, 13, 14, 15, 16, 17)
-
-
18. A computer program embodied on a computer readable medium for facilitating a retrieval of an assertion in an application, the computer program comprising:
-
a code segment that receives a request to locate a particular assertion;
a code segment that runs during an execution of the computer program, the code segment configured to inspect a markup language document to find the particular assertion; and
a code segment that provides a response to the request to locate the particular assertion. - View Dependent Claims (19, 20)
-
Specification