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

Celý popis

Uložené v:

Podrobná bibliografia
Vydané v:	Software and systems modeling Ročník 18; číslo 5; s. 2875 - 2906
Hlavní autori:	Rodrigues, Vítor, Donetti, Simone, Damiani, Ferruccio
Médium:	Journal Article
Jazyk:	English
Vydavateľské údaje:	Berlin/Heidelberg Springer Berlin Heidelberg 01.10.2019 Springer Nature B.V
Predmet:	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
On-line prístup:	Získať plný text
Tagy:	Pridať tag Žiadne tagy, Buďte prvý, kto otaguje tento záznam!

Buďte prvý, kto okomentuje tento záznam!