Sciweavers

5457 search results - page 209 / 1092
» Software Component Independence
Sort
View
149
Voted
TASE
2009
IEEE
15 years 10 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...
120
Voted
IAT
2005
IEEE
15 years 9 months 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
15 years 9 months 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...
130
Voted
FM
2005
Springer
112views Formal Methods» more  FM 2005»
15 years 9 months 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, ...
105
Voted
AC
1999
Springer
15 years 8 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