Four dark corners of requirements engineering
ACM Transactions on Software Engineering and Methodology (TOSEM)
SOUPS '06 Proceedings of the second symposium on Usable privacy and security
Software Abstractions: Logic, Language, and Analysis
Software Abstractions: Logic, Language, and Analysis
Communications of the ACM - Privacy and security in highly dynamic systems
A roadmap for comprehensive online privacy policy management
Communications of the ACM - Creating a science of games
Extracting rights and obligations from regulations: toward a tool-supported process
Proceedings of the twenty-second IEEE/ACM international conference on Automated software engineering
Analyzing Regulatory Rules for Privacy and Security Requirements
IEEE Transactions on Software Engineering
From human regulations to regulated software agents' behavior
Artificial Intelligence and Law
Finding Minimal Unsatisfiable Cores of Declarative Specifications
FM '08 Proceedings of the 15th international symposium on Formal Methods
Proceedings of the 2007 conference on New Trends in Software Methodologies, Tools and Techniques: Proceedings of the sixth SoMeT_07
Governance Requirements Extraction Model for Legal Compliance Validation
RELAW '09 Proceedings of the 2009 Second International Workshop on Requirements Engineering and Law
Towards semantic methodologies for automatic regulatory compliance support
Proceedings of the 4th workshop on Workshop for Ph.D. students in information & knowledge management
Hi-index | 0.00 |
It is shown that the concepts of requirements and implementation exist in normative systems, in particular in law, and are similar to homologous concepts in software engineering. Concepts of compliance and conformance are also similar in the two areas. Further, it is shown how a logic analyzer such as Alloy can be used in order to verify legal compliance by checking consistency between legal and enterprise requirements. Examples are taken from privacy law and financial reporting law.