183 search results - page 2 / 37 » Learning Component Interfaces with May and Must Abstractions |
JUCS
2008
13 years 4 months ago
2008
Abstract: Reuse of software entities such as components or Web services raise composition issues since, most of the time, they present mismatches in their interfaces. These mismatc...
CBSE
2008
Springer
13 years 6 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...
ISOLA
2010
Springer
13 years 3 months ago
2010
Springer
Abstract. Interface-based design relies on the idea that different components of a system may be developed independently and a system designer can connect them together only if th...
SOFTWARE
1998
13 years 4 months ago
1998
A software component is typically modeled from one or more of four functional aspects: interface, static behavior, dynamic behavior, and interaction protocol. Each of these aspect...
ICMCS
2006
IEEE
13 years 11 months ago
2006
IEEE
We believe handwriting input may be able to provide significant advantages over typing, especially in the mathematics learning domain. The use of handwriting may result in decreas...