{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,6]],"date-time":"2024-09-06T23:06:18Z","timestamp":1725663978693},"publisher-location":"Berlin, Heidelberg","reference-count":33,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540547426"},{"type":"electronic","value":"9783540464464"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1991]]},"DOI":"10.1007\/3540547428_57","type":"book-chapter","created":{"date-parts":[[2012,2,25]],"date-time":"2012-02-25T23:12:20Z","timestamp":1330211540000},"page":"343-363","source":"Crossref","is-referenced-by-count":6,"title":["Algebraic validation of software metrics"],"prefix":"10.1007","author":[{"given":"Martin","family":"Shepperd","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Darrel","family":"Ince","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2005,7,2]]},"reference":[{"issue":"1","key":"19_CR1","doi-asserted-by":"crossref","first-page":"4","DOI":"10.1109\/TSE.1984.5010193","volume":"10","author":"B.W. Boehm","year":"1984","unstructured":"Boehm, B.W. \u2018Software engineering economics'. IEEE Trans, on Softw. Eng. 10(1) pp4\u201321. 1984.","journal-title":"IEEE Trans, on Softw. Eng."},{"key":"19_CR2","volume-title":"Controlling software projects. Management, measurement and estimation","author":"T. deMarco","year":"1982","unstructured":"deMarco, T. \u2018Controlling software projects. Management, measurement and estimation'. Yourdon Press. NY. 1982."},{"key":"19_CR3","doi-asserted-by":"crossref","unstructured":"Ehrig, H. Mahr, B. Fundamentals of algebraic specification, EATCS, Vol.6 Springer-Verlag, 1985.","DOI":"10.1007\/978-3-642-69962-7"},{"issue":"4","key":"19_CR4","doi-asserted-by":"crossref","first-page":"330","DOI":"10.1093\/comjnl\/29.4.330","volume":"29","author":"N.E. Fenton","year":"1986","unstructured":"Fenton, N.E. Whitty, R.W. \u2018Axiomatic approach to Software metrification through program decomposition'. Computer J. 29(4) pp330\u2013340. 1986.","journal-title":"Computer J."},{"key":"19_CR5","doi-asserted-by":"crossref","first-page":"433","DOI":"10.1002\/spe.4380120505","volume":"12","author":"N.H. Gehani","year":"1982","unstructured":"Gehani, N.H. \u2018Specifications formal and informal \u2014 a case study', Softw. Pract. & Experience, 12, pp433\u2013444, 1982.","journal-title":"Softw. Pract. & Experience"},{"key":"19_CR6","unstructured":"Gilb, T. Principles of software engineering management, Addison-Wesley, 1988."},{"issue":"6","key":"19_CR7","doi-asserted-by":"crossref","first-page":"397","DOI":"10.1145\/359605.359618","volume":"20","author":"J.V. Guttag","year":"1977","unstructured":"Guttag, J.V. \u2018Abstract data types and the development of data structures\u201d. CACM 20(6) pp397\u2013404. 1977.","journal-title":"CACM"},{"key":"19_CR8","doi-asserted-by":"crossref","first-page":"27","DOI":"10.1007\/BF00260922","volume":"10","author":"J.V. Guttag","year":"1978","unstructured":"Guttag, J.V. Horning, J.J. \u2018The ALgebraic Specification of Abstract data types', Acta Informatica, 10, pp27\u201352, 1978.","journal-title":"Acta Informatica"},{"key":"19_CR9","doi-asserted-by":"crossref","first-page":"81","DOI":"10.1145\/1010627.807911","volume":"10","author":"S. Henry","year":"1981","unstructured":"Henry, S. Kafura, D. Harris, K. \u2018On the relationship among three software metrics\u2019 ACM SIGMETRICS Performance Evaluation Review 10, Spring pp81\u201388. 1981.","journal-title":"ACM SIGMETRICS Performance Evaluation Review"},{"key":"19_CR10","unstructured":"Hamer, P.G. Frewin, G.D. \u2018M.H. Halstead's Software Science \u2014 A Critical Examination'. Proc. IEEE 6th Int. Conf on Softw. Eng. pp197\u2013206. 1982."},{"key":"19_CR11","unstructured":"Ince, D.C. Shepperd, M.J. 'system design metrics: a review and perspective.\u2019 Proc. IEE\/BCS Conf. Software Engineering '88 July 12\u201315, Liverpool University, pp23\u201327. 1988."},{"key":"19_CR12","doi-asserted-by":"crossref","unstructured":"Ince, D.C. Shepperd, M.J. \u2018An empirical and theoretical analysis of an information flow based design metric'. Proc. European Software Eng. Conf., Warwick, England. Sept. 12\u201315, 1989.","DOI":"10.1007\/3-540-51635-2_34"},{"issue":"1","key":"19_CR13","doi-asserted-by":"crossref","first-page":"58","DOI":"10.1049\/sej.1986.0010","volume":"1","author":"B.A. Kitchenham","year":"1986","unstructured":"Kitchenham, B.A. McDermid, J.A. \u2018Software metrics and integrated project support environments'. Softw. Eng. J. 1(1) pp58\u201364. 1986.","journal-title":"Softw. Eng. J."},{"key":"19_CR14","volume-title":"Foundations of measurement","author":"D.H. Krantz","year":"1971","unstructured":"Krantz, D.H. Luce, R.D. Suppes, P. Tversky, A. Foundations of measurement. Academic Press, London. 1971."},{"key":"19_CR15","volume-title":"Theory and measurement","author":"H.E. Kyburg","year":"1984","unstructured":"Kyburg, H.E. Theory and measurement. Cambridge Univ. Press, Cambridge, England. 1984."},{"key":"19_CR16","doi-asserted-by":"crossref","first-page":"105","DOI":"10.1016\/0164-1212(81)90030-3","volume":"2","author":"J-L. Lassez","year":"1981","unstructured":"Lassez, J-L. van der Knijff, D.J.J. Shepherd, J. Lassez, C. \u2018A critical examination of software science'. J. of Syst. & Softw. 2, pp105\u2013112. 1981.","journal-title":"J. of Syst. & Softw."},{"key":"19_CR17","volume-title":"Abstraction and specification in program development","author":"B. Liskov","year":"1986","unstructured":"Liskov, B. Guttag, J. Abstraction and specification in program development. MIT Press, MA., 1986."},{"issue":"4","key":"19_CR18","doi-asserted-by":"crossref","first-page":"308","DOI":"10.1109\/TSE.1976.233837","volume":"2","author":"T.J. McCabe","year":"1976","unstructured":"McCabe, T.J. \u2018A complexity measure\u2019 IEEE Trans. on Softw. Eng. 2(4) pp308\u2013320. 1976.","journal-title":"IEEE Trans. on Softw. Eng."},{"issue":"4","key":"19_CR19","doi-asserted-by":"crossref","first-page":"246","DOI":"10.1049\/sej.1990.0027","volume":"5","author":"A.C. Melton","year":"1990","unstructured":"Melton, A.C. Gustafson, D.A. Bieman, J.A. Baker, J.A. \u2018A mathematical perspective for software measures research\u2019 Softw. Eng. J. 5(4) pp246\u2013254, 1990.","journal-title":"Softw. Eng. J."},{"key":"19_CR20","doi-asserted-by":"crossref","unstructured":"Parnas, D.L. \u2018On the criteria to be used in decomposing systems into modules'. CACM 15(2) pp1053\u20131058.","DOI":"10.1145\/361598.361623"},{"issue":"4","key":"19_CR21","doi-asserted-by":"crossref","first-page":"340","DOI":"10.1093\/comjnl\/27.4.340","volume":"27","author":"R.E. Prather","year":"1984","unstructured":"Prather, R.E. \u2018An axiomatic theory of software complexity metrics'. The Comp. J. 27(4) pp340\u2013347. 1984.","journal-title":"The Comp. J."},{"issue":"2","key":"19_CR22","doi-asserted-by":"crossref","first-page":"42","DOI":"10.1049\/sej.1987.0006","volume":"2","author":"R.E. Prather","year":"1987","unstructured":"Prather, R.E. \u2018On hierarchical software metrics'. Softw. Eng. J. 2(2) pp42\u201345. 1987.","journal-title":"Softw. Eng. J."},{"issue":"2","key":"19_CR23","doi-asserted-by":"crossref","first-page":"30","DOI":"10.1049\/sej.1988.0003","volume":"3","author":"M.J. Shepperd","year":"1988","unstructured":"Shepperd, M.J. \u2018A critique of cyclomatic complexity as a software metric\u2019 Softw. Eng. J. 3(2) pp30\u201336. 1988.","journal-title":"Softw. Eng. J."},{"key":"19_CR24","doi-asserted-by":"crossref","unstructured":"Shepperd, M.J. \u2018An empirical study of design measurement'. The Softw. Eng. J. Jan. 1990.","DOI":"10.1049\/sej.1990.0002"},{"key":"19_CR25","unstructured":"Shepperd, M.J. System Architecture Metrics: An Evaluation, PhD Dissertation, Open University, 1991."},{"key":"19_CR26","volume-title":"Measurement: definitions and theories","author":"S.S. Stevens","year":"1959","unstructured":"Stevens, S.S. \u2018Measurement, psychophysics and utility\u2019 in Churchman, C.W. Ratoosh, P. (eds.) \u2018Measurement: definitions and theories'. Wiley, N.Y., 1959."},{"issue":"2","key":"19_CR27","doi-asserted-by":"crossref","first-page":"115","DOI":"10.1147\/sj.132.0115","volume":"13","author":"W.P. Stevens","year":"1974","unstructured":"Stevens, W.P. Myers, G.J. Constantine, L.L. \u2018Structured design\u2019 IBM Sys. J. 13(2) pp115\u2013139. 1974.","journal-title":"IBM Sys. J."},{"key":"19_CR28","unstructured":"Suppes, P. Zinnes, J.L. \u2018Basic measurement theory'. In Lieberman, B. (ed.) \u2018Contemporary problems in statistics\u2019 O.U.P. 1971."},{"issue":"9","key":"19_CR29","doi-asserted-by":"crossref","first-page":"1357","DOI":"10.1109\/32.6178","volume":"14","author":"E.J. Weyuker","year":"1988","unstructured":"Weyuker, E.J. \u2018Evaluating software complexity measures'. IEEE Trans. on Softw. Eng. 14(9) pp1357\u20131365. 1988.","journal-title":"IEEE Trans. on Softw. Eng."},{"issue":"6","key":"19_CR30","doi-asserted-by":"crossref","first-page":"545","DOI":"10.1109\/TSE.1980.234503","volume":"6","author":"S.S. Yau","year":"1980","unstructured":"Yau, S.S. Collofello, J.S. \u2018Some stability measures for software maintenance'. IEEE Trans. on Softw. Eng. 6(6) pp545\u2013552. 1980.","journal-title":"IEEE Trans. on Softw. Eng."},{"key":"19_CR31","doi-asserted-by":"crossref","unstructured":"Yin, B.H. Winchester, J.W. \u2018The establishment and use of measures to evaluate the quality of software designs\u2019 Proc. ACM Softw. Qual. Ass. Workshop pp45\u201352. 1978.","DOI":"10.1145\/953579.811099"},{"issue":"8","key":"19_CR32","doi-asserted-by":"crossref","first-page":"23","DOI":"10.1145\/70470.70473","volume":"24","author":"H. Zuse","year":"1989","unstructured":"Zuse, H. Bollmann, P. \u2018Software metrics: using measurement theory to describe the properties and scales of static complexity metrics'. ACM SIGPLAN Notices 24(8), pp23\u201333, 1989.","journal-title":"ACM SIGPLAN Notices"},{"key":"19_CR33","volume-title":"Software Complexity. Measures and Methods","author":"H. Zuse","year":"1990","unstructured":"Zuse, H. Software Complexity. Measures and Methods, deGruyter, Berlin, 1990."}],"container-title":["Lecture Notes in Computer Science","ESEC '91"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3540547428_57.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,11,17]],"date-time":"2020-11-17T20:56:28Z","timestamp":1605646588000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3540547428_57"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1991]]},"ISBN":["9783540547426","9783540464464"],"references-count":33,"URL":"https:\/\/doi.org\/10.1007\/3540547428_57","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1991]]}}}