Sciweavers

2 search results - page 1 / 1
» Type-Safe Runtime Class Upgrades in Creol
Sort
View
FMOODS
2006
14 years 16 days ago
Type-Safe Runtime Class Upgrades in Creol
Modern applications distributed across networks such as the Internet may need to evolve without compromising application availability. Object systems are well suited for runtime up...
Ingrid Chieh Yu, Einar Broch Johnsen, Olaf Owe
FM
2009
Springer
190views Formal Methods» more  FM 2009»
14 years 5 months ago
Dynamic Classes: Modular Asynchronous Evolution of Distributed Concurrent Objects
Abstract. Many long-lived and distributed systems must remain available yet evolve over time, due to, e.g., bugfixes, feature extensions, or changing user requirements. To facilit...
Einar Broch Johnsen, Marcel Kyas, Ingrid Chieh Yu