686 search results - page 3 / 138 » Behavior Protocols for Software Components |
CBSE
2008
Springer
13 years 7 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
13 years 9 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
14 years 1 days ago
2007
IEEE
ICSE
2004
IEEE-ACM
13 years 11 months ago
2004
IEEE-ACM
TOOLS
1999
IEEE
13 years 10 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...