3889 search results - page 233 / 778 » The Use of Program Dependence Graphs in Software Engineering |
154
click to vote
CASES
2005
ACM
15 years 6 months ago
2005
ACM
Digital Signal Processing (DSP) is becoming increasingly widespread in portable devices. Due to harsh constraints on power, latency, and throughput in embedded environments, devel...
147
click to vote
SAC
2005
ACM
15 years 10 months ago
2005
ACM
More and more software projects are using COTS (Commercialoff-the-shelf) components. Using COTS components brings both advantages and risks. To manage some risks in using COTS com...
146
click to vote
FASE
1998
Springer
15 years 8 months ago
1998
Springer
A loose semantics for graph transformation rules which has been developed recently is used in this paper for the compositional verification of specifications. The main conceptual t...
115
click to vote
ICSM
2005
IEEE
15 years 10 months ago
2005
IEEE
We have built a software development tool, CLIME, that uses constraints to ensure the consistency of the different artifacts associated with software. This approach to software dev...
173
click to vote
XPU
2010
Springer
15 years 2 months ago
2010
Springer
Experimentation is one way to gain insight into how processes perform for a team, but industry teams rarely do experiments, fearing that such educational excursions will incur extr...