151 search results - page 2 / 31 » Examples of Program Composition Illustrating the Use of Univ... |
117
click to vote
ESEC
1997
Springer
15 years 3 months ago
1997
Springer
The software architecture of a distributed program can be represented by a hierarchical composition of subsystems, with interacting processes at the leaves of the hierarchy. Compo...
SAC
2006
ACM
15 years 5 months ago
2006
ACM
This paper studies ways for modularizing transformation definitions in current rule-based model transformation languages. Two scenarios are shown in which the modular units are id...
100
Voted
SIGCSE
1990
ACM
15 years 3 months ago
1990
ACM
This paper presents a philosophy underlying CS-1 programming projects, and illustrates this philosophy with a concrete example. Integral to the philosophy is the use of Ada packag...
120
click to vote
MPC
2010
Springer
15 years 1 months ago
2010
Springer
ion of Object Graphs in Program Verification Yifeng Chen1 and J.W. Sanders2 1 HCST Key Lab at School of EECS, Peking University, China. 2 UNU-IIST, Macao. A set-theoretic formalism...
96
Voted
FORTE
2003
15 years 1 months ago
2003
We present a new, on-the-fly algorithm that given a push-down model representing a sequential program with (recursive) procedure calls and an extended finite-state automaton repr...