This page is always under construction... :-p
Anyway, please read a paper of ATGSE2008 "A Proposal for Software Accountability of Law Enforcing Information Systems" for a while.
keywords: Accountability tree, Causal theory, Ease of evolution, Execution history (execution log), Explanation, Evolvability, e-Society system, Goal tree, Java EE, Law, Law enforcing information system, Law implementation information system, Legal basic notions, Legal engineering, Reference architecture, Social rule, Software accountability, Software accountability description, Software accountability functionality, Software accountability module, Subsumption theory of explanation (deductive-nomological model), Systematic legal theory, Two-state explanation model, Trustworthy, Why-question
JAIST The 21st Century COE Program "Verifiable and Evolvable e-Society"
My (and our) published papers.
Stanford Encyclopedia of Philosophy