Sciweavers

1746 search results - page 48 / 350
» Residual for Component Specifications
Sort
View
EWSN
2008
Springer
14 years 7 months ago
A Component Framework for Content-Based Publish/Subscribe in Sensor Networks
Component-based architectures are the traditional approach cile application specific optimization with reusable abstractions in sensor networks. However, they frequently overwhelm ...
Adam Wolisz, Andreas Köpke, Andreas Willig, J...
APSEC
2005
IEEE
14 years 1 months ago
A Passive Test Oracle Using a Component's API
A test oracle is a mechanism that is used during testing to determine whether a software component behaves correctly or not. The test oracle problem is widely acknowledged in the ...
Rakesh Shukla, David A. Carrington, Paul A. Stroop...
APSEC
1999
IEEE
14 years 1 days ago
Conducting Requirements Evolution by Replacing Components in the Current System
As new software components become available for an existing system, we can evolve not only the system itself but also its requirements based on the new components. In this paper, ...
Haruhiko Kaiya, Kenji Kaijiri
ECMDAFA
2005
Springer
96views Hardware» more  ECMDAFA 2005»
14 years 1 months ago
MDA Components: A Flexible Way for Implementing the MDA Approach
As the Model Driven Development (MDD) and Product Line Engineering (PLE) appear as major trends for reducing software development complexity and costs, an important missing stone b...
Reda Bendraou, Philippe Desfray, Marie-Pierre Gerv...
CBSE
2009
Springer
14 years 2 months ago
Selecting Fault Tolerant Styles for Third-Party Components with Model Checking Support
To build highly available or reliable applications out of unreliable third-party components, some software-implemented fault-tolerant mechanisms are introduced to gracefully deal w...
Junguo Li, Xiangping Chen, Gang Huang, Hong Mei, F...