Requirements for the Spec Validator
an Incremental Specification Validation Tool

Version 0.1
19 February 2009

Contents

Level:

1

full

1.  Introduction

2.  Functional Requirements
     2.1. User Interface Overview
     2.2. A Basic Example of Specification Validation
     2.3. Details of Plan Editing
     2.4. Details of Specification Validation
     2.5. Details of Loading and Saving Files

List of Figures