3837 search results - page 54 / 768 » Concurrent Engineering support in Software Engineering |
126
click to vote
COMPSAC
2003
IEEE
15 years 8 months ago
2003
IEEE
Testing is the most commonly used approach to the assurance of software quality and reliability. The testing of object-oriented software is much more complex than that of conventi...
134
click to vote
KBSE
1997
IEEE
15 years 7 months ago
1997
IEEE
Modern software systems are designed and implemented in a modular fashion by composing individual components. Early validation of individual module designs and implementations off...
146
click to vote
FSTTCS
2010
Springer
15 years 1 months ago
2010
Springer
For concurrent probabilistic programs having process-level nondeterminism, it is often necessary to restrict the class of schedulers that resolve nondeterminism to obtain sound an...
129
click to vote
COMPSAC
2007
IEEE
15 years 9 months ago
2007
IEEE
Various program analysis techniques are efficient at discovering failures and properties. However, it is often difficult to evaluate results, such as program traces. ls for abst...
132
click to vote
SIGSOFT
2010
ACM
15 years 1 months ago
2010
ACM
The Student Contest on Software Engineering (SCORE), organized for the first time in conjunction with the International Conference on Software Engineering (ICSE) 2009, attracted 5...