{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,1,12]],"date-time":"2025-01-12T19:40:05Z","timestamp":1736710805973,"version":"3.32.0"},"publisher-location":"Berlin, Heidelberg","reference-count":15,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540676690"},{"type":"electronic","value":"9783540450986"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2000]]},"DOI":"10.1007\/10722060_9","type":"book-chapter","created":{"date-parts":[[2006,12,30]],"date-time":"2006-12-30T00:00:28Z","timestamp":1167436828000},"page":"69-81","source":"Crossref","is-referenced-by-count":4,"title":["A Supporting Tool for Development of Self-Measurement Ada Programs"],"prefix":"10.1007","author":[{"given":"Yusuke","family":"Nonaka","sequence":"first","affiliation":[]},{"given":"Jingde","family":"Cheng","sequence":"additional","affiliation":[]},{"given":"Kazuo","family":"Ushijima","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"9_CR1","volume-title":"Programming in Ada 95","author":"J. Barnes","year":"1995","unstructured":"Barnes, J.: Programming in Ada 95. Addison-Wesley, Reading (1995)"},{"key":"9_CR2","doi-asserted-by":"crossref","first-page":"156","DOI":"10.1007\/978-4-431-68144-1_11","volume-title":"Distributed Environments","author":"J. Cheng","year":"1991","unstructured":"Cheng, J., Ushijima, K.: Partial Order Transparency as a Tool to Reduce Interference in Monitoring Concurrent Systems. In: Ohno, Y. (ed.) Distributed Environments, pp. 156\u2013171. Springer, Heidelberg (1991)"},{"key":"9_CR3","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"135","DOI":"10.1007\/BFb0013484","volume-title":"Reliable Software Technologies - Ada Europe 96","author":"J. Cheng","year":"1996","unstructured":"Cheng, J., Ushijima, K.: Tasking Deadlocks in Ada 95 Programs and Their Detection. In: Strohmeier, A. (ed.) Ada-Europe 1996. LNCS, vol.\u00a01088, pp. 135\u2013146. Springer, Heidelberg (1996)"},{"key":"9_CR4","doi-asserted-by":"crossref","unstructured":"Cheng, J.: The Self-Measurement Principle: A Design Principle for Large-scale, Long-lived, and Highly Reliable Concurrent Systems. In: Proc. 1998 IEEE-SMC Annual Int. Conf. on Systems, Man and Cybernetics, vol.\u00a04, pp. 4010\u20134015 (1998)","DOI":"10.1109\/ICSMC.1998.726716"},{"key":"9_CR5","unstructured":"Cheng, J.: The Wholeness Principle of Concurrent Systems and the Uncertainty Principle in Measuring Concurrent Systems. In: Proc. Int. Sympo. on Future Software Technology 1998, pp. 311\u2013314 (1998)"},{"issue":"1","key":"9_CR6","doi-asserted-by":"publisher","first-page":"35","DOI":"10.1145\/249984.249991","volume":"XVII","author":"C. Colket","year":"1997","unstructured":"Colket, C., et al.: Architecture of ASIS: A tool to Support Code Analysis of Complex Systems. ACM Ada Letters\u00a0XVII(1), 35\u201340 (1997)","journal-title":"ACM Ada Letters"},{"issue":"6","key":"9_CR7","doi-asserted-by":"publisher","first-page":"65","DOI":"10.1145\/264934.264942","volume":"XVII","author":"C.D. Cooper","year":"1997","unstructured":"Cooper, C.D.: ASIS-Based Code Analysis Automation. ACM Ada Letters\u00a0XVII(6), 65\u201369 (1997)","journal-title":"ACM Ada Letters"},{"key":"9_CR8","volume-title":"Design Patterns: Elements of Reusable Object-Oriented Software","author":"E. Gamma","year":"1995","unstructured":"Gamma, E., Helm, R., Johnson, R., Vissides, J.: Design Patterns: Elements of Reusable Object-Oriented Software. Addison-Wesley, Reading (1995)"},{"key":"9_CR9","unstructured":"International Organization for Standardization : Information Technology \u2013 Programming Language - Ada, ISO\/IEC 8652:1995(E) (1995)"},{"key":"9_CR10","unstructured":"Maes, P.: Issues in Computational Reflection. In: Maes, P., Nardi, D. (eds.) Meta-Level Architecture and Reflection, pp. 21\u201335. Elsevier Science, North-Holland (1988)"},{"issue":"1","key":"9_CR11","first-page":"79","volume":"20","author":"Y. Nonaka","year":"1999","unstructured":"Nonaka, Y., Cheng, J., Ushijima, K.: A Tasking Deadlock Detector for Ada 95 Programs. Ada User Journal\u00a020(1), 79\u201392 (1999)","journal-title":"Ada User Journal"},{"issue":"2","key":"9_CR12","doi-asserted-by":"publisher","first-page":"39","DOI":"10.1145\/230509.230512","volume":"XVI","author":"S. Rybin","year":"1996","unstructured":"Rybin, S., Strohmeier, A., Zueff, E.: ASIS for GNAT: Goals, Problems, and Implementation Strategy. ACM Ada Letters\u00a0XVI(2), 39\u201349 (1996)","journal-title":"ACM Ada Letters"},{"key":"9_CR13","unstructured":"Schmidt, D.C.: Applying Patterns to Meet the Challenges of Concurrent Software. IEEE Concurrency, Special Edition on Software Engineering for Parallel Distributed Systems\u00a05(3) (1997)"},{"key":"9_CR14","first-page":"10","volume":"20","author":"E. Schonberg","year":"1995","unstructured":"Schonberg, E., Banner, B.: The GNAT Project: A GNU-Ada 9X Compiler. Ada Europe News\u00a0(20), 10\u201319 (1995)","journal-title":"Ada Europe News"},{"key":"9_CR15","doi-asserted-by":"crossref","unstructured":"Smith, B.C.: Reflection and Semantics in Lisp. In: Proc. ACM Sympo. on Principles of Programming Languages, pp. 23\u201335 (1984)","DOI":"10.1145\/800017.800513"}],"container-title":["Lecture Notes in Computer Science","Reliable Software Technologies Ada-Europe 2000"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/10722060_9","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,1,12]],"date-time":"2025-01-12T19:04:55Z","timestamp":1736708695000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/10722060_9"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2000]]},"ISBN":["9783540676690","9783540450986"],"references-count":15,"URL":"https:\/\/doi.org\/10.1007\/10722060_9","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2000]]}}}