Incremental fault-tolerant design in an object-oriented setting

Johnsen, E.; Owe, O.; Munthe-Kaas, E.; Vain, J. (2001). Incremental fault-tolerant design in an object-oriented setting. Proceedings Second Asia-Pacific Conference on Quality Software : 10-11 December 2001, Hong Kong. Ed. Yu, Y.T.; Chen, T.Y. Los Alamitos (Calif.): IEEE Computer Society Press, 223−230.10.1109/APAQS.2001.990023.
publitseeritud konverentsiettekanne
Johnsen, E.; Owe, O.; Munthe-Kaas, E.; Vain, J.
  • Inglise
Proceedings Second Asia-Pacific Conference on Quality Software : 10-11 December 2001, Hong Kong
Yu, Y.T.; Chen, T.Y.
Los Alamitos (Calif.)
IEEE Computer Society Press
0-7695-1287-9
2001
223230
Ilmunud
3.1. Artiklid/peatükid lisas loetletud kirjastuste välja antud kogumikes (kaasa arvatud Thomson Reuters Book Citation Index, Thomson Reuters Conference Proceedings Citation Index, Scopus refereeritud kogumikud)

Viited terviktekstile

doi.org/10.1109/APAQS.2001.990023

Lisainfo

fault-tolerance, formal methods, incremental design, object orientation, refinement, trace semantics
ISI Proceedings; Scopus