A Hybrid Model in Dynamic Software Updating for C

DOI10.1007/978-3-642-10619-4_19MaRDI QIDQ5305773zbMATH OpenOpenAlexFDO

Authors Mehdi Jalili, Saeed Parsa, Habib Seifzadeh

Publication date 23 March 2010

Published in Advances in Software Engineering (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/978-3-642-10619-4_19

zbMATH Keywords

dynamic software updatingprogramming languagestate-transfer

Mathematics Subject Classification ID

Theory of software (68N99)

Recommendations

• Verifying the Design of Dynamic Software Updating in the OTS/CafeOBJ Method
• A model for updating real-time applications
• A dynamic software release model
• A Model Driven Approach to Upgrade Package-Based Software Systems
• Mutatis mutandis: safe and predictable dynamic software updating

Cites work

• Dynamic Restructuring in an Experimental Operating System
• Mutatis mutandis: safe and predictable dynamic software updating

Cited in

(4)

• A Model Driven Approach to Upgrade Package-Based Software Systems
• Mutatis mutandis: safe and predictable dynamic software updating
• Verifying the Design of Dynamic Software Updating in the OTS/CafeOBJ Method
• A hybrid approach to enhancing the reliability of software

This page was built for publication: A Hybrid Model in Dynamic Software Updating for C

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5305773)