1407 search results - page 143 / 282 » Using Use Cases in Executable Z |
145
click to vote
KBSE
2010
IEEE
15 years 2 months ago
2010
IEEE
Software constantly undergoes changes throughout its life cycle, and thereby it evolves. As changes are introduced into a code base, we need to make sure that the effect of the ch...
156
click to vote
SIGADA
2001
Springer
15 years 9 months ago
2001
Springer
Automatic software testing is gradually becoming accepted practice in the software industry. The shrinking development cycle and higher expectation of software quality are forcing...
140
click to vote
ENTCS
2006
15 years 4 months ago
2006
This paper presents VyrdMC, a runtime verification tool we are building for concurrent software components. The correctness criterion checked by VyrdMC is refinement: Each executi...
144
click to vote
CASES
2006
ACM
15 years 10 months ago
2006
ACM
The architectural design of embedded systems is becoming increasingly idiosyncratic to meet varying constraints regarding energy consumption, code size, and execution time. Tradit...
NOMS
2002
IEEE
15 years 9 months ago
2002
IEEE
As web services become more prevalent, the nature of electronic transactions on the Internet changes from simple browser-to-business clicks to an orchestrated flow of messages bet...