3544 search results - page 512 / 709 » Software Testing |
145
click to vote
UML
2001
Springer
15 years 6 months ago
2001
Springer
The work presented here is part of a project that aims at the definition of a methodology for developing realtime software systems based on UML. In fact, being relatively easy to ...
120
click to vote
SIGSOFT
2008
ACM
15 years 2 months ago
2008
ACM
If an organization depends on the service quality provided by another organization it often enters into a bilateral service level agreement (SLA), which mitigates outsourcing risk...
214
Voted
ICTAC
2010
Springer
15 years 19 days ago
2010
Springer
Material Flow Abstraction of Manufacturing Systems. ‣Umberto Costa, Ivan de Medeiros Jr and Marcel Oliveira. Specification and Verification of a MPI Implementation for a MP-SoC...
129
click to vote
ECLIPSE
2007
ACM
15 years 6 months ago
2007
ACM
We present a declarative and visual debugging environment for Eclipse called JIVE.1 Traditional debugging is procedural in that a programmer must proceed step-by-step and objectby...
112
click to vote
ICSE
2011
IEEE-ACM
14 years 5 months ago
2011
IEEE-ACM
Considerable progress has been made towards automatic support for one of the principal techniques available to enhance program reliability: equipping programs with extensive contr...