Sciweavers

5457 search results - page 53 / 1092
» Software Component Independence
Sort
View
113
Voted
SEFM
2008
IEEE
15 years 9 months ago
Contract-Based Verification of Hierarchical Systems of Components
Sophie Quinton, Susanne Graf
112
Voted
EUROMICRO
2007
IEEE
15 years 9 months ago
Component-Based Design of Safe Real-Time Kernels for Embedded Systems
Jesper Berthing, Christo Angelov
70
Voted
KBSE
2007
IEEE
15 years 9 months ago
Behavioral adaptation of component compositions based on process algebra encodings
Radu Mateescu, Pascal Poizat, Gwen Salaün
ICSE
2007
IEEE-ACM
15 years 8 months ago
Testing Concurrent Java Components
Paul A. Strooper, Luke Wildman