Requirement Analysis and Specification Document - Project for the Software Engineering 2 course at Politecnico di Milano.
-
Updated
Sep 26, 2020 - TeX
In computer science and software engineering, Alloy is a declarative
specification language for expressing complex structural constraints and
behavior in a software system. Alloy provides a simple structural modeling tool
based on first-order logic. Alloy is targeted at the creation of micro-models
that can then be automatically checked for correctness. Alloy specifications
can be checked using the Alloy Analyzer.
Requirement Analysis and Specification Document - Project for the Software Engineering 2 course at Politecnico di Milano.
Formalization of the (VIS, AR) Specification Framework for Both Transactional and Non-Transactional Consistency Models
2018/2019 Software Engineering II project by Alberto Archetti and Fabio Carminati
Analyzing database relational calculus schemata and queries using MIT's Alloy tools
Software Engineering 2 Project A.Y. 2021-2022