Contratto - A Method for Transforming Legal Contracts into Formal Specifications.

Michele Soavi Nicola Zeni John Mylopoulos Luisa Mich

Published in: RCIS (2022)

Keyphrases

detection method
high accuracy
information systems
clustering method
significant improvement
cost function
segmentation method
database
support vector machine
preprocessing
objective function
similarity measure
neural network
dynamic programming
knowledge management
artificial intelligence
software systems