Skip to main content
placeholder image

A Formal Study of Backward Compatible Dynamic Software Updates

Conference Paper


Abstract


Publication Date


  • 2015

Citation


  • Shen, J., & Bazzi, R. A. (2015). A Formal Study of Backward Compatible Dynamic Software Updates. In R. Calinescu, & B. Rumpe (Eds.), SOFTWARE ENGINEERING AND FORMAL METHODS Vol. 9276 (pp. 231-248). ENGLAND, York: SPRINGER INT PUBLISHING AG. doi:10.1007/978-3-319-22969-0_17

Number Of Pages


  • 18

Start Page


  • 231

End Page


  • 248

Volume


  • 9276

Abstract


Publication Date


  • 2015

Citation


  • Shen, J., & Bazzi, R. A. (2015). A Formal Study of Backward Compatible Dynamic Software Updates. In R. Calinescu, & B. Rumpe (Eds.), SOFTWARE ENGINEERING AND FORMAL METHODS Vol. 9276 (pp. 231-248). ENGLAND, York: SPRINGER INT PUBLISHING AG. doi:10.1007/978-3-319-22969-0_17

Number Of Pages


  • 18

Start Page


  • 231

End Page


  • 248

Volume


  • 9276