Dynamic Software Updating Techniques in Practice and Educator's Guides: A Review

2016 ◽  
Author(s):  
Ville Ilvonen ◽  
Petri Ihantola ◽  
Tommi Mikkonen
Keyword(s):  
Dynamic Software Updating ◽  
Software Updating ◽  
Dynamic Software

Dynamic Software Updating Using a Relaxed Consistency Model

2011 ◽  
Vol 37 (5) ◽  
pp. 679-694 ◽  
Author(s):  
Haibo Chen ◽  
Jie Yu ◽  
Chengqun Hang ◽  
Binyu Zang ◽  
Pen-Chung Yew
Keyword(s):  
Consistency Model ◽  
Dynamic Software Updating ◽  
Software Updating ◽  
Dynamic Software ◽  
Relaxed Consistency

scholarly journals μ -DSU: A Micro-Language Based Approach to Dynamic Software Updating

2018 ◽  
Vol 51 ◽  
pp. 71-89 ◽  
Author(s):  
Walter Cazzola ◽  
Ruzanna Chitchyan ◽  
Awais Rashid ◽  
Albert Shaqiri
Keyword(s):  
Dynamic Software Updating ◽  
Software Updating ◽  
Dynamic Software

scholarly journals Formal methods in dynamic software updating: a survey

2019 ◽  
Vol 9 (1/2) ◽  
pp. 76
Author(s):  
Razika Lounas ◽  
Mohamed Mezghiche ◽  
Jean Louis Lanet
Keyword(s):  
Formal Methods ◽  
Dynamic Software Updating ◽  
Software Updating ◽  
Dynamic Software

scholarly journals Dynamic software updating

2001 ◽  
Vol 36 (5) ◽  
pp. 13-23 ◽  
Author(s):  
Michael Hicks ◽  
Jonathan T. Moore ◽  
Scott Nettles
Keyword(s):  
Dynamic Software Updating ◽  
Software Updating ◽  
Dynamic Software
Sign in / Sign up

Export Citation Format

Share Document