ReqsManagement

From Event-B
Revision as of 13:47, 18 July 2008 by imported>Jastram (New page: == Description == The Requirements Plugin... * Manages Text-Based Requirements * Requirements are managed and edited in an external Tool (currently Latex, Plain Text and OpenOffice) * ...)
(diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)
Jump to navigationJump to search

Description

The Requirements Plugin...

  • Manages Text-Based Requirements
  • Requirements are managed and edited in an external Tool (currently Latex, Plain Text and OpenOffice)
  • Multiple Requirement Specifications can be managed in a Requirements Project.

Status

The Requirements-Plug-In is currently available through CVS only and not yet useable.

User Documentation

Currently, a new Requirements Project is created by manually creating a file, ending in .req, containing the following:

<?xml version="1.0" encoding="UTF-8" standalone="no"?>
<root>
</root>

Developer Documentation

The Requirements Plug-in actually consists of two:

  • DocGenerator
  • ReqsMgr

DocGenerator

ReqsMgr