A method for documenting code components
TL;DR: An analysis approach designed to generate program documentation that satisfies a set of criteria for facilitating the rigorous understanding of code components via documentation is presented and existing notations and approaches with respect to these criteria are evaluated.
read more
About: This article is published in Journal of Systems and Software. The article was published on 01 Aug 1996. and is currently open access. The article focuses on the topics: Formal specification & Program analysis.
read more
Chat with Paper
AI Agents for this Paper
Find similar papers on Google Scholar, PubMed and Arxiv
Write a critical review of this paper
Analyze citations of this paper to find unaddressed research gaps
Citations
A knowledge-based approach to the analysis of loops
TL;DR: A knowledge-based analysis approach that generates first order predicate logic annotations of loops is presented and a consistent and rigorous functional abstraction of the whole loop is synthesized from the specifications of its individual events.
Principles of computer programming
Kern W. Dickman
- 01 Jan 1964
TL;DR: This serves as an entry level programming course designed to teach students the basics of programming and introduces the fundamental building blocks of programming such as variables, operators, control structures, arrays and subroutines.
23
Domain Implementation in Software Product Lines Using OSGi
Eduardo Santana de Almeida,E.C.R. Santos,Alexandre Alvaro,Vinicius Cardoso Garcia,Silvio Romero de Lemos Meira,Daniel Lucrédio,R.P. de Mattos Fortes +6 more
- 25 Feb 2008
TL;DR: A method for domain implementation in software product lines is presented, based on a well defined set of guidelines, inputs, outputs, and roles, and uses OSGi as the main implementation technology.
13
References
•Book
An axiomatic basis for computer programming
C. A. R. Hoare
- 01 Jan 2002
TL;DR: In this article, the logical foundations of computer programming are explored by using techniques first applied in the study of geometry and later extended to other branches of mathematics, and a formal proof of a simple theorem is displayed.
3.3K
An axiomatic basis for computer programming
TL;DR: 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.
•Book
The science of programming
David Gries
- 01 Jan 1981
TL;DR: Describes basic programming principles and their step-by- step applications and shows how to apply them to real-world problems.
1.5K
Empirical Studies of Programming Knowledge
Elliot Soloway,Kate Ehrlich +1 more
TL;DR: Two empirical studies attempt to evaluate the hypothesis that expert programmers have and use two types of programming knowledge: programming plans, which are generic program fragments that represent stereotypic action sequences in programming, and rules of programming discourse, which capture the conventions in programming and govern the composition of the plans into programs.
936
Related Papers (5)
M.T. Harandi,J.Q. Ning +1 more
Charles Rich,Linda M. Wills +1 more
Sudin Bhat,Kanth Miriyala +1 more
- 01 Jan 1993
Wasim Sadiq,Maria E. Orlowska +1 more
- 01 Apr 2000