Sciweavers

5457 search results - page 53 / 1092
» Software Component Independence
Sort
View
95
Voted
SEFM
2008
IEEE
15 years 7 months ago
Contract-Based Verification of Hierarchical Systems of Components
Sophie Quinton, Susanne Graf
57
Voted
KBSE
2007
IEEE
15 years 6 months ago
Behavioral adaptation of component compositions based on process algebra encodings
Radu Mateescu, Pascal Poizat, Gwen Salaün
83
Voted
ICSE
2007
IEEE-ACM
15 years 6 months ago
Testing Concurrent Java Components
Paul A. Strooper, Luke Wildman