requirements-specification topic

Software for technical documentation and requirements management.

strictdoc-project

FASTEN: FormAl SpecificaTion ENvironment - a set of DSLs to experiment with rigorous systems and safety engineering.

mbeddr