University of Limerick Institutional Repository

Precise documentation of critical software

DSpace Repository

Show simple item record Vilkomir, Sergiy A. Parnas, David Lorge 2010-02-25T13:43:03Z 2010-02-25T13:43:03Z 2007
dc.description peer-reviewed en_US
dc.description.abstract This 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. en_US
dc.language.iso eng en_US
dc.publisher IEEE Computer Society en_US
dc.relation.ispartofseries 10th IEEE High Assurance Systems Engineering Symposium; p237-244
dc.rights ©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." en_US
dc.subject critical software en_US
dc.subject testing en_US
dc.subject documentation
dc.subject specifications
dc.title Precise documentation of critical software en_US
dc.type Journal Article en_US
dc.type.supercollection all_ul_research en_US
dc.type.supercollection ul_published_reviewed en_US
dc.type.restriction none en
dc.identifier.local 10SQRL001
dc.contributor.sponsor SFI

Files in this item

This item appears in the following Collection(s)

Show simple item record

Search ULIR


My Account