{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,8,15]],"date-time":"2025-08-15T01:22:43Z","timestamp":1755220963565,"version":"3.43.0"},"reference-count":20,"publisher":"Springer Science and Business Media LLC","issue":"3-4","license":[{"start":{"date-parts":[[1998,9,1]],"date-time":"1998-09-01T00:00:00Z","timestamp":904608000000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"},{"start":{"date-parts":[[1998,9,1]],"date-time":"1998-09-01T00:00:00Z","timestamp":904608000000},"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":["Software Quality Journal"],"published-print":{"date-parts":[[1998,9]]},"DOI":"10.1023\/a:1008927205043","type":"journal-article","created":{"date-parts":[[2002,12,22]],"date-time":"2002-12-22T12:46:35Z","timestamp":1040561195000},"page":"195-222","source":"Crossref","is-referenced-by-count":3,"title":["Evaluating, comparing and improving the quality of system structure during the specification process. Application example with SDL"],"prefix":"10.1007","volume":"7","author":[{"given":"F.","family":"Ammar-Boudjelal","sequence":"first","affiliation":[]},{"given":"J. Y.","family":"Lafaye","sequence":"additional","affiliation":[]},{"given":"G.","family":"Louis","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"256136_CR1","series-title":"Lectures Notes in Computer Science","doi-asserted-by":"crossref","DOI":"10.1007\/BFb0027227","volume-title":"Formal Methods for Industrial Applications: Specifying and Programming the Steam Boiler Control","author":"J.R. Abrial","year":"1996","unstructured":"J.R. Abrial, E. Boerger and H. Langmaack. Formal Methods for Industrial Applications: Specifying and Programming the Steam Boiler Control. Lectures Notes in Computer Science. (Springer-Verlag, Berlin, 1996), vol. 1165."},{"issue":"6","key":"256136_CR2","doi-asserted-by":"crossref","first-page":"639","DOI":"10.1109\/TSE.1983.235271","volume":"9","author":"A.J. Albrecht","year":"1983","unstructured":"A.J. Albrecht and J.E. Gaffney. Software function, source lines of code, and development effort prediction: a software science validation. IEEE Transactions on Software Engineering, 9(6), (1983), 639\u2013648.","journal-title":"IEEE Transactions on Software Engineering"},{"key":"256136_CR3","volume-title":"Specification for a Software Program for a Boiler Water Content Monitor and Control System","author":"J.C. Bauer","year":"1993","unstructured":"J.C. Bauer. Specification for a Software Program for a Boiler Water Content Monitor and Control System. (Institute of Risk Research, University of Waterloo, Ontario, Canada, 1993)."},{"key":"256136_CR4","volume-title":"M\u00e9thode G\u00e9n\u00e9rale D'analyse des Applications Informatiques. Tome 0: Analyse Conceptuelle des Syst\u00e8mes D'information","author":"X. Castellani","year":"1987","unstructured":"X. Castellani. M\u00e9thode G\u00e9n\u00e9rale D'analyse des Applications Informatiques. Tome 0: Analyse Conceptuelle des Syst\u00e8mes D'information. (Masson, Paris, 1987)."},{"key":"256136_CR5","volume-title":"Analyse Typologique, Th\u00e9ories et Applications","author":"J.L. Chandon","year":"1981","unstructured":"J.L. Chandon and S. Pinson. Analyse Typologique, Th\u00e9ories et Applications. (Masson, Paris, 1981)."},{"key":"256136_CR6","volume-title":"SDL: Formal object-oriented language for communicating systems","author":"J. Ellsberger","year":"1997","unstructured":"J. Ellsberger, D. Hogrefe and A. Sarma. SDL: Formal object-oriented language for communicating systems. (Prentice Hall, Hertfordshire, UK, 1997)."},{"key":"256136_CR7","volume-title":"Software Metrics: a Rigorous and Practical Approach","author":"N.E. Fenton","year":"1997","unstructured":"N.E. Fenton and S.L. Pfleeger. Software Metrics: a Rigorous and Practical Approach (2nd ed.). (PWS Publishers, London, 1997).","edition":"2nd ed."},{"issue":"12","key":"256136_CR8","doi-asserted-by":"crossref","first-page":"17","DOI":"10.1145\/138859.376081","volume":"35","author":"B. Henderson-Sellers","year":"1992","unstructured":"B. Henderson-Sellers. Modularization and cyclomatic complexity. Communications of the ACM, 35(12), (1992), 17\u201319.","journal-title":"Communications of the ACM"},{"issue":"5","key":"256136_CR9","doi-asserted-by":"crossref","first-page":"510","DOI":"10.1109\/TSE.1981.231113","volume":"7","author":"S. Henry","year":"1981","unstructured":"S. Henry and D. Kafura. Software structure metrics based on information flow. IEEE Transactions on Software Engineering, 7(5), (1981), 510\u2013518.","journal-title":"IEEE Transactions on Software Engineering"},{"key":"256136_CR10","volume-title":"ITU-T Recommendation Z.100 \u2014 Specification and Description Language","author":"International Telecommunication Union.","year":"1993","unstructured":"International Telecommunication Union. ITU-T Recommendation Z.100 \u2014 Specification and Description Language. (ITU, Geneva, 1993)."},{"key":"256136_CR11","doi-asserted-by":"crossref","DOI":"10.1007\/978-1-4757-1904-8","volume-title":"Principal Components Analysis","author":"I.T. Joliffe","year":"1986","unstructured":"I.T. Joliffe. Principal Components Analysis. (Springer-Verlag, New York, 1986).S.H. Kan. Metrics and Models in Software Quality Engineering. (Addison Wesley Publishers, New York, 1995)."},{"issue":"2","key":"256136_CR12","doi-asserted-by":"crossref","first-page":"77","DOI":"10.1109\/52.582977","volume":"14","author":"K. Kanoun","year":"1997","unstructured":"K. Kanoun, M. Ka\u00e2niche and J.C. Laprie. Qualitative and quantitative reliability assessment. IEEE Software, 14(2), (1997), 77\u201387.","journal-title":"IEEE Software"},{"key":"256136_CR13","series-title":"M\u00e9moire d'habilitation \u00e0 diriger des recherches","volume-title":"Aide \u00e0 l'analyse structurelle des syst\u00e8mes statiques et dynamiques","author":"J.Y. Lafaye","year":"1992","unstructured":"J.Y. Lafaye. Aide \u00e0 l'analyse structurelle des syst\u00e8mes statiques et dynamiques. M\u00e9moire d'habilitation \u00e0 diriger des recherches, Universit\u00e9 de Poitiers, France, 1992."},{"issue":"3","key":"256136_CR14","doi-asserted-by":"crossref","first-page":"107","DOI":"10.1049\/sej.1994.0014","volume":"9","author":"S.G. MacDonell","year":"1994","unstructured":"S.G. MacDonell. Comparative review of functional complexity assessment methods for effort estimation. Software Engineering Journal, 9(3), (1994), 107\u2013116.","journal-title":"Software Engineering Journal"},{"issue":"12","key":"256136_CR15","doi-asserted-by":"crossref","first-page":"1415","DOI":"10.1145\/76380.76382","volume":"32","author":"T.J. McCabe","year":"1989","unstructured":"T.J. McCabe and C.W. Butler. Design complexity measurement and testing. Communications of the ACM, 32(12), (1989), 1415\u20131425.","journal-title":"Communications of the ACM"},{"key":"256136_CR16","volume-title":"Quality assurance of specification and design of software","author":"M. Myers","year":"1989","unstructured":"M. Myers. Quality assurance of specification and design of software, PhD Thesis. (Department of Electrical and Electronic Engineering, South Bank Polytechnic\/City University, London, 1989)."},{"key":"256136_CR17","volume-title":"System Engineering using SDL-92","author":"A. Olsen","year":"1994","unstructured":"A. Olsen et al. System Engineering using SDL-92. (Elsevier\/North Holland Publishers, Amsterdam, 1994)."},{"key":"256136_CR18","volume-title":"Probabilit\u00e9s, Analyse des donn\u00e9es et Statistique","author":"G. Saporta","year":"1990","unstructured":"G. Saporta, Probabilit\u00e9s, Analyse des donn\u00e9es et Statistique. (Technip, Paris, 1990)."},{"key":"256136_CR19","volume-title":"Cographs, a Class of Tree Representable Graphs","author":"L. Stewart","year":"1978","unstructured":"L. Stewart. Cographs, a Class of Tree Representable Graphs, PhD Thesis. (Department of Computer Science, University of Toronto, Canada, 1978)."},{"key":"256136_CR20","volume-title":"SDT Tool 3.1","author":"Telelogic.","year":"1996","unstructured":"Telelogic. SDT Tool 3.1. (Combitech Group, Malm\u00f6, Sweden, 1996)."}],"container-title":["Software Quality Journal"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1023\/A:1008927205043.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/article\/10.1023\/A:1008927205043\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1023\/A:1008927205043.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,8,8]],"date-time":"2025-08-08T04:43:05Z","timestamp":1754628185000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1023\/A:1008927205043"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1998,9]]},"references-count":20,"journal-issue":{"issue":"3-4","published-print":{"date-parts":[[1998,9]]}},"alternative-id":["256136"],"URL":"https:\/\/doi.org\/10.1023\/a:1008927205043","relation":{},"ISSN":["0963-9314","1573-1367"],"issn-type":[{"type":"print","value":"0963-9314"},{"type":"electronic","value":"1573-1367"}],"subject":[],"published":{"date-parts":[[1998,9]]}}}