Declarative policies play a central role in many modern software systems. Engineering policies and their interactions with programs raises many interesting open questions. Categories and Subject Descriptors D.2.4 [Software Engineering]: Software/Program Verification; D.2.7 [Software Engineering]: Distribution, Maintenance, and Enhancement General Terms Design, Human Factors, Languages, Security Keywords Policies, policy engineering, program-policy interactions
Kathi Fisler, Shriram Krishnamurthi, Daniel J. Dou