{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,27]],"date-time":"2025-03-27T09:24:25Z","timestamp":1743067465143,"version":"3.40.3"},"publisher-location":"Berlin, Heidelberg","reference-count":12,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642106187"},{"type":"electronic","value":"9783642106194"}],"license":[{"start":{"date-parts":[[2009,1,1]],"date-time":"2009-01-01T00:00:00Z","timestamp":1230768000000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"},{"start":{"date-parts":[[2009,1,1]],"date-time":"2009-01-01T00:00:00Z","timestamp":1230768000000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2009]]},"DOI":"10.1007\/978-3-642-10619-4_21","type":"book-chapter","created":{"date-parts":[[2009,11,16]],"date-time":"2009-11-16T05:01:57Z","timestamp":1258347717000},"page":"168-175","source":"Crossref","is-referenced-by-count":4,"title":["Reliable Mobile Application Modeling Based on Open API"],"prefix":"10.1007","author":[{"given":"Sera","family":"Jang","sequence":"first","affiliation":[]},{"given":"Eunseok","family":"Lee","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"unstructured":"Mobile Platform\/OS Open Trend. Korean Electronics Technology Institute (2008)","key":"21_CR1"},{"unstructured":"Jiang, M., Zhang, J., Raymer, D., Strassner, J.: A Modeling Framework for Self-Healing Software Systems. Models@Run.time (2007)","key":"21_CR2"},{"issue":"1","key":"21_CR3","doi-asserted-by":"publisher","first-page":"11","DOI":"10.1109\/TDSC.2004.2","volume":"1","author":"A. Avizienis","year":"2004","unstructured":"Avizienis, A., Laprie, J.-C., Randell, B., Landwehr, C.: Basic concepts and taxonomy of dependable and secure computing. IEEE Trans. on Dependable and Secure Computing\u00a01(1), 11\u201333 (2004)","journal-title":"IEEE Trans. on Dependable and Secure Computing"},{"doi-asserted-by":"crossref","unstructured":"Mariani, L.: A fault taxonomy for component-based software. In: International Workshop on Test and Analysis of Component-Based Systems (TACoS), ENTCS, vol.\u00a082(6) (2003)","key":"21_CR4","DOI":"10.1016\/S1571-0661(04)81025-9"},{"issue":"6","key":"21_CR5","doi-asserted-by":"publisher","first-page":"20","DOI":"10.1109\/MIM.2007.4428578","volume":"10","author":"G. James","year":"2007","unstructured":"James, G.: Applying test driven development to embedded software. Instrumentation & Measurement Magazine\u00a010(6), 20\u201325 (2007)","journal-title":"Instrumentation & Measurement Magazine"},{"doi-asserted-by":"crossref","unstructured":"Kim, S.-K., Choi, J., Lee, D., Noh, S.H., Min, S.L.: Virtual Framework for Testing the Reliability of System Software on Embedded Systems. In: The 2007 ACM symposium on Applied computing, pp. 1192\u20131196 (2007)","key":"21_CR6","DOI":"10.1145\/1244002.1244260"},{"doi-asserted-by":"crossref","unstructured":"Bernardi, S., Merseguer, J.: A UML Profile for Dependability Analysis of RealTime Embedded Systems. In: The 6th international workshop on software and performance, pp. 115\u2013124 (2007)","key":"21_CR7","DOI":"10.1145\/1216993.1217012"},{"key":"21_CR8","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"320","DOI":"10.1007\/11591962_16","volume-title":"Component-Based Software Development for Embedded Systems","author":"J. Jurjens","year":"2005","unstructured":"Jurjens, J., Wagner, S.: Component-Based Development of Dependable Systems with UML. In: Atkinson, C., Bunse, C., Gross, H.-G., Peper, C. (eds.) Component-Based Software Development for Embedded Systems. LNCS, vol.\u00a03778, pp. 320\u2013344. Springer, Heidelberg (2005)"},{"issue":"10","key":"21_CR9","doi-asserted-by":"publisher","first-page":"656","DOI":"10.1109\/TSE.2004.68","volume":"30","author":"P.-A. Hsiung","year":"2004","unstructured":"Hsiung, P.-A., Lin, S.-W., Tseng, C.-H., Lee, T.-Y., Fu, J.-M.: Win-Bin See: VERTAF: An Application Framework for the Design and Verification of Embedded Real-Time Software. IEEE Trans. on Software Engineering\u00a030(10), 656\u2013674 (2004)","journal-title":"IEEE Trans. on Software Engineering"},{"unstructured":"http:\/\/www.embedded-computing.com","key":"21_CR10"},{"unstructured":"http:\/\/www.omg.org\/technology\/documents\/formal\/test_profile.html","key":"21_CR11"},{"unstructured":"http:\/\/code.google.com\/intl\/ko\/android","key":"21_CR12"}],"container-title":["Communications in Computer and Information Science","Advances in Software Engineering"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-10619-4_21","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,3,20]],"date-time":"2024-03-20T10:30:42Z","timestamp":1710930642000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/978-3-642-10619-4_21"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2009]]},"ISBN":["9783642106187","9783642106194"],"references-count":12,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-10619-4_21","relation":{},"ISSN":["1865-0929","1865-0937"],"issn-type":[{"type":"print","value":"1865-0929"},{"type":"electronic","value":"1865-0937"}],"subject":[],"published":{"date-parts":[[2009]]}}}