{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T15:46:31Z","timestamp":1725551191361},"publisher-location":"Berlin, Heidelberg","reference-count":14,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540664888"},{"type":"electronic","value":"9783540482499"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1999]]},"DOI":"10.1007\/3-540-48249-0_21","type":"book-chapter","created":{"date-parts":[[2010,3,29]],"date-time":"2010-03-29T21:13:11Z","timestamp":1269897191000},"page":"239-249","source":"Crossref","is-referenced-by-count":0,"title":["Programming Rule Static Verification for Reliable Software"],"prefix":"10.1007","author":[{"given":"Philippe","family":"Robert","sequence":"first","affiliation":[]}],"member":"297","published-online":{"date-parts":[[1999,10,14]]},"reference":[{"key":"21_CR1","unstructured":"NASA, \u201cC style guide\u201d, Software Engineering Laboratory Series, SEL-94-003, August 94,."},{"key":"21_CR2","unstructured":"Centre National d\u2019Etudes Spatiales, \u201cR\u00e9gles essentielles pour l\u2019utilisation du langage C\u201d, MPM-53-00-06, 1 Mars 1995, Ed.2-R\u00e9v.0."},{"key":"21_CR3","unstructured":"Centre National d\u2019Etudes Spatiales, \u201cR\u00e9gles essentielles pour l\u2019utilisation du langage C++\u201d, MPM-53-00-13, 16 juin 1996, Ed.1-R\u00e9v.0."},{"key":"21_CR4","unstructured":"Erick Nyquist & Mats Herricson, \u201cPROGRAMMING in C++ Rules and Recommandations\u201d, Ellemtel Telecom. Systems Laboratories, r\u00e9f. M 900118 r\u00e9v. C."},{"key":"21_CR5","volume-title":"The C Programming Language","author":"K. Brian","year":"1978","unstructured":"Kernighan, Brian and Dennis Ritchie, \u201cThe C Programming Language\u201d, Englewood Cliffs NJ, 1978 (1st Ed.), 1988 (2nd Ed.), Prentice Hall.","edition":"1st Ed."},{"key":"21_CR6","unstructured":"Scott D. Meyers, \u201cEffective C++: 50 Specific Ways to Improve Your Programs and Designs\u201d, Addison-Wesley, 2nd edition (September 1997), ISBN: 0201924889."},{"key":"21_CR7","unstructured":"ISO\/IEC, \u201cSoftware product quality-Part 1: Quality model\u201d, ISO\/IEC FDIS 9126-1, 1999. See also ISO\/IEC 9126:1991(E)."},{"key":"21_CR8","doi-asserted-by":"crossref","unstructured":"J.-C. Laprie, (Ed.), \u201cDependability: Basic Concepts and Terminology\u201d, Dependable Computing and Fault Tolerance, Vol. 5, Vienna, Austria, Springer-Verlag, 1992.","DOI":"10.1007\/978-3-7091-9170-5"},{"key":"21_CR9","unstructured":"Richard Bache et Gualtiero Bazzana, \u201cSoftware Metrics for Product Assessment\u201d, McGraw-Hill, 1993."},{"key":"21_CR10","unstructured":"Rae, Robert and Hausen, \u201cSoftware Evaluation for Certification\u201d, International Software Quality Assurance Series, McGraw-Hill, ISBN 0-07-709042-X, 1995."},{"key":"21_CR11","unstructured":"Mayrand et al., \u201cEvaluating the Benefits of Clone Detection in the Software Maintenance Activities in Large Scale Systems\u201d, Workshop on Emp. Soft. Studies, Monterey, Nov., 96."},{"key":"21_CR12","doi-asserted-by":"crossref","unstructured":"M. E. Fagan, \u201cAdvances in Software Inspections\u201d, IEEE Trans. on Soft. Eng., Vol. SE-12, No7, July 1986.","DOI":"10.1109\/TSE.1986.6312976"},{"key":"21_CR13","doi-asserted-by":"crossref","unstructured":"Victor R. Basili, Richard W. Selby, \u201cComparing the Effectiveness of Software Testing Strategies\u201d IEEE Trans. on Soft. Eng., Vol. SE-13, No 12, December 1987.","DOI":"10.1109\/TSE.1987.232881"},{"key":"21_CR14","doi-asserted-by":"crossref","unstructured":"Edsger W. Dijkstra, \u201cGoto Statement Considered Harmful\u201d, Com. of the ACM, March 1968.","DOI":"10.1145\/362929.362947"}],"container-title":["Lecture Notes in Computer Science","Computer Safety, Reliability and Security"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-48249-0_21","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,27]],"date-time":"2019-05-27T19:00:33Z","timestamp":1558983633000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-48249-0_21"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1999]]},"ISBN":["9783540664888","9783540482499"],"references-count":14,"URL":"https:\/\/doi.org\/10.1007\/3-540-48249-0_21","relation":{},"ISSN":["0302-9743"],"issn-type":[{"type":"print","value":"0302-9743"}],"subject":[],"published":{"date-parts":[[1999]]}}}