501 search results - page 3 / 101 » Diagram Techniques for Confluence |
ESOP
2000
Springer
14 years 1 months ago
2000
Springer
We present a module calculus for studying a simple model of link-time compilation. The calculus is stratified into a term calculus, a core module calculus, and a linking calculus. ...
ICCAD
1998
IEEE
14 years 2 months ago
1998
IEEE
In this paper, an approach to symbolic model checking of process networks is introduced. It is based on interval decision diagrams (IDDs), a representation of multi-valued functio...
DIAGRAMS
2004
Springer
14 years 3 months ago
2004
Springer
This paper investigates whether first year programming students can be helped to understand program behaviour through the use of Object (Instance) diagrams. Students were introduce...
APVIS
2009
13 years 11 months ago
2009
We present a new method for the combined visualization of software architecture diagrams, such as UML class diagrams or component diagrams, and software metrics defined on groups ...
VL
2009
IEEE
14 years 4 months ago
2009
IEEE
Euler diagrams form the basis of several visual modelling notations, including statecharts and constraint diagrams. Recently, various techniques for automated Euler diagram drawin...