ReqsManagement
From Event-B
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