The design of whole-program analysis tools

DC Atkinson, WG Griswold - Proceedings of IEEE 18th …, 1996 - ieeexplore.ieee.org
… the analysis should terminate when this fact becomes known. In particular, we propose that
a wholeprogram analysis tool: Allow the user to control the precision of the analysis algorithm…

What developers want and need from program analysis: an empirical study

M Christakis, C Bird - Proceedings of the 31st IEEE/ACM international …, 2016 - dl.acm.org
… purposes, we define program analysis as the process of automatically analyzing the behavior
of a program without running it, that is, we are only considering static program analysis. …

Specialized substance abuse treatment for women and their children: An analysis of program design

ND Uziel-Miller, JS Lyons - Journal of substance abuse treatment, 2000 - Elsevier
… A cluster analysis was conducted, and three distinct patterns of program design were …
and program design of specialized substance abuse services for women and their children. …

Policy and program analysis using administrative databases

WA Ray - Annals of Internal Medicine, 1997 - acpjournals.org
… To be useful for policy or program analysis, such databases must be accurate and
complete, serve a well-defined population and contain information on all persons in the study …

IMP (Integrated Mechanisms Program), a computer-aided design analysis system for mechanisms and linkage

PN Sheth, JJ Uicker Jr - 1972 - asmedigitalcollection.asme.org
An experimental software system for automating the kinematic, static, and dynamic analyses
of arbitrary mechanisms is described. The development of a comprehensive analytical

Context-sensitive program analysis as database queries

MS Lam, J Whaley, VB Livshits, MC Martin… - Proceedings of the …, 2005 - dl.acm.org
… For our first example of a program analysis in Datalog, let us look at the simple version of the
SQL injection query shown in Figure 1. The expression of this query in Datalog is simple if a …

Continuous monitoring of software services: Design and application of the Kieker framework

A van Hoorn, W Hasselbring, J Waller, J Ehlers, S Frey… - 2009 - macau.uni-kiel.de
program analysis. Such an overhead is not acceptable for the continuous operation of software
services. … operational software services of a telecommunication customer self service and …

Qualitative data analysis for health services research: developing taxonomy, themes, and theory

EH Bradley, LA Curry, KJ Devers - Health services research, 2007 - Wiley Online Library
analysis that has as a goal the generation of taxonomy, themes, and theory germane to health
services … We describe an approach to qualitative data analysis that applies the principles …

[HTML][HTML] A critical meta-analysis of all evaluations of state-funded preschool from 1977 to 1998: Implications for policy, service delivery and program evaluation

WS Gilliam, EF Zigler - Early Childhood Research Quarterly, 2000 - Elsevier
… In this paper a state-funded preschool or prekindergarten program is one which serves
children 3- to 5-years-old, provides some form of classroom-based educational service, and is …

Service-oriented design and development methodology

MP Papazoglou… - International Journal of …, 2006 - inderscienceonline.com
service integration as well as service interoperability. In Section 2, we describe the general
characteristics of a services design … 4, we describe useful design and development principles …