884 search results - page 31 / 177 » A semantics of sequence diagrams |
103
click to vote
TPHOL
2009
IEEE
15 years 4 months ago
2009
IEEE
We present four coinductive operational semantics for the While language accounting for both terminating and non-terminating program runs: big-step and small-step relational semant...
CAISE
2009
Springer
15 years 4 months ago
2009
Springer
MDD and MDA approaches require capturing the behavior of UML models in sufficient detail so that the models can be automatically implemented/executed in the production environment....
MODELS
2009
Springer
15 years 4 months ago
2009
Springer
Recently, a generic approach for syntax-based user assistance in diagram editors has been proposed that requires the syntax of the visual language to be defined by a graph grammar...
VL
2000
IEEE
15 years 2 months ago
2000
IEEE
Venn diagrams and Euler circles have long been used to express constraints on sets and their relationships with other sets. However, these notations can get very cluttered when we...
ICSEA
2007
IEEE
15 years 4 months ago
2007
IEEE
Automatic test data generation helps testers to validate software against user requirements more easily. Test data can be generated from many sources; for example, experience of t...