Symboleo: Towards a Specification Language for Legal Contracts.

Sepehr Sharifi Alireza Parvizimosaed Daniel Amyot Luigi Logrippo John Mylopoulos

Published in: RE (2020)

Keyphrases

specification language
description language
formal specification
programming language
supply chain
legal information
legal knowledge
symbolic execution
legal reasoning
requirements specification
software environment
case study
dynamic programming
distributed systems