1366 search results - page 124 / 274 » Modularizing Contexted Constraints |
103
click to vote
HPDC
1998
IEEE
15 years 3 months ago
1998
IEEE
The potential for faults in distributed computing systems is a significant complicating factor for application developers. While a variety of techniques exist for detecting and co...
EMSOFT
2006
Springer
15 years 3 months ago
2006
Springer
Among related synchronous programming principles, the model of computation of the Polychrony workbench stands out by its capability to give high-level description of systems where...
CC
2001
Springer
15 years 3 months ago
2001
Springer
Large programs are typically built from separate modules. Traditional whole-program analysis cannot be used in the context of such modular development. In this paper we consider an...
133
click to vote
AOSD
2008
ACM
15 years 1 months ago
2008
ACM
e instantiation is the transformation of abstract test cases cutable test scripts. Abstract test cases are either created during model based test case generation or are manually d...
ESEM
2008
ACM
15 years 1 months ago
2008
ACM
The identification and management of work dependencies is a fundamental challenge in software development organizations. This paper argues that modularization, the traditional tec...