This paper proposes a logical framework to capture the norm change power and the limitations of the judicial system in revising the set of constitutive rules defining the concepts on which the applicability of norms is based. In particular, we reconstruct the legal arguments leading to an extensive or restrictive interpretation of norms.

Abstract Legal properties involve reasoning about data values and time. Metric first-order temporal logic (MFOTL) provides a rich formalism for specifying legal properties. While MFOTL has been successfully used verifying over operational systems via runtime monitoring, no solution exists MFOTL-based verification in early-stage system development captured by requirements. Given property require...

background and objectives: standard clinical documentation is an integral part of quality patient care. this study aimed to explore compliance of two iranian teaching hospitals with the clinical documentation standards.   methods: a total of 400 records were surveyed. data were collected using a checklist of standard measures. the checklist comprised 15 items selected from relevant guidelines...

Legal compatibility as a characteristic of sociotechnical systems aims at the greatest possible compliance with higher-order legal goals for minimizing social risks of technical systems and extends legality, which refers to the prevention of lawlessness. The paper analyzes the criteria for legal compatibility by reviewing specifications of legally compatible systems and shows goals and resultin...

The pharmaceutical industry has been receiving greater scrutiny lately due in large part to the many public and private legal enforcement actions taken against pharmaceutical manufacturers. These enforcement actions, along with legal developments such as the OIG Compliance Guidance for Pharmaceutical Manufacturers, the Sarbanes-Oxley Act's statutory guidelines for public corporations, the HIPAA...

With the advent of federal regulations such as the Sarbanes Oxley act and the amended Federal Rules for Civil Procedure guidelines, KMCO Gaming, a leading casino gaming firm, is grappling with managing electronic data and records in compliance with legal requirements. In the midst of a major lawsuit against a rival company, KMCO has decided to purchase an electronic discovery (E-Discovery) solu...

Legal compliance in software systems is one of the most important problems in the field of software engineering. Laws, regulations, and organizational policies describe societal values that impose serious challenges and requirements to software engineers building systems. My dissertation examines how software engineers can ensure software requirements comply with relevant laws, regulations, and...