{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,1,12]],"date-time":"2025-01-12T00:40:15Z","timestamp":1736642415645,"version":"3.32.0"},"publisher-location":"Berlin, Heidelberg","reference-count":83,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540368212"},{"type":"electronic","value":"9783540368236"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2006]]},"DOI":"10.1007\/11808107_1","type":"book-chapter","created":{"date-parts":[[2006,11,20]],"date-time":"2006-11-20T12:30:27Z","timestamp":1164025827000},"page":"1-33","source":"Crossref","is-referenced-by-count":8,"title":["Dependable Software"],"prefix":"10.1007","author":[{"given":"Bertrand","family":"Meyer","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"1_CR1","unstructured":"Avizienis, A., Laprie, J.-C., Randell, B.: Fundamental Concepts of Dependability. In: Proceedings of Third Information Survivability Report, pp. 7\u201312 (October 2000), available among other places at: http:\/\/citeseer.ist.psu.edu\/article\/avizienis01fundamental.html"},{"key":"1_CR2","doi-asserted-by":"publisher","first-page":"593","DOI":"10.1007\/BF00291051","volume":"25","author":"R. Back","year":"1988","unstructured":"Back, R.: A Calculus of Refinements for Program Derivations. Acta Informatica\u00a025, 593\u2013624 (1988), available at www.crest.cs.abo.fi\/publications\/public\/1988\/ACalculusOfRefinementsForProgramDerivationsA.pdf","journal-title":"Acta Informatica"},{"key":"1_CR3","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"103","DOI":"10.1007\/3-540-45139-0_7","volume-title":"Model Checking Software","author":"T. Ball","year":"2001","unstructured":"Ball, T., Rajamani, S.K.: Automatically Validating Temporal Safety Properties of Interfaces. In: Dwyer, M.B. (ed.) SPIN 2001. LNCS, vol.\u00a02057, pp. 103\u2013122. Springer, Heidelberg (2001), available at: tinyurl.com\/qrm9m"},{"key":"1_CR4","doi-asserted-by":"crossref","first-page":"27","DOI":"10.5381\/jot.2004.3.6.a2","volume":"3","author":"M. Barnett","year":"2004","unstructured":"Barnett, M., DeLine, R., F\u00e4hndrich, M., Leino, K.R.M., Schulte, W.: Verification of object-oriented programs with invariants. Journal of Object Technology 3(6); Special issue: ECOOP 2003 workshop on Formal Techniques for Java-like Programs, June 2004, pp. 27\u201356 (2004), available at: www.jot.fm\/issues\/issue_2004_06\/article2","journal-title":"Journal of Object Technology"},{"key":"1_CR5","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"49","DOI":"10.1007\/978-3-540-30569-9_3","volume-title":"Construction and Analysis of Safe, Secure, and Interoperable Smart Devices","author":"M. Barnett","year":"2005","unstructured":"Barnett, M., Rustan, K., Leino, M., Schulte, W.: The Spec# Programming System: An Overview. In: Barthe, G., Burdy, L., Huisman, M., Lanet, J.-L., Muntean, T. (eds.) CASSIS 2004. LNCS, vol.\u00a03362, pp. 49\u201369. Springer, Heidelberg (2005)"},{"key":"1_CR6","volume-title":"Extreme Programming Explained: Embrace Change","author":"K. Beck","year":"2004","unstructured":"Beck, K., Andres, C.: Extreme Programming Explained: Embrace Change, 2nd edn. Addison-Wesley, Reading (2004)","edition":"2"},{"key":"1_CR7","unstructured":"Bezault, \u00c9.: Gobo Eiffel Test, online documentation at, http:\/\/www.gobosoft.com\/eiffel\/gobo\/getest\/index.html"},{"key":"1_CR8","volume-title":"Testing Object-Oriented Systems: Models, Patterns, and Tools","author":"R. Binder","year":"1999","unstructured":"Binder, R.: Testing Object-Oriented Systems: Models, Patterns, and Tools. Addison-Wesley, Reading (1999)"},{"key":"1_CR9","doi-asserted-by":"crossref","unstructured":"Blanchet, B., Cousot, P., Cousot, R., Feret, J., Mauborgne, L., Min\u00e9, A., Monniaux, D., Rival, X.: ASTR\u00c9E: A Static Analyzer for Large Safety-Critical Software. In: Applied Deductive Verification, Dagstuhl Seminar 3451 (November 2003), available at: www.di.ens.fr\/~cousot\/COUSOTtalks\/Dagstuhl-3451-2003.shtml See also ASTR\u00c9E page at: www.astree.ens.fr","DOI":"10.1145\/780822.781153"},{"key":"1_CR10","volume-title":"Software Engineering Economics","author":"B.W. Boehm","year":"1981","unstructured":"Boehm, B.W.: Software Engineering Economics. Prentice Hall, Englewood Cliffs (1981)"},{"issue":"5","key":"1_CR11","doi-asserted-by":"publisher","first-page":"61","DOI":"10.1109\/2.59","volume":"21","author":"B.W. Boehm","year":"1988","unstructured":"Boehm, B.W.: A Spiral Model of Software Development and Enhancement. Computer (IEEE)\u00a021(5), 61\u201372 (1988)","journal-title":"Computer (IEEE)"},{"key":"1_CR12","volume-title":"Software Cost Estimation with COCOMO II","author":"B.W. Boehm","year":"2000","unstructured":"Boehm, B.W., et al.: Software Cost Estimation with COCOMO II. Prentice Hall, Englewood Cliffs (2000)"},{"key":"1_CR13","doi-asserted-by":"crossref","unstructured":"Boyapati, C., Khurshid, S., Marinov, D.: Korat: Automated Testing Based on Java Predicates. In: Proceedings of the 2002 International Symposium on Software Testing and Analysis (ISSTA), Rome, July 22\u201324 (2002), available at: tinyurl.com\/qwwd3","DOI":"10.1145\/566189.566191"},{"key":"1_CR14","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"320","DOI":"10.1007\/978-3-540-30502-6_23","volume-title":"Advances in Computer Science - ASIAN 2004. Higher-Level Decision Making","author":"T.Y. Chen","year":"2004","unstructured":"Chen, T.Y., Leung, H., Mak, I.K.: Adaptive random testing. In: Maher, M.J. (ed.) ASIAN 2004. LNCS, vol.\u00a03321, pp. 320\u2013329. Springer, Heidelberg (2004), tinyurl.com\/lpxn5"},{"key":"1_CR15","unstructured":"Ciupa, I., Leitner, A.: Automated Testing Based on Design by Contract. In: Proceedings of Net.ObjectsDays 2005, 6th Annual Conference on Object-Oriented and Internet-Based Technologies, Concepts and Applications for a Networked World, pp. 545\u2013557 (2005), se.ethz.ch\/people\/ciupa\/papers\/soqua05.pdf , see also AutoTest page at: se.ethz.ch\/research\/autotest"},{"key":"1_CR16","doi-asserted-by":"crossref","unstructured":"Ciupa, I., Leitner, A., Oriol, M., Meyer, B.: Object Distance and its Application to Adaptive Random testing of Object-Oriented Programs (2006) (submitted for publication), available at: se.ethz.ch\/~meyer\/publications\/testing\/object_distance.pdf","DOI":"10.1145\/1145735.1145744"},{"key":"1_CR17","volume-title":"Model Checking","author":"E.M. Clarke Jr.","year":"1999","unstructured":"Clarke Jr., E.M., Grumberg, O., Peled, D.A.: Model Checking. MIT Press, Cambridge (1999)"},{"key":"1_CR18","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"243","DOI":"10.1007\/978-3-540-39910-0_11","volume-title":"Verification: Theory and Practice","author":"P. Cousot","year":"2004","unstructured":"Cousot, P.: Verification by Abstract Interpretation. In: Dershowitz, N. (ed.) Verification: Theory and Practice. LNCS, vol.\u00a02772, pp. 243\u2013268. Springer, Heidelberg (2004)"},{"key":"1_CR19","volume-title":"Microsoft Secrets","author":"M. Cusumano","year":"1995","unstructured":"Cusumano, M., Selby, R.: Microsoft Secrets. The Free Press, New York (1995)"},{"key":"1_CR20","volume-title":"Structured Programming","author":"O.-J. Dahl","year":"1971","unstructured":"Dahl, O.-J., Dijkstra, E.W., Hoare, C.A.R.: Structured Programming. Academic Press, London (1971)"},{"key":"1_CR21","unstructured":"Detlefs, D.L., Rustan, K., Leino, M., Nelson, G., Saxe, J.B.: Extended Static Checking, Research Report 159, Compaq Systems Research Center (December 1998), available at: ftp:\/\/gatekeeper.research.compaq.com\/pub\/DEC\/SRC\/researchreports\/SRC-159.pdf"},{"issue":"3","key":"1_CR22","doi-asserted-by":"publisher","first-page":"147","DOI":"10.1145\/362929.362947","volume":"11","author":"E.W. Dijkstra","year":"1968","unstructured":"Dijkstra, E.W.: Go To Statement Considered Harmful. Communications of the ACM\u00a011(3), 147\u2013148 (1968), http:\/\/www.acm.org\/classics\/oct95\/","journal-title":"Communications of the ACM"},{"key":"1_CR23","unstructured":"Dijkstra, E.W.: Notes on Structured Programming. In: [20]; original typescript, available at: http:\/\/www.cs.utexas.edu\/users\/EWD\/ewd02xx\/EWD249.PDF"},{"key":"1_CR24","volume-title":"A Discipline of Programming","author":"E.W. Dijkstra","year":"1978","unstructured":"Dijkstra, E.W.: A Discipline of Programming. Prentice Hall, Englewood Cliffs (1978)"},{"key":"1_CR25","volume-title":"Function Point Analysis","author":"B.J. Dreger","year":"1989","unstructured":"Dreger, B.J.: Function Point Analysis. Prentice Hall, Englewood Cliffs (1989)"},{"key":"1_CR26","unstructured":"Dubois, P., Howard, M., Meyer, B., Schweitzer, M., Stapf, E.: From Calls to Agents. Journal of Object-Oriented Programming (JOOP)\u00a012(6) (September 1999), available at: se.ethz.ch\/~meyer\/publications\/joop\/agent.pdf"},{"key":"1_CR27","unstructured":"Eclipse pages at, http:\/\/www.eclipse.org"},{"key":"1_CR28","unstructured":"ECMA\/ISO: Eiffel: Analysis, Design and Programming Language, standard ECMA 367, as ISO standard (accepted, April 2006), available at: http:\/\/www.ecmainternational.org\/publications\/standards\/Ecma-367.htm"},{"key":"1_CR29","unstructured":"Eiffel open-source development site at: eiffelsoftware.origo.ethz.ch\/index.php\/Main_Page"},{"key":"1_CR30","unstructured":"Eiffel Software: EiffelStudio documentation online at: eiffel.com"},{"issue":"2","key":"1_CR31","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1109\/32.908957","volume":"27","author":"M.D. Ernst","year":"2001","unstructured":"Ernst, M.D., Cockrell, J., Griswold, W.G., Notkin, D.: Dynamically Discovering Likely Program Invariants to Support Program Evolution. IEEE Transactions on Software Engineering\u00a027(2), 1\u201325 (2001), pag.csail.mit.edu\/~mernst\/pubs\/invariants-tse2001.pdf","journal-title":"IEEE Transactions on Software Engineering"},{"key":"1_CR32","volume-title":"Design Patterns","author":"E. Gamma","year":"1994","unstructured":"Gamma, E., Helms, R., Johnson, R., Vlissides, J.: Design Patterns. Addison-Wesley, Reading (1994)"},{"key":"1_CR33","volume-title":"Software Engineering","author":"C. Ghezzi","year":"2003","unstructured":"Ghezzi, C., Jazayeri, M., Mandrioli, D.: Software Engineering, 2nd edn. Prentice Hall, Englewood Cliffs (2003)","edition":"2"},{"key":"1_CR34","unstructured":"Hamlet, R.: Random Testing. In: Marciniak, J.J. (ed.) Encyclopedia of Software Engineering (1994), available at: tinyurl.com\/rcjxg"},{"key":"1_CR35","volume-title":"Object-Oriented Metrics: Measures of Complexity","author":"B. Henderson-Sellers","year":"1995","unstructured":"Henderson-Sellers, B.: Object-Oriented Metrics: Measures of Complexity. Prentice Hall, Englewood Cliffs (1995)"},{"key":"1_CR36","doi-asserted-by":"crossref","unstructured":"Henzinger, T.A., Nicollin, X., Sifakis, J., Yovine, S.: Symbolic Model Checking for Real-Time Systems. In: Logic in Computer Science, Proceedings of 7th Symposium in Logics for Computer Science, Santa Cruz, California, pp. 394\u2013406 (1992), available at: tinyurl.com\/lb5fm","DOI":"10.1109\/LICS.1992.185551"},{"issue":"10","key":"1_CR37","doi-asserted-by":"publisher","first-page":"576","DOI":"10.1145\/363235.363259","volume":"12","author":"C.A.R. Hoare","year":"1969","unstructured":"Hoare, C.A.R.: An axiomatic basis for computer programming. Communications of the ACM\u00a012(10), 576\u2013580 (1969), available at: tinyurl.com\/ory2s","journal-title":"Communications of the ACM"},{"key":"1_CR38","unstructured":"Hoare, C.A.R., Misra, J.: Verified Software: Theories, Tools, Experiments. In: Vision of a Grand Challenge Project, foundation paper for the VSTTE conference [77] (October 2005), available at: vstte.ethz.ch\/pdfs\/vstte-hoare-misra.pdf"},{"key":"1_CR39","unstructured":"IFIPWorking Group 10.4 on dependable computing and fault tolerance: home page at: http:\/\/www.dependability.org"},{"key":"1_CR40","volume-title":"Problem Frames: Analysing and Structuring Software Development Problems","author":"M. Jackson","year":"2001","unstructured":"Jackson, M.: Problem Frames: Analysing and Structuring Software Development Problems. Addison-Wesley, Reading (2001)"},{"issue":"1","key":"1_CR41","doi-asserted-by":"publisher","first-page":"129","DOI":"10.1109\/2.562936","volume":"30","author":"J.-M. J\u00e9z\u00e9quel","year":"1997","unstructured":"J\u00e9z\u00e9quel, J.-M., Meyer, B.: Design by Contract: The Lessons of Ariane. Computer (IEEE)\u00a030(1), 129\u2013130 (1997), available at: archive.eiffel.com\/doc\/manuals\/technology\/contract\/ariane\/page.html","journal-title":"Computer (IEEE)"},{"key":"1_CR42","unstructured":"JUnit pages at SourceForge: junit.sourceforge.net"},{"key":"1_CR43","unstructured":"Leavens, G.T., Cheon, Y.: Design by Contract with JML (Draft), at: ftp:\/\/ftp.cs.iastate.edu\/pub\/leavens\/JML\/jmldbc.pdf , see also other JML papers at: www.cs.iastate.edu\/~leavens\/JML\/"},{"key":"1_CR44","doi-asserted-by":"crossref","unstructured":"Leitner, A., Ciupa, I., Meyer, B., Howard, M.: Reconciling Manual and Automated Testing: The AutoTest Experience (submitted for publication, 2006)","DOI":"10.1109\/HICSS.2007.462"},{"key":"1_CR45","doi-asserted-by":"crossref","unstructured":"Leveson, N.G.: System Safety in Computer-Controlled Automotive Systems, SAE Congress (March 2000), available at: sunnyday.mit.edu\/papers\/sae.pdf","DOI":"10.4271\/2000-01-1048"},{"volume-title":"Handbook of Software Reliability Engineering","year":"1995","key":"1_CR46","unstructured":"Lyu, M.R. (ed.): Handbook of Software Reliability Engineering. IEEE Computer Society Press and McGraw-Hill, Los Alamitos (1995), also available online at: www.cse.cuhk.edu.hk\/~lyu\/book\/reliability\/"},{"key":"1_CR47","doi-asserted-by":"crossref","DOI":"10.1007\/978-1-4612-0931-7","volume-title":"The temporal logic of reactive and concurrent systems","author":"Z. Manna","year":"1992","unstructured":"Manna, Z., Pnueli, A.: The temporal logic of reactive and concurrent systems. Springer, Heidelberg (1992)"},{"issue":"4","key":"1_CR48","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(4), 308\u2013320 (1976)","journal-title":"IEEE Transactions on Software Engineering"},{"issue":"12","key":"1_CR49","doi-asserted-by":"publisher","first-page":"1415","DOI":"10.1145\/76380.76382","volume":"32","author":"T.J. McCabe","year":"1989","unstructured":"McCabe, T.J., Butler, C.W.: Design Complexity Measurement and Testing. Communications of the ACM\u00a032(12), 1415\u20131425 (1989)","journal-title":"Communications of the ACM"},{"key":"1_CR50","volume-title":"Introduction to the Theory of Programming Languages","author":"B. Meyer","year":"1990","unstructured":"Meyer, B.: Introduction to the Theory of Programming Languages. Prentice Hall, Englewood Cliffs (1990)"},{"key":"1_CR51","volume-title":"Advances in Object-Oriented Software Engineering","author":"B. Meyer","year":"1991","unstructured":"Meyer, B.: The New Culture of Software Development: Reflections on the Practice of Object-Oriented Design. In: Mandrioli, D., Meyer, B. (eds.) Advances in Object-Oriented Software Engineering. Prentice Hall, Englewood Cliffs (1991)"},{"key":"1_CR52","volume-title":"Eiffel: The Language","author":"B. Meyer","year":"1992","unstructured":"Meyer, B.: Eiffel: The Language, 2nd printing. Prentice Hall, Englewood Cliffs (1992)","edition":"2"},{"issue":"10","key":"1_CR53","doi-asserted-by":"publisher","first-page":"40","DOI":"10.1109\/2.161279","volume":"25","author":"B. Meyer","year":"1992","unstructured":"Meyer, B.: Applying Design by Contract. Computer (IEEE)\u00a025(10), 40\u201351 (1992)","journal-title":"Computer (IEEE)"},{"key":"1_CR54","volume-title":"Object Success","author":"B. Meyer","year":"1995","unstructured":"Meyer, B.: Object Success. Prentice Hall, Englewood Cliffs (1995)"},{"key":"1_CR55","doi-asserted-by":"crossref","unstructured":"Meyer, B.: Practice to Perfect: The Quality First Model. In: Computer (IEEE), May 1997, pp. 102\u2013106 (1997), available at: se.ethz.ch\/~meyer\/publications\/computer\/quality_first.pdf","DOI":"10.1109\/2.589917"},{"key":"1_CR56","unstructured":"Meyer, B.: UML: The Positive Spin. American Programmer (1997), available at: archive.eiffel.com\/doc\/manuals\/technology\/bmarticles\/uml\/page.html"},{"key":"1_CR57","volume-title":"Object-Oriented Software Construction","author":"B. Meyer","year":"1997","unstructured":"Meyer, B.: Object-Oriented Software Construction, 2nd edn. Prentice-Hall, Englewood Cliffs (1997)","edition":"2"},{"issue":"5","key":"1_CR58","doi-asserted-by":"publisher","first-page":"104","DOI":"10.1109\/2.675643","volume":"31","author":"B. Meyer","year":"1998","unstructured":"Meyer, B., Mingins, C., Schmidt, H.: Providing Trusted Components to the Industry. Computer (IEEE)\u00a031(5), 104\u2013105 (1998), available at: se.ethz.ch\/~meyer\/publications\/computer\/trusted.pdf","journal-title":"Computer (IEEE)"},{"issue":"11","key":"1_CR59","doi-asserted-by":"publisher","first-page":"123","DOI":"10.1109\/2.730743","volume":"31","author":"B. Meyer","year":"1998","unstructured":"Meyer, B.: The Role of Object-Oriented Metrics. Computer (IEEE)\u00a031(11), 123\u2013125 (1998), available at: se.ethz.ch\/~meyer\/publications\/computer\/metrics","journal-title":"Computer (IEEE)"},{"issue":"11","key":"1_CR60","doi-asserted-by":"crossref","first-page":"131","DOI":"10.1109\/2.803646","volume":"32","author":"B. Meyer","year":"1999","unstructured":"Meyer, B.: Every Little Bit Counts: Towards Reliable Software. Computer IEEE_,\u00a032(11), 131\u2013133 (1999), available at: se.ethz.ch\/~meyer\/publications\/computer\/reliable.pdf","journal-title":"Computer IEEE_,"},{"key":"1_CR61","volume-title":"ICSE 25 International Conference on Software Engineering","author":"B. Meyer","year":"2003","unstructured":"Meyer, B.: The Grand Challenge of Trusted Components. In: ICSE 25 International Conference on Software Engineering, Portland, Oregon, May 2003. IEEE Computer Press, Los Alamitos (2003)"},{"key":"1_CR62","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"236","DOI":"10.1007\/978-3-540-39993-3_13","volume-title":"From Object-Orientation to Formal Methods","author":"B. Meyer","year":"2004","unstructured":"Meyer, B.: The Power of Abstraction, Reuse, and Simplicity: An Object-Oriented Library for Event-Driven Design. In: Owe, O., Krogdahl, S., Lyche, T. (eds.) From Object-Orientation to Formal Methods. LNCS, vol.\u00a02635, pp. 236\u2013271. Springer, Heidelberg (2004), available at: se.ethz.ch\/~meyer\/publications\/lncs\/events.pdf."},{"key":"1_CR63","doi-asserted-by":"crossref","unstructured":"Meyer, B.: Offshore Development: The Unspoken Revolution in Software Engineering. Computer (IEEE), 122\u2013124 (January 2006), available at: se.ethz.ch\/~meyer\/publications\/computer\/outsourcing.pdf","DOI":"10.1109\/MC.2006.37"},{"key":"1_CR64","unstructured":"Meyer, B.: What will remain of Extreme Programming? EiffelWorld 5(2), (February 2006), available at: http:\/\/www.eiffel.com\/general\/monthly_column\/2006\/February.html"},{"key":"1_CR65","doi-asserted-by":"crossref","unstructured":"Meyer, B., Arnout, K.: Componentization: the Visitor Example. Computer (IEEE) (to appear, 2006), draft available at: se.ethz.ch\/~meyer\/publications\/computer\/visitor.pdf","DOI":"10.1109\/MC.2006.227"},{"key":"1_CR66","unstructured":"Microsoft: Visual Studio pages at msdn: http:\/\/microsoft.com\/vstudio"},{"key":"1_CR67","volume-title":"Design by Contract by Example","author":"R. Mitchell","year":"2001","unstructured":"Mitchell, R., McKim, J.: Design by Contract by Example. Addison-Wesley, Reading (2001)"},{"key":"1_CR68","volume-title":"Programming from Specifications","author":"C. Morgan","year":"1994","unstructured":"Morgan, C.: Programming from Specifications, 2nd edn. Prentice Hall, Englewood Cliffs (1994), available at: web.comlab.ox.ac.uk\/oucl\/publications\/books\/PfS\/","edition":"2"},{"key":"1_CR69","volume-title":"Software Reliability Engineering","author":"J. Musa","year":"1998","unstructured":"Musa, J.: Software Reliability Engineering, 2nd edn. McGraw-Hill, New York (1998)","edition":"2"},{"key":"1_CR70","volume-title":"The Art of Software Testing","author":"G.J. Myers","year":"2004","unstructured":"Myers, G.J., Sandler, C., Badgett, T., Thomas, T.M.: The Art of Software Testing, 2nd edn. Wiley, Chichester (2004)","edition":"2"},{"key":"1_CR71","unstructured":"Offutt, J.: Mutation testing papers at: http:\/\/www.ise.gmu.edu\/~ofut\/rsrch\/mut.html"},{"key":"1_CR72","unstructured":"Pincus, J.: presentations (mostly PowerPoint slides) on PREfix and PREfast at: research.microsoft.com\/users\/jpincus\/"},{"key":"1_CR73","unstructured":"Raymond, E.: The Cathedral and the Bazaar: Musings on Linux and Open Source by an Accidental Revolutionary, O\u2019 Reilly (1999), earlier version available at: http:\/\/www.firstmonday.org\/issues\/issue3_3\/raymond\/"},{"key":"1_CR74","unstructured":"Software Engineering Institute, CMMI site, available at: http:\/\/www.sei.cmu.edu\/cmmi"},{"key":"1_CR75","doi-asserted-by":"crossref","unstructured":"Stephens, M., Rosenberg, D.: Extreme Programming Refactored: The Case Against XP. aPress (2003)","DOI":"10.1007\/978-1-4302-0810-5"},{"key":"1_CR76","unstructured":"van Lamsweerde, A.: Goal-Oriented Requirements Engineering: A Guided Tour. In: Proceedings of the 5th IEEE International Symposium on Requirements Engineering (August 2001), available at: tinyurl.com\/mscpj"},{"key":"1_CR77","unstructured":"Verified Software: Theories, Tools, Experiments: International IFIP conference, ETH Zurich (October 2005), see VSTTE conference site at: vstte.ethz.ch"},{"key":"1_CR78","unstructured":"Viega, J.: The Myth of Open-Source Security (2000), available at: www.developer.com\/tech\/article.php\/626641 , follow-up article, Open-Source Security: Still at Myth (September 2004), available at: www.onlamp.com\/pub\/a\/security\/2004\/09\/16\/open_source_security_myths.html"},{"key":"1_CR79","volume-title":"Software Fault Injection: Inoculating Programs Against Errors","author":"J.M. Voas","year":"1998","unstructured":"Voas, J.M., McGraw, G.: Software Fault Injection: Inoculating Programs Against Errors. Wiley, Chichester (1998)"},{"key":"1_CR80","volume-title":"The Object Constraint Language: Getting Your Models Ready for MDA","author":"J. Warmer","year":"2003","unstructured":"Warmer, J., Kleppe, A.: The Object Constraint Language: Getting Your Models Ready for MDA, 2nd edn. Addison-Wesley, Reading (2003)","edition":"2"},{"issue":"9","key":"1_CR81","first-page":"97","volume":"17","author":"E.J. Weyuker","year":"1991","unstructured":"Weyuker, E.J., Jeng, B.: Analyzing Partition Testing Strategies. IEEE Transactions on Software Engineering\u00a017(9), 97\u2013108 (1991)","journal-title":"IEEE Transactions on Software Engineering"},{"key":"1_CR82","unstructured":"Wikipedia: entry \u201c Mars Climate Orbiter\u201d, available at: en.wikipedia.org\/wiki\/Mars_Climate_Orbiter"},{"issue":"3","key":"1_CR83","doi-asserted-by":"publisher","first-page":"79","DOI":"10.1109\/52.382191","volume":"12","author":"E. Yourdon","year":"1995","unstructured":"Yourdon, E.: When Good Enough Software Is Best. Software (IEEE)\u00a012(3), 79\u201381 (1995)","journal-title":"Software (IEEE)"}],"container-title":["Lecture Notes in Computer Science","Dependable Systems: Software, Computing, Networks"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/11808107_1.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,1,12]],"date-time":"2025-01-12T00:26:58Z","timestamp":1736641618000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/11808107_1"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2006]]},"ISBN":["9783540368212","9783540368236"],"references-count":83,"URL":"https:\/\/doi.org\/10.1007\/11808107_1","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2006]]}}}