{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T05:50:02Z","timestamp":1725515402337},"publisher-location":"Berlin, Heidelberg","reference-count":22,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540686217"},{"type":"electronic","value":"9783540686248"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"DOI":"10.1007\/978-3-540-68624-8_8","type":"book-chapter","created":{"date-parts":[[2008,6,10]],"date-time":"2008-06-10T05:52:09Z","timestamp":1213077129000},"page":"101-114","source":"Crossref","is-referenced-by-count":0,"title":["Concurrent Program Metrics Drawn by Quasar"],"prefix":"10.1007","author":[{"given":"Claude","family":"Kaiser","sequence":"first","affiliation":[]},{"given":"Christophe","family":"Pajault","sequence":"additional","affiliation":[]},{"given":"Jean-Fran\u00e7ois","family":"Pradat-Peyre","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"8_CR1","unstructured":"Quasar website, \n                  \n                    http:\/\/quasar.cnam.fr\/files\/concurrency_papers.html"},{"key":"8_CR2","volume-title":"Concurrent programming: principles and practice","author":"G.R. Andrews","year":"1991","unstructured":"Andrews, G.R.: Concurrent programming: principles and practice. Benjamin-Cummings Publishing Co. Inc., USA (1991)"},{"issue":"1","key":"8_CR3","doi-asserted-by":"publisher","first-page":"63","DOI":"10.1145\/214037.214100","volume":"27","author":"P.A. Buhr","year":"1995","unstructured":"Buhr, P.A., Fortier, M., Coffin, M.H.: Monitor classification. ACM Comput. Surv.\u00a027(1), 63\u2013107 (1995)","journal-title":"ACM Comput. Surv."},{"issue":"1","key":"8_CR4","doi-asserted-by":"publisher","first-page":"43","DOI":"10.1016\/0020-0190(93)90195-F","volume":"46","author":"S. Cha","year":"1993","unstructured":"Cha, S., Chung, I.S., Kwon, Y.R.: Complexity measures for concurrent programs based on information-theoretic metrics. Inf. Proc. Lett.\u00a046(1), 43\u201350 (1993)","journal-title":"Inf. Proc. Lett."},{"key":"8_CR5","doi-asserted-by":"crossref","unstructured":"Chung, C.-M., Shih, T.K., Wang, Y.-H., Lin, W.-C., Kou, Y.-F.: Task decomposition testing and metrics for concurrent programs. In: Proc. of the 7th Int. Symposium on Software Reliability Engineering (1996)","DOI":"10.1109\/ISSRE.1996.558726"},{"key":"8_CR6","volume-title":"Model Checking","author":"D. Peled","year":"1999","unstructured":"Peled, D., Clarke, E., Grumberg, O.: Model Checking. MIT Press, Cambridge (1999)"},{"key":"8_CR7","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"168","DOI":"10.1007\/3-540-44947-7_12","volume-title":"Reliable Software Technologies \u2013 Ada-Europe 2003","author":"S. Evangelista","year":"2003","unstructured":"Evangelista, S., Kaiser, C., Pradat-Peyre, J.-F., Rousseau, P.: Quasar: A New Tool for Concurrent Ada Programs Analysis. In: Rosen, J.-P., Strohmeier, A. (eds.) Ada-Europe 2003. LNCS, vol.\u00a02655, pp. 168\u2013181. Springer, Heidelberg (2003)"},{"key":"8_CR8","doi-asserted-by":"crossref","unstructured":"Evangelista, S., Kaiser, C., Pradat-Peyre, J.F., Rousseau, P.: Verifying linear time temporal logic properties of concurrent ada programs with quasar. In: Proc. of the 2003 Annual ACM Int. Conf. on Ada (SIGAda 2003), pp. 17\u201324 (2003)","DOI":"10.1145\/958420.958424"},{"issue":"2","key":"8_CR9","doi-asserted-by":"publisher","first-page":"23","DOI":"10.1145\/1165678.1165681","volume":"XXVI","author":"S. Evangelista","year":"2006","unstructured":"Evangelista, S., Kaiser, C., Pradat-Peyre, J.-F., Rousseau, P.: Comparing Java, C# and Ada monitors queuing policies: a case study and its Ada refinement. Ada Letters\u00a0XXVI(2), 23\u201337 (2006)","journal-title":"Ada Letters"},{"key":"8_CR10","series-title":"Operating and programming systems series","volume-title":"Elements of Software Science","author":"M.H. Halstead","year":"1977","unstructured":"Halstead, M.H.: Elements of Software Science. Operating and programming systems series. Elsevier Science Inc., New York (1977)"},{"issue":"10","key":"8_CR11","doi-asserted-by":"publisher","first-page":"549","DOI":"10.1145\/355620.361161","volume":"17","author":"C.A.R. Hoare","year":"1974","unstructured":"Hoare, C.A.R.: Monitors: an operating system structuring concept. Commun. ACM\u00a017(10), 549\u2013557 (1974)","journal-title":"Commun. ACM"},{"key":"8_CR12","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"192","DOI":"10.1007\/978-3-540-73230-3_15","volume-title":"Reliable Software Technologies - Ada-Europe 2007","author":"C. Kaiser","year":"2007","unstructured":"Kaiser, C., Pajault, C., Pradat-Peyre, J.-F.: Modelling remote concurrency with Ada. Case study of symmetric non-deterministic rendez-vous. In: Abdennahder, N., Kordon, F. (eds.) Ada-Europe 2007. LNCS, vol.\u00a04498, pp. 192\u2013207. Springer, Heidelberg (2007)"},{"key":"8_CR13","unstructured":"Kaiser, C., Pradat-Peyre, J.F.: Chameneos, a concurrency game for Java, Ada and others. In: Int. Conf. ACS\/IEEE AICCSA 2003 (2003)"},{"issue":"7","key":"8_CR14","doi-asserted-by":"publisher","first-page":"500","DOI":"10.1145\/359636.359710","volume":"20","author":"J.L.W. Kessels","year":"1977","unstructured":"Kessels, J.L.W.: An alternative to event queues for synchronization in monitors. Commun. ACM\u00a020(7), 500\u2013503 (1977)","journal-title":"Commun. ACM"},{"key":"8_CR15","doi-asserted-by":"publisher","first-page":"308","DOI":"10.1109\/TSE.1976.233837","volume":"2","author":"T.J. McCabe","year":"1976","unstructured":"McCabe, T.J.: A complexity measure. IEEE Transactions on Software Engineering\u00a02, 308\u2013320 (1976)","journal-title":"IEEE Transactions on Software Engineering"},{"key":"8_CR16","series-title":"Lecture Notes in Computer Science","volume-title":"Consolidated Ada Reference Manual. Language and Standard Libraries","author":"R. Brukardt","year":"2001","unstructured":"Brukardt, R., Tucker Taft, S., Duff, R.A., Pl\u00f6dereder, E.: Consolidated Ada Reference Manual. Language and Standard Libraries. LNCS, vol.\u00a02219. Springer, Heidelberg (2001)"},{"key":"8_CR17","unstructured":"Geotechnical\u00a0Software Services. Java programming style guidelines (2007)"},{"issue":"8","key":"8_CR18","doi-asserted-by":"publisher","first-page":"1122","DOI":"10.1109\/32.7623","volume":"14","author":"S.M. Shatz","year":"1988","unstructured":"Shatz, S.M.: Towards complexity metrics for Ada tasking. IEEE Trans. on Softw. Eng.\u00a014(8), 1122\u20131127 (1988)","journal-title":"IEEE Trans. on Softw. Eng."},{"key":"8_CR19","unstructured":"JavaRanch\u00a0Project standards. Java programming style guide (2007)"},{"key":"8_CR20","first-page":"121","volume":"3","author":"F. Tip","year":"1995","unstructured":"Tip, F.: A survey of program slicing techniques. Journal of programming languages\u00a03, 121\u2013189 (1995)","journal-title":"Journal of programming languages"},{"issue":"2","key":"8_CR21","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1145\/1050849.1050865","volume":"30","author":"B. Xu","year":"2005","unstructured":"Xu, B., Qian, J., Zhang, X., Wu, Z., Chen, L.: A brief survey of program slicing. SIGSOFT Softw. Eng. Notes\u00a030(2), 1\u201336 (2005)","journal-title":"SIGSOFT Softw. Eng. Notes"},{"issue":"5","key":"8_CR22","doi-asserted-by":"publisher","first-page":"221","DOI":"10.1145\/1095809.1095832","volume":"39","author":"Y. Yu","year":"2005","unstructured":"Yu, Y., Rodeheffer, T., Chen, W.: Racetrack: efficient detection of data race conditions via adaptive tracking. ACM SIGOPS OSR\u00a039(5), 221\u2013234 (2005)","journal-title":"ACM SIGOPS OSR"}],"container-title":["Lecture Notes in Computer Science","Reliable Software Technologies \u2013 Ada-Europe 2008"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-540-68624-8_8.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,5,3]],"date-time":"2021-05-03T00:08:40Z","timestamp":1620000520000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-540-68624-8_8"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[null]]},"ISBN":["9783540686217","9783540686248"],"references-count":22,"URL":"https:\/\/doi.org\/10.1007\/978-3-540-68624-8_8","relation":{},"subject":[]}}