The British Nationality Act as a logic program
Communications of the ACM
Expert systems in law: The datalex project
ICAIL '87 Proceedings of the 1st international conference on Artificial intelligence and law
A Prolog model of the income tax act of Canada
ICAIL '87 Proceedings of the 1st international conference on Artificial intelligence and law
ICAIL '87 Proceedings of the 1st international conference on Artificial intelligence and law
Esplex: A rule and conceptual model for representing statutes
ICAIL '87 Proceedings of the 1st international conference on Artificial intelligence and law
Indian central civil service pension rules: a case study in logic programming applied to regulations
ICAIL '91 Proceedings of the 3rd international conference on Artificial intelligence and law
The art of Prolog (2nd ed.): advanced programming techniques
The art of Prolog (2nd ed.): advanced programming techniques
Knowledge engineering and management: the CommonKADS methodology
Knowledge engineering and management: the CommonKADS methodology
Analyzing Regulatory Rules for Privacy and Security Requirements
IEEE Transactions on Software Engineering
Legal Requirements, Compliance and Practice: An Industry Case Study in Accessibility
RE '08 Proceedings of the 2008 16th IEEE International Requirements Engineering Conference
Developing Production Rule Models to Aid in Acquiring Requirements from Legal Texts
RE '09 Proceedings of the 2009 17th IEEE International Requirements Engineering Conference, RE
Evaluating existing security and privacy requirements for legal compliance
Requirements Engineering - Special Issue on RE'09: Security Requirements Engineering; Guest Editors: Eric Dubois and Haralambos Mouratidis
Proceedings of the 1st ACM International Health Informatics Symposium
Establishing regulatory compliance for software requirements
ER'11 Proceedings of the 30th international conference on Conceptual modeling
Arguing regulatory compliance of software requirements
Data & Knowledge Engineering
| Hi-index | 0.00 |
To ensure legal compliance, requirements engineers need tools to determine existing software requirements' compliance with relevant law. We propose using a production rule model for requirements engineers to query as they check software requirements for legal compliance. In this paper, we perform a case study using our approach to evaluate the iTrust Medical Records System requirements for compliance with the u.s. Health Insurance Portability and Accountability Act (HIPAA). We identifY 12 new compliance requirements beyond the 63 functional requirements with which we began our analysis.