requirements-specification

There are 3 repositories under requirements-specification topic.

mbeddr/mbeddr.formal
FASTEN: FormAl SpecificaTion ENvironment - a set of DSLs to experiment with rigorous systems and safety engineering.
Language:JetBrains MPS23 9 3414
alinaduca/IP_Lab2
Repo for working on the second Software Engineering (IP) assignment, class 2023
1 2 00
nicolasbenatti/BenattiBiasioloSimonin
Software Engineering II project at Politecnico di Milano
Language:Alloy0 1 00