1878 search results - page 283 / 376 » Efficient Performance Models in Component-Based Software Eng... |
170
click to vote
ICSE
2003
IEEE-ACM
15 years 11 months ago
2003
IEEE-ACM
ct Feature Oriented Programming (FOP) is a design methodology and tools for program synthesis. The goal is to specify a target program in terms of the features that it offers, and ...
159
click to vote
SIGSOFT
2004
ACM
15 years 11 months ago
2004
ACM
In run-time safety analysis the executions of a concurrent program are monitored and analyzed with respect to safety properties. Similar to testing, run-time analysis is quite eï¬...
197
click to vote
AOSD
2003
ACM
15 years 11 months ago
2003
ACM
Middleware technologies such as Web Services, CORBA and DCOM have been very successful in solving distributed computing problems for a large family of application domains. As midd...
142
click to vote
SIGSOFT
2004
ACM
16 years 7 months ago
2004
ACM
One of the benefits of finite-state verification (FSV) tools, such as model checkers, is that a counterexample is provided when the property cannot be verified. Not all counterexa...
180
click to vote
ISSRE
2010
IEEE
15 years 4 months ago
2010
IEEE
—Automated regression test suites are an essential software engineering practice: they provide developers with rapid feedback on the impact of changes to a system’s source code...