Dear visitor, please be informed that this is the ITEA staging environment. No actions here will be updated to production, feel free to test the system
ReForm - Automated Requirement Formalization
- Project
- 17039 XIVT
- Description
- Automated generation of requirement models with an average accuracy of 90%
- High support for the manual requirements verification process
- Fast and easy-to-use tool with the ability to automate multiple steps in a model-based testing pipeline
- Contact
- Robin Gröpler, IFAK Institute for Automation and Communication
- robin.groepler@ifak.eu
- Technical features
Input(s):
- Requirements in natural language
- Design Specifications in natural language
Main feature(s):
- Automated signal detection
- Automated parameter detection
- Logic extraction
- Model recommendations with user interaction
Output(s):
- Requirement Models
- Links between model and textual entities
- Integration constraints
- Python 3
- spaCy
- NLTK
- JavaScript
- Targeted customer(s)
Requirements engineers, Software testers.
- Conditions for reuse
- Planned to license commercially on request
- Support and consulting by IFAK
- Confidentiality
- Public
- Publication date
- 31-01-2022
- Involved partners
- Institut for Automation und Kommunication (IFAK) (DEU)