{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2022,5,14]],"date-time":"2022-05-14T05:49:38Z","timestamp":1652507378645},"reference-count":24,"publisher":"Springer Science and Business Media LLC","issue":"1","license":[{"start":{"date-parts":[[2005,3,11]],"date-time":"2005-03-11T00:00:00Z","timestamp":1110499200000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Innovations Syst Softw Eng"],"published-print":{"date-parts":[[2005,4]]},"DOI":"10.1007\/s11334-005-0004-2","type":"journal-article","created":{"date-parts":[[2005,3,11]],"date-time":"2005-03-11T12:21:53Z","timestamp":1110543713000},"page":"54-62","source":"Crossref","is-referenced-by-count":3,"title":["Recoverability preservation: a measure of last resort"],"prefix":"10.1007","volume":"1","author":[{"given":"Ali","family":"Mili","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Frederick","family":"Sheldon","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Fatma","family":"Mili","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Jules","family":"Desharnais","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2005,3,11]]},"reference":[{"key":"CR1","unstructured":"Backhouse R, DeBruin P, Malcolm G, Voermans E, Van der Woude J (1990) A relational theory of data types. In: Proceedings of the workshop on constructive algorithms: the role of relations in program development, Hollum Ameland, Holland"},{"key":"CR2","unstructured":"Berghammer R, Schmidt G, Zierer H (1986) Symmetric quotients. Technical Report TUM-I8620, Technische Universit\u00e4t M\u00fcnchen, Munich"},{"key":"CR3","doi-asserted-by":"crossref","unstructured":"Berghammer R, Schmidt G, Zierer H (1989) Symmetric quotients and domain constructions. Inf Process Lett 33:163?168","DOI":"10.1016\/0020-0190(89)90197-X"},{"key":"CR4","doi-asserted-by":"crossref","unstructured":"Berghammer R, Schmidt G (1993) Relational specifications. In: Rauszer C (ed) Proccedings of the XXXVIII Banach Center semester on algebraic methods in logic and their computer science applications. Banach, vol 28, Warsaw, Poland, pp 167?190","DOI":"10.4064\/-28-1-167-190"},{"key":"CR5","unstructured":"Birkhoff G (1967) Lattice theory. American Mathematical Society, Providence"},{"key":"CR6","doi-asserted-by":"crossref","unstructured":"Brink Ch, Kahl W, Schmidt G (1997) Relational methods in computer science. Springer, Berlin Heidelberg New York","DOI":"10.1007\/978-3-7091-6510-2"},{"key":"CR7","unstructured":"Cortellessa V, Mili A, Cukic B, Del Gobbo D, Napolitano M, Shereshevsky M (2000) Certifying adaptive flight control software. In: Proceedings of ISACC 2000: the software risk management conference, Reston, VA"},{"key":"CR8","unstructured":"DelGobbo D, Shereshevsky M, Cortellessa V, Desharnais J, Mili A (2005) A relational characterization of system fault tolerance. Science of computer programming (in press)"},{"key":"CR9","doi-asserted-by":"crossref","unstructured":"Desharnais J, Jaoua A, Mili F, Boudriga N, Mili A (1993) A relational division operator: the conjugate kernel. Theor Comput Sci 114:247?272","DOI":"10.1016\/0304-3975(93)90074-4"},{"key":"CR10","unstructured":"Del Gobbo D, Cukic B (2001) Validating on-line neural networks. Technical report, Lane Department of Computer Science and Electrical Engineering, West Virginia University, Morgantown, WV"},{"key":"CR11","unstructured":"Del Gobbo D, Mili A (2001) Re-engineering fault tolerant requirements: a case study in specifying fault tolerant flight control systems. In: Proceedings of the 5th IEEE international symposium on requirements engineering, Toronto, pp 236?247"},{"key":"CR12","doi-asserted-by":"crossref","unstructured":"Hoare CAR, Hayes IJ, He JF, Morgan C, Roscoe AW, Sanders JW, Sorenson IH, Spived JM, Sufr\u00edn B (1987) Laws of programming. Commun ACM 30(8):672?686","DOI":"10.1145\/27651.27653"},{"key":"CR13","unstructured":"Hoare CAR, He JF (1986) The weakest prespecification. Fundamentae Informaticae IX: Part I: pp 51?58. Part II: pp 217?252"},{"key":"CR14","doi-asserted-by":"crossref","unstructured":"J\u00f3nsson B (1982) Varieties of relational algebras. Algebra Universalis 15:273?298","DOI":"10.1007\/BF02483728"},{"key":"CR15","unstructured":"Josephs MB (1987) An introduction to the theory of specification and refinement. Technical Report RC 12993, IBM Corporation, Yorktown Heights, NY, USA"},{"key":"CR16","doi-asserted-by":"crossref","unstructured":"Laprie JC (1995) Dependability ? its attributes, impairments and means. In: Predictably dependable computing systems. Springer, Berlin Heidelberg New York, pp 1?19","DOI":"10.1007\/978-3-642-79789-7_1"},{"key":"CR17","doi-asserted-by":"crossref","unstructured":"Lowry M, Boyd M, Kulkarni D (1998) Towards a theory for integration of mathematical verification and empirical testing. In: Proceedings of the 13th IEEE international conference on automated software engineering, Honolulu IEEE Computer Society, pp 322?331","DOI":"10.1109\/ASE.1998.732690"},{"key":"CR18","doi-asserted-by":"crossref","unstructured":"Mili A, Cukic B, Xia T, Ben Ayed R (1999) Combining fault avoidance, fault removal and fault tolerance: an integrated model. In: Proceedings of the 14th IEEE international conference on automated software engineering, Cocoa Beach IEEE Computer Society, pp 137?146","DOI":"10.1109\/ASE.1999.802168"},{"key":"CR19","doi-asserted-by":"crossref","unstructured":"Mills HD, Dyer M, Linger R (1987) Cleanroom software engineering. IEEE Softw 4(5):19?25","DOI":"10.1109\/MS.1987.231413"},{"key":"CR20","unstructured":"Mills HD, Linger RC, Hevner AR (1985) Principles of information systems analysis and design. Academic, New York"},{"key":"CR21","unstructured":"Parnas D (2004) Private correspondence. Technical report, University of Limerick, Ireland"},{"key":"CR22","doi-asserted-by":"crossref","unstructured":"Schmidt G, Stroehlein T (1990) Relationen und Graphen. Springer, Berlin Heidelberg New York","DOI":"10.1007\/978-3-642-83608-4"},{"key":"CR23","unstructured":"Schmidt G, Stroehlein T (1993) Relations and graphs, discrete mathematics for computer scientists. EATCS Monographs on theoretical computer science. Springer, Berlin Heidelberg New York"},{"key":"CR24","unstructured":"Selding PB (1996) Faulty software caused ariane 5 failure. Space News 7(25)"}],"container-title":["Innovations in Systems and Software Engineering"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s11334-005-0004-2.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/s11334-005-0004-2\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s11334-005-0004-2","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,4,6]],"date-time":"2020-04-06T08:38:59Z","timestamp":1586162339000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/s11334-005-0004-2"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2005,3,11]]},"references-count":24,"journal-issue":{"issue":"1","published-print":{"date-parts":[[2005,4]]}},"alternative-id":["4"],"URL":"https:\/\/doi.org\/10.1007\/s11334-005-0004-2","relation":{},"ISSN":["1614-5046","1614-5054"],"issn-type":[{"value":"1614-5046","type":"print"},{"value":"1614-5054","type":"electronic"}],"subject":[],"published":{"date-parts":[[2005,3,11]]}}}