Abstract

This paper presents the work of the TARA (Tool Assisted Requirements Analysis) project on the re-use of formatted specifications. The paper concentrates particularly on the established formatted requirements analysis method CORE (Controlled Requirements Expression). A model of re-use of formatted requirements specifications, derived in part from studies of analogy in legal reasoning, is presented. The model and its application to CORE is described in detail with a worked example based on standard specification case studies. A prototype tool, TRUE, constructed on the basis of the model is described.

Full Text
Published version (Free)

Talk to us

Join us for a 30 min session where you can share your feedback and ask us any queries you have

Schedule a call