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...

Ausführliche Beschreibung

Gespeichert in:

Bibliographische Detailangaben
Veröffentlicht in:	Software and systems modeling Jg. 18; H. 5; S. 2875 - 2906
Hauptverfasser:	Rodrigues, Vítor, Donetti, Simone, Damiani, Ferruccio
Format:	Journal Article
Sprache:	Englisch
Veröffentlicht:	Berlin/Heidelberg Springer Berlin Heidelberg 01.10.2019 Springer Nature B.V
Schlagworte:	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-Zugang:	Volltext
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!

Schreiben Sie den ersten Kommentar!