Sciweavers

6291 search results - page 64 / 1259
» Components Are from Mars
Sort
View
EUROMICRO
2003
IEEE
15 years 5 months ago
A General Model for Component-Based Software Reliability
: The approach of aggregating components into complex software systems is maturing with the rapid development of component technology. How to analyze software reliability from syst...
Mao Xiaoguang, Deng Yongjin
MSS
2003
IEEE
116views Hardware» more  MSS 2003»
15 years 5 months ago
Archive Management: The Missing Component
The National Oceanic and Atmospheric Administration's (NOAA) National Environmental Satellite, Data, and Information Service (NESDIS) views the area of Archive Management, as...
Howard J. Diamond, John J. Bates, David M. Clark, ...
FORMATS
2007
Springer
15 years 3 months ago
Partial Order Reduction for Verification of Real-Time Components
Abstract. We describe a partial order reduction technique for a realtime component model. Components are described as timed automata with data ports, which can be composed in stati...
John Håkansson, Paul Pettersson
ICSE
2003
IEEE-ACM
15 years 12 months ago
6th ICSE Workshop on Component-Based Software Engineering: Automated Reasoning and Prediction
This report gives an overview of the 6th ICSE Workshop on Component-Based Software Engineering held at 25th International Conference on Software Engineering. The workshop brought ...
Ivica Crnkovic, Heinz W. Schmidt, Judith A. Staffo...
FMCO
2004
Springer
15 years 3 months ago
A Perspective on Component Refinement
Abstract. This paper provides an overview of an approach to coalgebraic modelling and refinement of state-based software components, summing up some basic results and introducing a...
Luís Soares Barbosa