Author of the publication

ContracT - from Legal Contracts to Formal Specifications: Preliminary Results.

, , , and . PoEM, volume 400 of Lecture Notes in Business Information Processing, page 124-137. Springer, (2020)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

 

Other publications of authors with the same name

Process Management and Assertion Enforcement for a Semantic Data Model., , , and . EDBT, volume 303 of Lecture Notes in Computer Science, page 469-487. Springer, (1988)Designing Law-Compliant Software Requirements., , , and . ER, volume 5829 of Lecture Notes in Computer Science, page 472-486. Springer, (2009)Requirement Engineering Meets Security: A Case Study on Modelling Secure Electronic Transactions by VISA and Mastercard., , and . ER, volume 2813 of Lecture Notes in Computer Science, page 263-276. Springer, (2003)Establishing Regulatory Compliance for Software Requirements., , and . ER, volume 6998 of Lecture Notes in Computer Science, page 47-61. Springer, (2011)Towards a Compositional Semantic Account of Data Quality Attributes., , and . ER, volume 5231 of Lecture Notes in Computer Science, page 55-68. Springer, (2008)Improving the Build Architecture of Legacy C/C++ Software Systems., , , and . FASE, volume 3442 of Lecture Notes in Computer Science, page 96-110. Springer, (2005)Knowledge Representation: Features of Knowledge., and . Advanced Course: Fundamentals of Artificial Intelligence, volume 232 of Lecture Notes in Computer Science, page 3-36. Springer, (1985)Knowledge Bases vs. Databases., and . On Knowledge Base Management Systems (Islamorada), page 83-86. Springer, (1985)Reasoning with Optional and Preferred Requirements., , , and . ER, volume 6412 of Lecture Notes in Computer Science, page 118-131. Springer, (2010)Partitioning Information Bases with Contexts., and . CoopIS, page 44-54. (1995)