356 search results - page 16 / 72 » Interaction Diagrams |
VL
2003
IEEE
14 years 2 months ago
2003
IEEE
JAN is a system for animated execution of Java programs. Its application area is program understanding rather than debugging. To this end, the animation can be customized, both by...
CHI
2009
ACM
14 years 9 months ago
2009
ACM
Some of the most interesting differences between Open Source Software (OSS) development and commercial colocated software development lie in the communication and collaboration pr...
OOPSLA
2009
Springer
14 years 3 months ago
2009
Springer
An object diagram makes explicit the object structures that are only implicit in a class diagram. An object diagram may be missing and must extracted from the code. Alternatively,...
GI
2001
Springer
14 years 1 months ago
2001
Springer
We present the verification of a protocol designed to ensure self-stabilization in a ring of processors. The proof is organized as a series of refinements; it is mechanized base...
ATAL
2007
Springer
14 years 3 months ago
2007
Springer
We develop a new graphical representation for interactive partially observable Markov decision processes (I-POMDPs) that is significantly more transparent and semantically clear t...