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…
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. …
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. …
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 …
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 …
of arbitrary mechanisms is described. The development of a comprehensive analytical …
Context-sensitive program analysis as database queries
… 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 …
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
… 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 …
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 …
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 …
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 …
characteristics of a services design … 4, we describe useful design and development principles …
相关搜索
- program analysis binary decision diagrams
- program analysis administrative databases
- program analysis database queries
- program analysis empirical study
- abstraction refinement program analyses
- meta analysis service delivery
- comparison of client characteristics program services
- program design specialized substance abuse treatment
- systems analysis and design
- matrix methods design analysis
- service descriptions integrated treatment programs
- static analysis tools code reviews
- software services design and application
- dynamic analysis program comprehension
- mixed gender program services
- pregnant women program services