ContracT - from Legal Contracts to Formal Specifications: Preliminary Results.
Michele SoaviNicola ZeniJohn MylopoulosLuisa MichPublished in: PoEM (2020)
Keyphrases
- formal specification
- revenue sharing
- supply chain
- moral hazard
- dispute resolution
- principal agent
- specification languages
- specification language
- model checking
- adverse selection
- object oriented design
- spot market
- formal methods
- design methodology
- reverse engineering
- software components
- process algebra
- formal specification language
- concurrent systems
- legal knowledge
- legal reasoning
- business rules
- case study
- protocol specification
- database