{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T21:51:33Z","timestamp":1725573093031},"publisher-location":"Berlin, Heidelberg","reference-count":12,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540262862"},{"type":"electronic","value":"9783540316664"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2005]]},"DOI":"10.1007\/11499909_19","type":"book-chapter","created":{"date-parts":[[2010,12,20]],"date-time":"2010-12-20T16:56:28Z","timestamp":1292864188000},"page":"236-247","source":"Crossref","is-referenced-by-count":0,"title":["The Application of Compile-Time Reflection to Software Fault Tolerance Using Ada 95"],"prefix":"10.1007","author":[{"given":"P.","family":"Rogers","sequence":"first","affiliation":[]},{"given":"A. J.","family":"Wellings","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"19_CR1","unstructured":"Airlines Electronic Engineering Committee, Avionics Application Software Standard Interface, ARINC Specification 653-1: Aeronautical Radio, Inc. (2003)"},{"key":"19_CR2","doi-asserted-by":"crossref","unstructured":"Chiba, S.: A Metaobject Protocol for C++. In: Proc. Object-Oriented Programming Systems Languages and Applications (OOPSLA 1995), Austin, Texas, pp. 285\u2013299 (1995)","DOI":"10.1145\/217838.217868"},{"key":"19_CR3","doi-asserted-by":"crossref","DOI":"10.7551\/mitpress\/1405.001.0001","volume-title":"The Art of the Metaobject Protocol","author":"G. Kiczales","year":"1991","unstructured":"Kiczales, G., des Rivi\u00e8res, J., Bobrow, D.: The Art of the Metaobject Protocol. MIT Press, Cambridge (1991)"},{"issue":"2","key":"19_CR4","doi-asserted-by":"publisher","first-page":"125","DOI":"10.1145\/7474.7528","volume":"18","author":"N. Leveson","year":"1986","unstructured":"Leveson, N.: Software Safety: Why, What and How. ACM Computing Surveys\u00a018(2), 125\u2013163 (1986)","journal-title":"ACM Computing Surveys"},{"volume-title":"Software Fault Tolerance, in Trends In Software","year":"1995","key":"19_CR5","unstructured":"Lyu, M. (ed.): Software Fault Tolerance, in Trends In Software, vol.\u00a03. John Wiley & Sons, Chichester (1995)"},{"issue":"12","key":"19_CR6","doi-asserted-by":"publisher","first-page":"147","DOI":"10.1145\/38807.38821","volume":"22","author":"P. Maes","year":"1987","unstructured":"Maes, P.: Concepts and Experiments In Computational Reflection. ACM SIGPLAN Notices\u00a022(12), 147\u2013155 (1987)","journal-title":"ACM SIGPLAN Notices"},{"key":"19_CR7","unstructured":"Rogers, P.: Software Fault Tolerance, Reflection, and the Ada Programming Language (YCST 2003\/10), in Department of Computer Science: University of York (2003)"},{"issue":"1","key":"19_CR8","first-page":"33","volume":"15","author":"P. Rogers","year":"2000","unstructured":"Rogers, P., Wellings, A.J.: An Incremental Recovery Cache Supporting Software Fault Tolerance Mechanisms. Journal of Computer Systems: Science and Engineering\u00a015(1), 33\u201348 (2000)","journal-title":"Journal of Computer Systems: Science and Engineering"},{"key":"19_CR9","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"166","DOI":"10.1007\/978-3-540-24841-5_13","volume-title":"Reliable Software Technologies - Ada-Europe 2004","author":"P. Rogers","year":"2004","unstructured":"Rogers, P., Wellings, A.J.: OpenAda: Compile-time reflection for ada 95. In: Llamos\u00ed, A., Strohmeier, A. (eds.) Ada-Europe 2004. LNCS, vol.\u00a03063, pp. 166\u2013177. Springer, Heidelberg (2004)"},{"issue":"8","key":"19_CR10","doi-asserted-by":"publisher","first-page":"219","DOI":"10.1049\/sej.1995.0027","volume":"10","author":"A. Romanovsky","year":"1995","unstructured":"Romanovsky, A., Strigini, L.: Backward Error Recovery via Conversations In Ada. Software Engineering Journal\u00a010(8), 219\u2013232 (1995)","journal-title":"Software Engineering Journal"},{"key":"19_CR11","doi-asserted-by":"crossref","unstructured":"Smith, B.C.: Reflection and Semantics in Lisp. In: Proc. 11th ACM Symposium on Principles of Programming Languages, pp. 23\u201335 (1984)","DOI":"10.1145\/800017.800513"},{"issue":"2","key":"19_CR12","doi-asserted-by":"publisher","first-page":"107","DOI":"10.1109\/32.585500","volume":"23","author":"J. Wellings","year":"1997","unstructured":"Wellings, J., Burns, A.: Implementing Atomic Actions In Ada 95. IEEE Transactions On Software Engineering\u00a023(2), 107\u2013123 (1997)","journal-title":"IEEE Transactions On Software Engineering"}],"container-title":["Lecture Notes in Computer Science","Reliable Software Technology \u2013 Ada-Europe 2005"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/11499909_19.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,4,27]],"date-time":"2021-04-27T06:42:24Z","timestamp":1619505744000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/11499909_19"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2005]]},"ISBN":["9783540262862","9783540316664"],"references-count":12,"URL":"https:\/\/doi.org\/10.1007\/11499909_19","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2005]]}}}