Alloy: A Language and Tool for Exploring Software Designs.
The author discusses the programming language Alloy. He mentions its use in designing software systems, previous software development tools including theorem provers and model checkers, and how Alloy uses relational logic, small scope analysis, and translation to a satisfiability solver to function.
| Publicado en: | Communications of the ACM Vol. 62; no. 9; pp. 66 - 77 |
|---|---|
| Autor principal: | |
| Formato: | Artículo |
| Publicado: |
Association for Computing Machinery
Sep2019
|
| Materias: | |
| Acceso en línea: | Ver este registro en EBSCOhost |
| Sumario: | The author discusses the programming language Alloy. He mentions its use in designing software systems, previous software development tools including theorem provers and model checkers, and how Alloy uses relational logic, small scope analysis, and translation to a satisfiability solver to function. |
|---|