686 search results - page 3 / 138 » Behavior Protocols for Software Components |
104
click to vote
CBSE
2008
Springer
14 years 11 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...
APSEC
2004
IEEE
15 years 1 months ago
2004
IEEE
Reuse is one of the key benefits of components. It inherently means that the functionality of a component may be employed only partially. This triggers the issue whether all of th...
KBSE
2007
IEEE
15 years 3 months ago
2007
IEEE
ICSE
2004
IEEE-ACM
15 years 2 months ago
2004
IEEE-ACM
69
Voted
TOOLS
1999
IEEE
15 years 1 months ago
1999
IEEE
In this paper we enhance the SOFA Component Description Language with a semantic description of a component's functionality. There are two key requirements this description a...