3 search results - page 1 / 1 » Component Substitutability via Equivalencies of Component-In... |
ENTCS
2007
15 years 2 months ago
2007
We provide a new look at formal aspects of component substitutability (replacement of a component with a new one) and independent implementability (reuse of a component in any sys...
147
Voted
CBSE
2008
Springer
15 years 4 months ago
2008
Springer
Abstract. Automata-based interface and protocol specifications provide an elegant framework to capture and automatically verify the interactive behavior of component-based software...
143
Voted
EMSOFT
2010
Springer
15 years 15 days ago
2010
Springer
Constructing correct distributed systems from their high-level models has always been a challenge and often subject to serious errors because of their non-deterministic and non-at...