3 From the Editors trail documenting what the system is supposed to do (and not supposed to do), why the design should work, and what assumptions are being made. So, to hold software producers accountable, we need a mature discipline of forensics for computing systems and components. But getting there will require some radical changes in software development practices, since in addition to deli...