{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,4]],"date-time":"2024-09-04T23:40:38Z","timestamp":1725493238277},"publisher-location":"Berlin, Heidelberg","reference-count":28,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540766483"},{"type":"electronic","value":"9783540766506"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2007]]},"DOI":"10.1007\/978-3-540-76650-6_3","type":"book-chapter","created":{"date-parts":[[2007,10,26]],"date-time":"2007-10-26T07:12:49Z","timestamp":1193382769000},"page":"19-36","source":"Crossref","is-referenced-by-count":0,"title":["Integrating Formal Methods with System Management"],"prefix":"10.1007","author":[{"given":"Martin","family":"de Groot","sequence":"first","affiliation":[]}],"member":"297","reference":[{"key":"3_CR1","unstructured":"ilogix.com. Accessed (February 2007)"},{"volume-title":"Refinement Calculus: A Systematic Introduction","year":"1998","key":"3_CR2","unstructured":"Back, R.J.R., von Wright, J. (eds.): Refinement Calculus: A Systematic Introduction. Springer, New York (1998)"},{"issue":"1","key":"3_CR3","doi-asserted-by":"publisher","first-page":"135","DOI":"10.1016\/S0004-3702(99)00019-3","volume":"110","author":"P. Baroni","year":"1999","unstructured":"Baroni, P., Lamperti, G., Pogliano, P., Zanella, M.: Diagnosis of large active systems. Artificial Intelligence\u00a0110(1), 135\u2013183 (1999)","journal-title":"Artificial Intelligence"},{"key":"3_CR4","volume-title":"KARDIO: A Study in Deep and Qualitative Knowledge for Expert Systems","author":"I. Bratko","year":"1989","unstructured":"Bratko, I., Mozeti\u010d, I., Lavra\u010d, N.: KARDIO: A Study in Deep and Qualitative Knowledge for Expert Systems. MEM Press, Cambridge, Massachusetts (1989)"},{"issue":"3","key":"3_CR5","doi-asserted-by":"publisher","first-page":"178","DOI":"10.1109\/TSE.1978.231496","volume":"3","author":"T.S. Chow","year":"1978","unstructured":"Chow, T.S.: Testing design modeled by finite-state machines. IEEE Transactions on Software Engineering\u00a03(3), 178\u2013187 (1978)","journal-title":"IEEE Transactions on Software Engineering"},{"key":"3_CR6","doi-asserted-by":"publisher","first-page":"463","DOI":"10.1016\/0933-3657(92)90013-F","volume":"4","author":"P. Compton","year":"1992","unstructured":"Compton, P., Edwards, G., Kang, B., Lazarus, L., Malor, R., Preston, P., Srinivasan, A.: Ripple down rules: Turning knowledge acquisition into knowledge maintenance. Artificial Intelligence in Medicine\u00a04, 463\u2013475 (1992)","journal-title":"Artificial Intelligence in Medicine"},{"issue":"1","key":"3_CR7","doi-asserted-by":"crossref","first-page":"19","DOI":"10.1016\/S0004-3702(02)00292-8","volume":"142","author":"L. Console","year":"2002","unstructured":"Console, L., Picardi, C., Ribaudo, M.: Process algebras for systems diagnosis. Artif. Intell.\u00a0142(1), 19\u201351 (2002)","journal-title":"Artif. Intell."},{"key":"3_CR8","unstructured":"de Groot, M.: Reasoning about Designs: A framework for coupling formal developments and system management. PhD thesis, University of New South Wales, Sydney, NSW (August 2006)"},{"key":"3_CR9","volume-title":"Proceedings of the 7th Algebraic Methods and Software Technology","author":"M. Groot de","year":"1997","unstructured":"de Groot, M., Robinson, K.: Modular refinement and model building. In: Proceedings of the 7th Algebraic Methods and Software Technology, Springer, Heidelberg (1997)"},{"key":"3_CR10","first-page":"117","volume-title":"Proceedings of Formal Methods Pacific 1998","author":"M. Groot de","year":"1998","unstructured":"de Groot, M., Robinson, K.: Correctness in refinement developments. In: Proceedings of Formal Methods Pacific 1998, pp. 117\u2013132. Springer, Heidelberg (1998)"},{"key":"3_CR11","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"268","DOI":"10.1007\/BFb0024651","volume-title":"FME 1993","author":"J. Dick","year":"1993","unstructured":"Dick, J., Faivre, A.: Automating the generation and sequencing of test cases from model-based specifications. In: Larsen, P.G., Woodcock, J.C.P. (eds.) FME 1993. LNCS, vol.\u00a0670, pp. 268\u2013284. Springer, Heidelberg (1993)"},{"key":"3_CR12","volume-title":"A Discipline of Programming","author":"E.W. Dijkstra","year":"1976","unstructured":"Dijkstra, E.W.: A Discipline of Programming. Prentice-Hall, Englewood Cliffs (1976)"},{"key":"3_CR13","volume-title":"Encyclopedia of Software Engineering","author":"I.K. El-Far","year":"2001","unstructured":"El-Far, I.K., Whittaker, A.: Model-based software testing. In: Marciniak, J.J. (ed.) Encyclopedia of Software Engineering, Wiley, Chichester (2001)"},{"key":"3_CR14","series-title":"Mathematical Aspects of Computer Science","first-page":"19","volume-title":"Symposium in Applied Mathematics","author":"R.W. Floyd","year":"1967","unstructured":"Floyd, R.W.: Assigning meanings to programs. In: Symposium in Applied Mathematics. Mathematical Aspects of Computer Science, pp. 19\u201332. American Mathematical Society, Providence, RI (1967)"},{"key":"3_CR15","volume-title":"Proc. 2nd ACM Conference on Programming Languages","author":"S. Gerhart","year":"1975","unstructured":"Gerhart, S.: Correctness preserving program transformations. In: Proc. 2nd ACM Conference on Programming Languages, ACM Press, New York (1975)"},{"key":"3_CR16","volume-title":"Readings in Model-based Diagnosis","author":"W. Hamscher","year":"1992","unstructured":"Hamscher, W., Console, L., de Kleer, J.: Readings in Model-based Diagnosis. Morgan Kaufmann, San Mateo, CA (1992)"},{"key":"3_CR17","doi-asserted-by":"crossref","unstructured":"Hoare, C.A.R.: An axiomatic basis for computer programming. Communications of the ACM 12 (1969)","DOI":"10.1145\/363235.363259"},{"key":"3_CR18","doi-asserted-by":"crossref","unstructured":"Holzmann, G.J.: The model checker SPIN. IEEE Transactions on Software Engineering\u00a023(5) (1997)","DOI":"10.1109\/32.588521"},{"key":"3_CR19","volume-title":"Proc. ACM SIGSOFT Foundations of Software Engineering","author":"D. Jackson","year":"2000","unstructured":"Jackson, D.: Automating first-order relational logic. In: Proc. ACM SIGSOFT Foundations of Software Engineering, ACM Press, New York (2000)"},{"key":"3_CR20","volume-title":"Programming from Specifications","author":"C.C. Morgan","year":"1994","unstructured":"Morgan, C.C.: Programming from Specifications. Prentice Hall, Englewood Cliffs (1994)"},{"key":"3_CR21","doi-asserted-by":"publisher","first-page":"325","DOI":"10.1016\/S0951-8320(03)00095-4","volume":"81","author":"Y. Papadopoulos","year":"2003","unstructured":"Papadopoulos, Y.: Model-based system monitoring and diagnosis of failures using statecharts and fault trees. Reliability Engineering and System Safety\u00a081, 325\u2013341 (2003)","journal-title":"Reliability Engineering and System Safety"},{"key":"3_CR22","volume-title":"An Introduction to Formal Specification and Z","author":"B. Potter","year":"1991","unstructured":"Potter, B., Sinclair, J., Till, D.: An Introduction to Formal Specification and Z. Prentice Hall, Englewood Cliffs (1991)"},{"key":"3_CR23","doi-asserted-by":"publisher","first-page":"81","DOI":"10.1016\/0004-3702(80)90014-4","volume":"13","author":"R. Reiter","year":"1980","unstructured":"Reiter, R.: A logic for default reasoning. Artificial Intelligence\u00a013, 81\u2013132 (1980)","journal-title":"Artificial Intelligence"},{"key":"3_CR24","doi-asserted-by":"publisher","first-page":"57","DOI":"10.1016\/0004-3702(87)90062-2","volume":"32","author":"R. Reiter","year":"1987","unstructured":"Reiter, R.: A theory of diagnosis from first principles. Artificial Intelligence\u00a032, 57\u201395 (1987)","journal-title":"Artificial Intelligence"},{"key":"3_CR25","unstructured":"Riese, M.: Model-Based Diagnosis of Communication Protocols. PhD thesis, Swiss Federal Institute of Technology, Lausanne, Switzerland (1993)"},{"key":"3_CR26","first-page":"419","volume-title":"Readings in Model-based Diagnosis","author":"P. Struss","year":"1992","unstructured":"Struss, P.: What\u2019s in SD? Towards a theory of modeling for diagnosis. In: Hamscher, w., Console, L., de Kleer, J. (eds.) Readings in Model-based Diagnosis, pp. 419\u2013449. Morgan Kaufmann, San Mateo, CA (1992)"},{"key":"3_CR27","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1006\/inco.1994.1092","volume":"115","author":"M.Y. Vardi","year":"1994","unstructured":"Vardi, M.Y., Wolper, P.: Reasoning about infinite computations. Information and Computation\u00a0115, 1\u201337 (1994)","journal-title":"Information and Computation"},{"issue":"4","key":"3_CR28","doi-asserted-by":"publisher","first-page":"331","DOI":"10.1016\/S0954-1810(00)00021-2","volume":"14","author":"F. Wotawa","year":"2000","unstructured":"Wotawa, F.: Debugging VHDL designs using model-based reasoning. Artificial Intelligence in Engineering\u00a014(4), 331\u2013351 (2000)","journal-title":"Artificial Intelligence in Engineering"}],"container-title":["Lecture Notes in Computer Science","Formal Methods and Software Engineering"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-540-76650-6_3","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,2,24]],"date-time":"2019-02-24T15:36:29Z","timestamp":1551022589000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-540-76650-6_3"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2007]]},"ISBN":["9783540766483","9783540766506"],"references-count":28,"URL":"https:\/\/doi.org\/10.1007\/978-3-540-76650-6_3","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2007]]}}}