1651 search results - page 11 / 331 » Negotiable Interfaces for Components |
173
click to vote
ISOLA
2010
Springer
15 years 4 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...
172
click to vote
FSEN
2009
Springer
15 years 10 months ago
2009
Springer
We propose and explore a formal approach for black-box testing asynchronously communicating components in open environments. Asynchronicity poses a challenge for validating and tes...
159
click to vote
CIMCA
2008
IEEE
16 years 27 days ago
2008
IEEE
Although in recent years some progress in software engineering (SE) and human-computer interaction (HCI) has been made, there is still a gap between the two research areas and the...
197
click to vote
CBSE
2008
Springer
15 years 8 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...
194
Voted
ICSM
2007
IEEE
16 years 22 days ago
2007
IEEE
Regression testing, which plays an important role in software maintenance, usually relies on test adequacy criteria to select and prioritize test cases. However, with the wide use...