reqT.org - Towards a Semi-Formal, Open and Scalable Requirements Modeling Tool.

Published in: REFSQ (2013)

Keyphrases

modeling tool
open source
requirements specification
application specific
simulation platform
knowledge base
formal specification
formal methods
formal analysis
real time systems
metadata
image sequences
bayesian networks
lightweight
database
functional requirements
web scale
machine learning
neural network
real time