Certifying delta-oriented programs

A major design concern in modern software development frameworks is to ensure that mechanisms for updating code running on remote devices comply with given safety specifications. This paper presents a delta-oriented approach for implementing product lines where software reuse is achieved at the thre...

Full description

Saved in:

Bibliographic Details
Published in:	Software and systems modeling Vol. 18; no. 5; pp. 2875 - 2906
Main Authors:	Rodrigues, Vítor, Donetti, Simone, Damiani, Ferruccio
Format:	Journal Article
Language:	English
Published:	Berlin/Heidelberg Springer Berlin Heidelberg 01.10.2019 Springer Nature B.V
Subjects:	Binary codes Compilers Computer Science Experimentation Information Systems Applications (incl.Internet) Interpreters IT in Business Product safety Programming Languages Programming Techniques Regular Paper Run time (computers) Software development Software Engineering Software Engineering/Programming and Operating Systems Software reuse Source code Specifications Upgrading Delta-oriented programming Proof-carrying code Runtime systems Model-driven development Safety properties
ISSN:	1619-1366, 1619-1374
Online Access:	Get full text
Tags:	Add Tag No Tags, Be the first to tag this record!

Be the first to leave a comment!