{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,4]],"date-time":"2024-09-04T22:00:12Z","timestamp":1725487212666},"publisher-location":"Berlin, Heidelberg","reference-count":10,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540730347"},{"type":"electronic","value":"9783540730354"}],"license":[{"start":{"date-parts":[[2007,1,1]],"date-time":"2007-01-01T00:00:00Z","timestamp":1167609600000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2007]]},"DOI":"10.1007\/978-3-540-73035-4_14","type":"book-chapter","created":{"date-parts":[[2007,6,29]],"date-time":"2007-06-29T13:08:08Z","timestamp":1183122488000},"page":"130-140","source":"Crossref","is-referenced-by-count":4,"title":["Characterizing Safety of Integrated Services in Home Network System"],"prefix":"10.1007","author":[{"given":"Ben","family":"Yan","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Masahide","family":"Nakamura","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Lydie","family":"du Bousquet","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Ken-ichi","family":"Matsumoto","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"14_CR1","doi-asserted-by":"publisher","first-page":"294","DOI":"10.1109\/ASE.2004.1342750","volume-title":"Proc. of 19th Int\u2019l. IEEE Conf. on Automated Software Engineering (ASE\u201904)","author":"L. Bousquet du","year":"2004","unstructured":"du Bousquet, L., Ledru, Y., Maury, O., Bontron, P.: A case study in JML-based software validation. In: Proc. of 19th Int\u2019l. IEEE Conf. on Automated Software Engineering (ASE\u201904), pp. 294\u2013297. IEEE Computer Society Press, Washington, DC (2004)"},{"key":"14_CR2","unstructured":"International Electrotechnical Commission. Household and similar electrical appliances \u2014 Safety. IEC 60335-1 (September 2006)"},{"key":"14_CR3","unstructured":"Leavens, G.T., Cheon, Y.: Design by Contract with JML. Java Modeling Language Project, Internet (2003) \n                  \n                    http:\/\/www.jmlspecs.org"},{"key":"14_CR4","series-title":"Lecture Notes in Computer Science","volume-title":"Proceedings of ETAPS\/FASE\u201904 - Fundamental Approaches to Software Engineering","author":"Y. Ledru","year":"2004","unstructured":"Ledru, Y., du Bousquet, L., Maury, O., Bontron, P.: Filtering TOBIAS combinatorial test suites. In: Proceedings of ETAPS\/FASE\u201904 - Fundamental Approaches to Software Engineering. LNCS, vol.\u00a02984, Springer-Verlag, Heidelberg (2004)"},{"key":"14_CR5","doi-asserted-by":"crossref","unstructured":"Leelaprute, P., Nakamura, M., Tsuchiya, T., Matsumoto, K., Kikuno, T.: Describing and Verifying Integrated Services of Home Network Systems. In: Proc of 12th Asia-Pacific Software Engineering Conference (APSEC), pp. 549\u2013558 (December 2005)","DOI":"10.1109\/APSEC.2005.59"},{"issue":"10","key":"14_CR6","doi-asserted-by":"crossref","first-page":"40","DOI":"10.1109\/2.161279","volume":"25","author":"B. Meyer","year":"1992","unstructured":"Meyer, B.: Applying Design by Contract. IEEE Computer\u00a025(10), 40\u201351 (1992)","journal-title":"IEEE Computer"},{"key":"14_CR7","doi-asserted-by":"crossref","unstructured":"Nakamura, M., Tanaka, A., Igaki, H., Tamada, H., Matsumoto, K.: Adapting Legacy Home Appliances to Home Network Systems Using Web Services. In: Proc. of Int\u2019l Conf. on Web Services (ICWS 2006), pp. 849\u2013858 (September 2006)","DOI":"10.1109\/ICWS.2006.23"},{"key":"14_CR8","unstructured":"Nakamura, M., Igaki, H., Matsumoto, K.: Feature Interactions in Integrated Services of Networked Home Appliances -An Object-Oriented Approach. In: Proc. of Int\u2019l. Conf. on Feature Interactions in Telecommunication Networks and Distributed Systems (ICFI\u201905), pp. 236\u2013251 (July 2005)"},{"key":"14_CR9","unstructured":"The Java Modeling Language - JML \n                  \n                    http:\/\/www.cs.iastate.edu\/~leavens\/JML\/"},{"key":"14_CR10","unstructured":"JUnit, Testing Resources for Extreme Programming \n                  \n                    http:\/\/www.junit.org\/"}],"container-title":["Lecture Notes in Computer Science","Pervasive Computing for Quality of Life Enhancement"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-540-73035-4_14","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,19]],"date-time":"2019-05-19T10:02:40Z","timestamp":1558260160000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-540-73035-4_14"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2007]]},"ISBN":["9783540730347","9783540730354"],"references-count":10,"URL":"https:\/\/doi.org\/10.1007\/978-3-540-73035-4_14","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2007]]}}}