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 module, Accountability tree, DSL (domain specific language), Ease of evolution, Execution history (execution log), Explanation, Evolvability, e-Society system, Java EE, Law, Law enforcing information system, Legal engineering, Legal theory, Reference architecture, Social rule, Software accountability, Subsumption theory of explanation (deductive-nomological model), Trustworthy
JAIST The 21st Century COE Program "Verifiable and Evolvable e-Society"
My (and our) published papers.