Dynamically Replaceable Software: A Design Method. - Jorge Amador; Belén de Vicente; Alejandro Alonso 001 (ESEC, 1991)

Dynamic software replacement model and its Ada implementation. - Belén de Vicente; Alejandro Alonso 001; Jorge Amador (TRI-Ada, 1991)