Sciweavers

5457 search results - page 209 / 1092
» Software Component Independence
Sort
View
TASE
2009
IEEE
16 years 1 months ago
Fault-Based Test Case Generation for Component Connectors
The complex interactions appearing in service-oriented computing make coordination a key concern in serviceoriented systems. In this paper, we present a fault-based method to gene...
Bernhard K. Aichernig, Farhad Arbab, Lacramioara A...
IAT
2005
IEEE
16 years 3 days ago
An Internal Agent Architecture Incorporating Standard Reasoning Components and Standards-based Agent Communication
This paper discusses a general architecture for intelligent software agents. It can be used to construct agents that engage in high-level reasoning by employing standard reasoning...
Mengqiu Wang, Martin K. Purvis, Mariusz Nowostawsk...
WORDS
2005
IEEE
16 years 2 days ago
Towards a Dependable Component Technology for Embedded System Applications
Component-based software engineering is a technique that has proven effective to increase reusability and efficiency in development of office and web applications. Though being ...
Mikael Åkerholm, Anders Möller, Hans Ha...
FM
2005
Springer
112views Formal Methods» more  FM 2005»
16 years 1 days ago
Dynamic Component Substitutability Analysis
This paper presents an automated and compositional procedure to solve the substitutability problem in the context of evolving software systems. Our solution contributes two techniq...
Natasha Sharygina, Sagar Chaki, Edmund M. Clarke, ...
AC
1999
Springer
15 years 10 months ago
FlexiNet: A Flexible, Component-Oriented Middleware System
The FlexiNet Platform is a Java middleware platform that features a component based ‘white-box’ approach with strong emphasis placed on reflection and introspection at all lev...
Richard Hayton, Andrew Herbert