Sciweavers

3873 search results - page 103 / 775
» Neighbourhood Components Analysis
Sort
View
FORMATS
2007
Springer
15 years 8 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
EDOC
2007
IEEE
15 years 10 months ago
Modeling and Integrating Aspects into Component Architectures
Dependable software systems are difficult to develop because developers must understand and address several interdependent and pervasive dependability concerns. Features that addr...
Lydia Michotte, Robert B. France, Franck Fleurey
SOCO
2007
Springer
15 years 10 months ago
Patterns of Component Evolution
Contemporary software systems are composed of many components, which, in general, undergo phased and incremental development. In order to facilitate the corresponding construction ...
Rajesh Vasa, Markus Lumpe, Jean-Guy Schneider
COOPIS
2003
IEEE
15 years 9 months ago
Analysing Mailboxes of Asynchronous Communicating Components
Abstract. Asynchronous communications are prominent in distributed and mobile systems. Often consystems consider an abstract point of view with synchronous communications. However ...
Jean-Claude Royer, Michael Xu
ICSE
2001
IEEE-ACM
15 years 9 months ago
A Formal Approach to Component-Based Software Engineering: Education and Evaluation
This paper summarizes an approach for introducing component-based software engineering (CBSE) early in the undergraduate CS curriculum, and an evaluation of the impact of the appr...
Murali Sitaraman, Timothy J. Long, Bruce W. Weide,...