Method and system for representing text using markup language
AssigneeSun Microsystems, Inc.
InventorsJean-Francois Arcand, Ramesh Babu Mandava
Life of this patent
Estimating the term…
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.
Claims20
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.
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.
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.
Dependencies are inferred from the claim text.