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ženo v:

Podrobná bibliografie
Vydáno v:	Software and systems modeling Ročník 18; číslo 5; s. 2875 - 2906
Hlavní autoři:	Rodrigues, Vítor, Donetti, Simone, Damiani, Ferruccio
Médium:	Journal Article
Jazyk:	angličtina
Vydáno:	Berlin/Heidelberg Springer Berlin Heidelberg 01.10.2019 Springer Nature B.V
Témata:	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 přístup:	Získat plný text
Tagy:	Přidat tag Žádné tagy, Buďte první, kdo vytvoří štítek k tomuto záznamu!

Buďte první, kdo okomentuje tento záznam!