A powerful, but limited, way to view software is as source code alone. Treating a program as a sequence of instructions enables it to be formalized and makes it amenable to mathematical techniques such as abstract interpretation and model checking. A program consists of much more than a sequence of instructions. Developers make use of test cases, documentation, variable names, program structure...

Program analysis long has been understood as the analysis of source code alone. A modern software product, though, is more than just program code; it contains documentation, interface descriptions, resource data—all of which must be maintained and organized. In this paper, we propose a novel approach to maintain such non-program entities: By learning from the development history of the product,...

among state and federal agencies. The FHM program focuses on assessing and monitoring the health and sustainability of the nation’s forests and consists of four primary activities: detection monitoring, evaluation monitoring, intensive site monitoring, and research on monitoring techniques. Together, these four activities permit predictions of where and how future ecosystems might change under ...

Managing a radiology residency program is a challenging occupation. In many programs the coordinator is the only member of the residency program team whose time is devoted 100% to the program. Although coordinators at smaller programs may also have non-residency program duties, most programs now have a full-time residency coordinator due to the increasing scope and complexity of program require...

2. Berkeley Website http://sda.berkeley.edu/archive.htm This is the data archive page for the Survey Documentation and Analysis (SDA) software developed and maintained by the Computer-assisted Survey Methods Program at the University of California, Berkeley. This is the top dissemination source recommended by the main GSS website, and it provides online tabulation and subsetting of the 1972-200...

BACKGROUND To improve and assess the effectiveness of disease management programs (DMPs), it is critical to understand how many people drop out of disease management programs and why. METHODS We used routine data provided by a statutory health insurance fund from the regions North Rhine, North Wurttemberg and Hesse. As part of the German DMP for type 2 diabetes, the insurance fund received re...

purpose: the purpose of this study is to investigate the present situation of iranian university libraries in case of experience and knowledge documentation and documentation barriers in order to present solutions for documentation of experience and knowledge in iranian academic libraries. methodology: this research was a descriptive-analytic type and the data gathering tool was a researcher-ma...

objectives to explore adequacy of nursing documentation and nurses' knowledge about the process. materials and methods the study was a cross-sectional study. the data were collected from 170 nurses who selected to participate in the study with census sampling method from 32 medical–surgical units at four university hospitals in tabriz. for assessing the quality of nurses' documents, 2...

Program comprehension remains a major bottleneck for software maintenance. When a programmer must understand a large legacy program whose documentation is scarce, out-ofdate, or irrelevant, she must browse its source code to build an effective mental model of its structure and behavior. But source code is far from an ideal representation for this task. I propose a system, DR. JONES, to help a p...