Deriving operational software specifications from system goals
Proceedings of the 10th ACM SIGSOFT symposium on Foundations of software engineering
Deriving operational software specifications from system goals
ACM SIGSOFT Software Engineering Notes
Decision Procedures for a Deontic Logic Modeling Temporal Inheritance of Obligations
Electronic Notes in Theoretical Computer Science (ENTCS)
Representations of Time within Normative MAS
Proceedings of the 2010 conference on Legal Knowledge and Information Systems: JURIX 2010: The Twenty-Third Annual Conference
Hi-index | 0.00 |