Academia.edu no longer supports Internet Explorer.
To browse Academia.edu and the wider internet faster and more securely, please take a few seconds to upgrade your browser.
This paper describes a desk study in which a user manual dating from 1925, describing how to operate a table loom, was verified for conformance to an ISO standard that lists requirements for software user documentation and was last revised in 2008. A remarkably high degree of conformance was established. It is discussed whether this is coincidental, or more fundamentally related to the way in which the documentation of software tools is regarded as quantitatively rather than qualitatively different from the documentation of physical tools. The paper concludes by making a case for academic research resulting in guidelines for software documentation that take into account the specific nature of software, and the specific problems that users encounter when working with software.
10th IEEE High Assurance Systems Engineering Symposium (HASE'07), 2007
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.
Science of Computer Programming, 1995
Although software documentation standards often go into great detail about the format of documents, describing such details as paragraph numbering and section headings, they fail to give precise descriptions of the information to be contained in the documents. This paper does the opposite; it defines the contents of documents without specifying their format or the notation to be used in them. We describe documents such as the "System Requirements Document", the "System Design Document", the "Software Requirements Document", the "Software Behaviour Specification", the "Module Interface Specification", and the "Module Internal Design Document" as representations of one or more mathematical relations. By describing those relations, we specify what information should be contained in each document.
Effective management requires the process being managed to be visible. Because software is intangible and the software process involves apparently similar cognitive tasks rather than obviously different physical tasks, the only way this visibility can be achieved is through the use of process documentation.
1988
Validation Curricuum Module SEI-CM-13-1.1 UNLIMITED, UNCLASSIFIED SECURITY CLASSIf'ICATION OF T041S PAGE REPORT DOCUMENTATION PAGE to REPORT SECURITY CLASSIFICATION 1b. RESTRICTIVE MARK(INGS UNCLASSI FIED NONE 2.. SECURITY CLASSIFICATION AUTHORITY _3. 0151 Ri BUT IONIAVAIL.ASILITY OF REPORT 20. DISTRI SUTION/AVAILAOILITY OF ABSTRACT 21. ASSTRACT SECURITY CLASSIFICATION UP4CLASSIPIGOIUNLIMITED JQSAME AS APT. 03 TIC USERS (a UNCLASSIFIED, UNLIMITED DISTRIBUTION [22.. NAME OF RSPONSILE INDIVIDUAL 22b6 TELIEPHONE.NUMER 22c. OFFICE SYVMOL JOHN S. HERMAN. (qnr.. IT.qAF
HAL is a multidisciplinary open access archive for the deposit and dissemination of scientific research documents, whether they are published or not. The documents may come from teaching and research institutions in France or abroad, or from public or private research centers. L'archive ouverte pluridisciplinaire HAL, est destinée au dépôt et à la diffusion de documents scientifiques de niveau recherche, publiés ou non, émanant des établissements d'enseignement et de recherche français ou étrangers, des laboratoires publics ou privés.
Lecture notes in electrical engineering, 2012
, except for brief excerpts in connection with reviews or scholarly analysis. Use in connection with any form of information storage and retrieval, electronic adaptation, computer software, or by similar or dissimilar methodology now known or hereafter developed is forbidden. The use in this publication of trade names, trademarks, service marks, and similar terms, even if they are not identified as such, is not to be taken as an expression of opinion as to whether or not they are subject to proprietary rights.
Byrsa. Scritti sull'antico oriente mediterraneo, 33-34, 2018
Pensar en comunidades, 2010
STEVANUS ADI PRATAMA, 2021
J.B. Metzler eBooks, 2003
Edward Elgar Publishing eBooks, 2023
Philosophical Inquiries, 2024
Journal of International Political Theory, 2017
International Journal of Learning Technology, 2018
Revista de Geociências do Nordeste, 2021
Tạp chí Khoa học và Công nghệ: Chuyên san Khoa học Tự nhiên, 2018
European Journal of Obstetrics & Gynecology and Reproductive Biology, 1997