The British Nationality Act as a logic program
Communications of the ACM
Esplex: A rule and conceptual model for representing statutes
ICAIL '87 Proceedings of the 1st international conference on Artificial intelligence and law
Deep models, normative reasoning and legal expert systems
ICAIL '89 Proceedings of the 2nd international conference on Artificial intelligence and law
Telos: representing knowledge about information systems
ACM Transactions on Information Systems (TOIS)
Informal and Formal Requirements Specification Languages: Bridging the Gap
IEEE Transactions on Software Engineering
Goal-directed requirements acquisition
6IWSSD Selected Papers of the Sixth International Workshop on Software Specification and Design
Better language, better thought, better communication: the A-Hohfeld language for legal analysis
ICAIL '95 Proceedings of the 5th international conference on Artificial intelligence and law
Four dark corners of requirements engineering
ACM Transactions on Software Engineering and Methodology (TOSEM)
On formal requirements modeling languages: RML revisited
ICSE '94 Proceedings of the 16th international conference on Software engineering
A computational theory of normative positions
ACM Transactions on Computational Logic (TOCL) - Special issue devoted to Robert A. Kowalski
Object-oriented modeling with ADORA
Information Systems - The 13th international conference on advanced information systems engineering (CAiSE*01)
On the Use of Visualization in Formal Requirements Specification
RE '02 Proceedings of the 10th Anniversary IEEE Joint International Conference on Requirements Engineering
Specifying and analyzing early requirements in Tropos
Requirements Engineering
Modeling Security Requirements Through Ownership, Permission and Delegation
RE '05 Proceedings of the 13th IEEE International Conference on Requirements Engineering
When and how to develop domain-specific languages
ACM Computing Surveys (CSUR)
Dynamics of legal provisions and its representation
ICAIL '05 Proceedings of the 10th international conference on Artificial intelligence and law
Constructing a semantic network for legal content
ICAIL '05 Proceedings of the 10th international conference on Artificial intelligence and law
A Case Study in Systematic Improvement of Language for Requirements
RE '06 Proceedings of the 14th IEEE International Requirements Engineering Conference
RE '06 Proceedings of the 14th IEEE International Requirements Engineering Conference
Toward measures of complexity in legal systems
Proceedings of the 11th international conference on Artificial intelligence and law
Analyzing Regulatory Rules for Privacy and Security Requirements
IEEE Transactions on Software Engineering
Semantic parameterization: A process for modeling domain descriptions
ACM Transactions on Software Engineering and Methodology (TOSEM)
Toward a general theory of document modeling
Proceedings of the 12th International Conference on Artificial Intelligence and Law
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
Exercising Due Diligence in Legal Requirements Acquisition: A Tool-supported, Frame-Based Approach
RE '09 Proceedings of the 2009 17th IEEE International Requirements Engineering Conference, RE
Legal requirements acquisition for the specification of legally compliant information systems
Legal requirements acquisition for the specification of legally compliant information systems
A legal cross-references taxonomy for identifying conflicting software requirements
RE '11 Proceedings of the 2011 IEEE 19th International Requirements Engineering Conference
Capturing variability of law with nómos 2
ER'12 Proceedings of the 31st international conference on Conceptual Modeling
| Hi-index | 0.00 |
Information systems are increasingly distributed and pervasive, enabling organizations to deliver remote services and share personal information, worldwide. However, developers face significant challenges in managing the many laws that govern their systems in this multi-jurisdictional environment. In this paper, we report on a computational requirements document expressible using a legal requirements specification language (LRSL). The purpose is to make legal requirements open and available to policy makers, business analysts and software developers, alike. We show how requirements engineers can codify policy and law using the LRSL and design, debug, analyze, trace, and visualize relationships among regulatory requirements. The LRSL provides new constructs for expressing distributed constraints, making regulatory specification patterns visually salient, and enabling metrics to quantitatively measure different styles for writing legal and policy documents. We discovered and validated the LRSL using thirteen U.S. state data breach notification laws.