76 search results - page 1 / 16 » Compositional Action System Derivation Using Enforced Proper... |
MPC
2010
Springer
13 years 11 months ago
2010
Springer
ESEC
1997
Springer
13 years 10 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...
ACSD
2006
IEEE
14 years 13 days ago
2006
IEEE
Recently, the formal approach of I–Systems has been newly hed through an abstract axiomatic system where events in system components are solely derived and defined from their b...
ENTCS
2007
13 years 6 months ago
2007
We propose a compositional technique for efficient verification of networks of parallel processes. It is based on an automatic analysis of LTSs of individual processes (using a f...
POPL
2000
ACM
13 years 10 months ago
2000
ACM
We propose an automatic method to enforce trace properties on programs. The programmer specifies the property separately from the program; a program transformer takes the program...