From Legal Contracts to Formal Specifications: A Systematic Literature Review.
Michele SoaviNicola ZeniJohn MylopoulosLuisa MichPublished in: SN Comput. Sci. (2022)
Keyphrases
- literature review
- formal specification
- model checking
- specification languages
- object oriented design
- specification language
- fuzzy theory
- case study
- reverse engineering
- information systems development
- concurrent systems
- public libraries
- formal methods
- current issues
- design science
- temporal logic
- formal specification language
- artificial intelligence
- higher education institutions
- software maintenance
- software components
- protocol specification