Export Citations
Save this search
Please login to be able to save your searches and receive alerts for new content matching your search criteria.
- demonstrationOctober 2020
GeekyNote: a technical documentation tool with coverage, backtracking, traces, and couplings
ICSE '20: Proceedings of the ACM/IEEE 42nd International Conference on Software Engineering: Companion ProceedingsJune 2020, Pages 73–76https://doi.org/10.1145/3377812.3382136Understanding an unfamiliar program is always a daunting task for any programmer, either experienced or inexperienced. Many studies have shown that even an experienced programmer who is already familiar with the code may still need to rediscover the ...
- ArticleDecember 2013
Executable Program Documentation Based on Debugging Break Points
APSEC '13: Proceedings of the 2013 20th Asia-Pacific Software Engineering Conference (APSEC) - Volume 01December 2013, Pages 199–206https://doi.org/10.1109/APSEC.2013.36Understanding an unfamiliar program is always a daunting task for any programmer, either experienced or inexperienced. Many studies have shown that even an experienced programmer who is already familiar with the code may still need to rediscover the ...
- chapterJanuary 2002
An axiomatic basis for computer programming
Software pioneersJanuary 2002, Pages 367–383In this paper an attempt is made to explore the logical foundations of computer programming by use of techniques which were first applied in the study of geometry and have later been extended to other branches of mathematics. This involves the ...
- articleJune 2000
Documentation threads - presentation of fragmented documentation
Nordic Journal of Computing (NJOC), Volume 7, Issue 2Summer 2000, Pages 106–125In this paper, we introduce a means for presenting fragmented documentation through a concept called documentation threads. A documentation thread presents a number of documentation fragments specified by the programmer and can guide a documentation ...
- articleJune 2000
Elucidative programming
Nordic Journal of Computing (NJOC), Volume 7, Issue 2Summer 2000, Pages 87–105In this paper we introduce Elucidative Programming as a variant of Literate Programming. Literate Programming represents the idea of organizing a source program in an essay that documents the program understanding. An elucidative program connects ...
- ArticleJanuary 1996
A debugger and assertion checker for the Awk programming language
SEEP '96: Proceedings of the 1996 International Conference on Software Engineering: Education and Practice (SE:EP '96)January 1996, Page 242The paper describes the design and implementation of our Awk User Interface (AUI). AUI is a graphical programming environment for editing, running, testing and debugging of Awk programs. The AUI environment supports tracing of Awk programs, setting of ...
- research-articleDecember 1994
Precise Documentation of Well-Structured Programs
IEEE Transactions on Software Engineering (ISOF), Volume 20, Issue 12December 1994, Pages 948–976https://doi.org/10.1109/32.368133Describes a new form of program documentation that is precise, systematic and readable. This documentation comprises a set of displays supplemented by a lexicon and an index. Each display presents a program fragment in such a way that its correctness ...
- ArticleMarch 1984
Knowledge-based communication processes in software engineering
ICSE '84: Proceedings of the 7th international conference on Software engineeringMarch 1984, Pages 358–368A large number of problems to be solved with the help of computer systems are ill-structured. Their solution requires incremental design processes, because complete and stable specifications are net available.
For tasks of this sort, life cycle models ...
- articleJanuary 1983
An axiomatic basis for computer programming
Communications of the ACM (CACM), Volume 26, Issue 1Jan. 1983, Pages 53–56https://doi.org/10.1145/357980.358001In this paper an attempt is made to explore the logical foundations of computer programming by use of techniques which were first applied in the study of geometry and have later been extended to other branches of mathematics. This involves the ...
- surveyMay 1982
Understanding and Documenting Programs
IEEE Transactions on Software Engineering (ISOF), Volume 8, Issue 3May 1982, Pages 270–283https://doi.org/10.1109/TSE.1982.235255This paper reports on an experiment in trying to understand an unfamiliar program of some complexity and to record the authors' understanding of it. The goal was to simulate a practicing programmer in a program maintenance environment using the ...
- articleJune 1980
Comments on program specification and testing
Communications of the ACM (CACM), Volume 23, Issue 6June 1980, Pages 324–331https://doi.org/10.1145/358876.358879The data processing discipline is in a deplorable state, says Roger House. The author reviews an earlier study, in which programmers were largely unsuccessful in finding known errors in a test program. House shows that the fault lies not with the ...
- articleNovember 1973
Tree-structured programs
Communications of the ACM (CACM), Volume 16, Issue 11Nov. 1973, Pages 704–705https://doi.org/10.1145/355611.362547With this note I hope to bridge the gap between the adherents of structured programming and the devotees of the unrestricted goto. I describe a style of programming which combines the advantages of structured programming with nearly all the power of the ...
- articleDecember 1972
- articleJanuary 1971
Proof of a program: FIND
Communications of the ACM (CACM), Volume 14, Issue 1Jan. 1971, Pages 39–45https://doi.org/10.1145/362452.362489A proof is given of the correctness of the algorithm “Find.” First, an informal description is given of the purpose of the program and the method used. A systematic technique is described for constructing the program proof during the process of coding ...
- articleOctober 1969
An axiomatic basis for computer programming
Communications of the ACM (CACM), Volume 12, Issue 10Oct. 1969, Pages 576–580https://doi.org/10.1145/363235.363259In this paper an attempt is made to explore the logical foundations of computer programming by use of techniques which were first applied in the study of geometry and have later been extended to other branches of mathematics. This involves the ...