250 search results - page 1 / 50 » Extracting State Models for Black-Box Software Components |
JOT
2010
13 years 3 months ago
2010
ISOLA
2007
Springer
13 years 10 months ago
2007
Springer
The testing and formal verification of black box software components is a challenging domain. The problem is even harder when specifications of these components are not available...
SEKE
2005
Springer
13 years 10 months ago
2005
Springer
Current aspect-oriented programming (AOP) enhances maintainability and comprehensibility by modularizing concerns crosscutting multiple components but lacks the support for the hie...
ICFEM
1997
Springer
13 years 8 months ago
1997
Springer
A calculus is presented for the stepwise refinement of abstract information flow architectures. We give a mathematical model for information flow components based on relations bet...
PTS
2007
13 years 6 months ago
2007
Abstract. We investigate the use of parameterized state machine models to drive integration testing, in the case where the models of components are not available beforehand. Theref...