Time and compensation mechanisms in checking legal compliance

被引：0
|
作者：
Governatori, Guido [1 ]
Rotolo, Antonino [2 ]
机构：
[1] CSIRO’s Data61, Dutton Park, Australia
[2] CIRSFID, University of Bologna, Italy
来源：
Journal of Applied Logics | 2019年 / 6卷 / 05期
关键词：
D O I：
暂无
中图分类号：
学科分类号：
摘要：
引用
收藏
页码：815 / 845
相关论文
共 50 条
  • [41] PREPAID LEGAL INSURANCE - CHECKING THE COSTS
    WINTER, B
    AMERICAN BAR ASSOCIATION JOURNAL, 1980, 66 (DEC): : 1513 - 1513
  • [42] SYMBOLEOPC: checking properties of legal contracts
    Parvizimosaed, Alireza
    Roveri, Marco
    Rasti, Aidin
    Anda, Amal Ahmed
    Alfuhaid, Sofana
    Amyot, Daniel
    Logrippo, Luigi
    Mylopoulos, John
    SOFTWARE AND SYSTEMS MODELING, 2024,
  • [43] Introducing a Mashup-Based Approach for Design-Time Compliance Checking in Business Processes
    Cabanillas, Cristina
    Resinas, Manuel
    Ruiz-Cortes, Antonio
    ADVANCED INFORMATION SYSTEMS ENGINEERING WORKSHOPS, CAISE 2012, 2012, 112 : 337 - 350
  • [44] CHECKING AND CORRECTING COMPLIANCE: FOCUSING RENAL PATIENTS
    Anjani, Bakshi
    Kalyani, Singh
    INTERNATIONAL JOURNAL OF MEDICAL RESEARCH & HEALTH SCIENCES, 2014, 3 (04): : 997 - 1005
  • [45] A Model for Checking Contractual Compliance of Business Interactions
    Molina-Jimenez, Carlos
    Shrivastava, Santosh
    Strano, Massimo
    IEEE TRANSACTIONS ON SERVICES COMPUTING, 2012, 5 (02) : 276 - 289
  • [46] Automated code compliance checking for building inspection
    Nguyen, TH
    Bedard, C
    Ha, KH
    COMPUTING IN CIVIL ENGINEERING, 1996, : 1020 - 1026
  • [47] Checking Regulatory Compliance: Will We Live to See It?
    Tosatto, Silvano Colombo
    Governatori, Guido
    van Beest, Nick
    BUSINESS PROCESS MANAGEMENT (BPM 2019), 2019, 11675 : 119 - 138
  • [48] Automating Information Security Policy Compliance Checking
    Mandal, Debashis
    Mazumdar, Chandan
    PROCEEDINGS OF 2018 FIFTH INTERNATIONAL CONFERENCE ON EMERGING APPLICATIONS OF INFORMATION TECHNOLOGY (EAIT), 2018,
  • [49] Checking the Compliance of Timing Constraints in Software Applications
    Thanh-Binh Trinh
    Tuan-Anh Do
    Ninh-Thuan Truong
    Viet-Ha Nguyen
    INTERNATIONAL CONFERENCE ON KNOWLEDGE AND SYSTEMS ENGINEERING (KSE 2009), 2009, : 220 - 225
  • [50] An Efficient Business Process Compliance Checking Approach
    Becker, Joerg
    Bergener, Philipp
    Breuker, Dominic
    Delfmann, Patrick
    Eggert, Mathias
    GOVERNANCE AND SUSTAINABILITY IN INFORMATION SYSTEMS: MANAGING THE TRANSFER AND DIFFUSION OF IT, 2011, 366 : 282 - 287
12345