1796 search results - page 15 / 360 » An Approach to Compositional Model Checking |
112
click to vote
ICFCA
2010
Springer
15 years 8 months ago
2010
Springer
Abstract. In the past years Software Engineering has experienced several difficulties in modularising crosscutting aspects, like shared, dynamic or scattered behavior of object-ori...
130
click to vote
JOT
2010
14 years 8 months ago
2010
Model composition is a crucial activity in Model Driven Engineering (MDE). It is particularly useful when adopting a multi-modeling approach to analyze and design software systems...
133
Voted
ICDCSW
2009
IEEE
14 years 11 months ago
2009
IEEE
Dynamic composition of protocol features allows applications to establish connections with custom communication characteristics. Automatically computing possible compositions and ...
107
Voted
ECBS
2000
IEEE
15 years 6 months ago
2000
IEEE
The design of a large component-based software system typically involves the composition of different components. Instead of relying on a free composition of components, we advoca...
128
click to vote
ATAL
2008
Springer
15 years 3 months ago
2008
Springer
We explore the problem of specification and verification of compliance in agent based Web service compositions. We use the formalism of temporal-epistemic logic suitably extended ...