3889 search results - page 272 / 778 » The Use of Program Dependence Graphs in Software Engineering |
127
Voted
WER
2007
Springer
15 years 10 months ago
2007
Springer
Complex information systems have numerous design variables that are systematically decided upon during the design process. In high-variability systems, some of these decisions are...
128
Voted
ENTCS
2007
15 years 4 months ago
2007
Reasoning about graph and model transformation systems is an important means to underpin model-driven software engineering, such as Model-Driven Architecture (MDA) and Model Integ...
131
click to vote
CCS
2007
ACM
15 years 11 months ago
2007
ACM
Static analysis tools can handle large-scale software and find thousands of defects. But do they improve software security? We evaluate the effect of static analysis tool use on s...
160
click to vote
AGILEDC
2004
IEEE
15 years 8 months ago
2004
IEEE
Strong unit testing is the foundation of agile software development but embedded systems present special problems. Test of embedded software is bound up with test of hardware, cro...
150
Voted
FSTTCS
2004
Springer
15 years 10 months ago
2004
Springer
Abstract Abstract. In this paper we improve the analysis of approximation algorithms based on semidefinite programming for the maximum graph partitioning problems MAX-k-CUT, MAX-k...