Vilkomir, Sergiy A.Parnas, David Lorge2025-08-042025-08-042007https://researchrepository.ul.ie/handle/10344/357https://doi.org/10.34961/9072peer-reviewedThis experience and research based paper discusses the reasons that software cannot be trusted and then explains how the use of greatly improved documentation can make software more trustworthy. It shows how tabular expressions can be used to prepare software documents that are both precise and easily used by developers, inspectors, and testers. The paper reviews a number of "tried and true" ideas and illustrates some new refinements in the methods that resulted from recent research. It is intended both to tell developers of techniques available to them and to suggest new research areas.enhttps://creativecommons.org/licenses/by-nc-sa/1.0/critical softwaretestingdocumentationspecificationsOther©2007 Personal use of this material is permitted. However, permission to reprint/republish this material for advertising or promotional purposes or for creating new collective works for resale or redistribution to servers or lists, or to reuse any copyrighted component of this work in other works must be obtained from the IEEE."