{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T17:50:44Z","timestamp":1725558644256},"publisher-location":"Berlin, Heidelberg","reference-count":40,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540203032"},{"type":"electronic","value":"9783540396567"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2003]]},"DOI":"10.1007\/978-3-540-39656-7_12","type":"book-chapter","created":{"date-parts":[[2010,6,29]],"date-time":"2010-06-29T14:35:52Z","timestamp":1277822152000},"page":"285-318","source":"Crossref","is-referenced-by-count":5,"title":["Finding Implicit Contracts in .NET Components"],"prefix":"10.1007","author":[{"given":"Karine","family":"Arnout","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Bertran","family":"Meyer","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"12_CR1","doi-asserted-by":"publisher","first-page":"14","DOI":"10.1109\/TOOLS.2001.941655","volume-title":"TOOLS 39 (39th International Conference and Exhibition on Technology of Object-Oriented Languages and Systems)","author":"K. Arnout","year":"2001","unstructured":"Arnout, K., Simon, R.: The.NET Contract Wizard: Adding Design by Contract to languages other than Eiffel. In: TOOLS 39 (39th International Conference and Exhibition on Technology of Object-Oriented Languages and Systems), July 2001, pp. 14\u201323. IEEE Computer Society, Los Alamitos (2001)"},{"key":"12_CR2","unstructured":"Arnout, K.: Eiffel for.NET: An Introduction. Component Developer Magazine (September- October 2002), Available from http:\/\/www.devx.com\/codemag\/Article\/8500 (Accessed October 2002)"},{"key":"12_CR3","unstructured":"Arnout, K., Meyer, B.: Extracting implicit contracts from.NET components. Microsoft Research Summer Workshop 2002, Cambridge, UK, September 9-11 (2002), Available from http:\/\/se.inf.ethz.ch\/publications\/arnout\/workshops\/microsoft_summer_research_workshop_2002\/contract_extraction.pdf (Accessed September 2002)"},{"key":"12_CR4","unstructured":"Arnout, K.: Extracting Implicit Contracts from.NET Libraries. 4th European GCSE Young Researchers Workshop 2002, in conjunction with NET.OBJECT DAYS 2002. Erfurt, Germany, October 7-10 (2002), IESE-Report No. 053.02\/E, October 21, 2002, p 20\u201324, Available from http:\/\/www.cs.uni-essen.de\/dawis\/conferences\/Node_YRW2002\/papers\/karine_arnout_gcse_final_copy.pdf (Accessed October 2002)"},{"key":"12_CR5","doi-asserted-by":"publisher","first-page":"104","DOI":"10.1145\/985072.985125","volume-title":"OOPSLA 2002 (17th ACM Conference on Object-Oriented Programming, Systems, Languages, and Applications), OOPSLA 2002 Companion","author":"K. Arnout","year":"2002","unstructured":"Arnout, K.: Extracting Implicit Contracts from.NET Libraries. In: OOPSLA 2002 (17th ACM Conference on Object-Oriented Programming, Systems, Languages, and Applications), OOPSLA 2002 Companion, Posters. Seattle USA, November 4-8, pp. 104\u2013105. ACM, New York (2002)"},{"key":"12_CR6","doi-asserted-by":"crossref","unstructured":"Arnout, K., Meyer, B.: Contrats cach\u00e9s en .NET: Mise au jour et ajout de contrats a posteriori. LMO 2003 (Langages et Mod\u00e8les \u00e0 Objets). Vannes, France, February 3-5(2003)","DOI":"10.3166\/objet.9.1-2.17-30"},{"key":"12_CR7","unstructured":"Arnout, K., Meyer, B.: Spotting hidden contracts: the.NET example (submitted for publication)"},{"key":"12_CR8","unstructured":"Barnett, M., Schulte, W.: Contracts, Components, and their Runtime Verification on the.NET Platform. Microsoft Research Technical Report TR 2002-38, April 2002, Available from ftp:\/\/ftp.research.microsoft.com\/pub\/tr\/tr-2002-38.pdf (Accessed April 2002)"},{"key":"12_CR9","unstructured":"Bezault, \u00c9.: Gobo Eiffel Lex and Gobo Eiffel Yacc. Retrieved (September 2002), from http:\/\/www.gobosoft.com"},{"key":"12_CR10","unstructured":"Eiffel Software Inc. EiffelBase. Retrieved (October 2002), from http:\/\/docs.eiffel.com\/libraries\/base\/index.html"},{"key":"12_CR11","unstructured":"Ernst, M.D.: Dynamically Detecting Likely Program Invariants. Ph.D. dissertation, University of Washington (2000), Available from http:\/\/pag.lcs.mit.edu\/~mernst\/pubs\/invariants-thesis.pdf (Accessed August 2002)"},{"issue":"2","key":"12_CR12","first-page":"1","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 TSE (Transactions on Software Engineering)\u00a027(2), 1\u201325 (2001), Available From http:\/\/pag.lcs.mit.edu\/~mernst\/pubs\/invariants-tse.pdf (Accessed August 2002)","journal-title":"IEEE TSE (Transactions on Software Engineering)"},{"key":"12_CR13","unstructured":"Ernst, M.D., Czeisler, A., Griswold, W.G., Notkin, D.: Quickly Detecting Relevant Program Invariants. In: ICSE 2000 (International Conference on Software Engineering), Limerick, Ireland, June 4-11 (2000), Available from http:\/\/pag.lcs.mit.edu\/~mernst\/pubs\/invariants-icse2000.pdf (Accessed August 2002)"},{"key":"12_CR14","unstructured":"Ernst, M.D., Griswold, W.G., Kataoka, Y., Notkin, D.: Dynamically Discovering Program Invariants Involving Collections. Technical Report, University of Washington (2000), Available from http:\/\/pag.lcs.mit.edu\/~mernst\/pubs\/invariantspointers.pdf (Accessed August 2002)"},{"key":"12_CR15","doi-asserted-by":"publisher","first-page":"271","DOI":"10.1007\/BF00289507","volume":"1","author":"C.A.R. Hoare","year":"1973","unstructured":"Hoare, C.A.R.: Proof of Correctness of Data Representations. Acta Infomatica\u00a01, 271\u2013281 (1973)","journal-title":"Acta Infomatica"},{"key":"12_CR16","unstructured":"Kataoka, Y., Ernst, M.D., Griswold, W.G., Notkin, D.: Automated Support for Program Refactoring using Invariants. In: ICSM 2001 (International Conference on Software Maintenance), Florence, Italy, November 6-10 (2001), Available from http:\/\/pag.lcs.mit.edu\/~mernst\/pubs\/invariants-refactor.pdf Accessed (August 2002)"},{"key":"12_CR17","doi-asserted-by":"crossref","unstructured":"Kennedy, A., Syme, D.: Design and Implementation of Generics for the.NET Common Language Runtime. In: PLDI 2001 (Conference on Programming Language Design and Implementation), Snowbird, Utah, USA, June 20-22 (2001), Available from http:\/\/research.microsoft.com\/projects\/clrgen\/generics.pdf Accessed (September 2002)","DOI":"10.1145\/378795.378797"},{"key":"12_CR18","unstructured":"Kennedy, A., Syme, D.: Generics for C# and.NET CLR (September 2002), Retrieved September 2002, from http:\/\/research.microsoft.com\/projects\/clrgen\/"},{"key":"12_CR19","unstructured":"McFarlane, K.: Design by Contract Framework for.Net (February 2002), Retrieved October 2002 from http:\/\/www.codeproject.com\/csharp\/designbycontract.asp , and http:\/\/www.codeproject.com\/csharp\/designbycontract.asp"},{"key":"12_CR20","volume-title":"Object-Oriented Software Construction","author":"B. Meyer","year":"1988","unstructured":"Meyer, B.: Object-Oriented Software Construction, 1st edn. Prentice Hall International, Englewood Cliffs (1988)","edition":"1"},{"key":"#cr-split#-12_CR21.1","unstructured":"Meyer, B.: Applying Design by Contract. Technical Report TR-EI-12\/CO, Interactive Software Engineering Inc. (1986);"},{"key":"#cr-split#-12_CR21.2","doi-asserted-by":"crossref","unstructured":"Published in IEEE Computer 25(10), 40\u201351 (October 1992);","DOI":"10.1109\/2.161279"},{"key":"#cr-split#-12_CR21.3","unstructured":"Also published as Mandrioli, D., Meyer, B. (eds.) Design by Contract in Advances in Object- Oriented Software Engineering, Prentice Hall, Reading, pp. 1\u201350 (1991), Available from http:\/\/www.inf.ethz.ch\/personal\/meyer\/publications\/computer\/contract.pdf (Accessed April 2002)"},{"key":"12_CR22","volume-title":"Reusable Software: The Base Object-Oriented Component Libraries","author":"B. Meyer","year":"1994","unstructured":"Meyer, B.: Reusable Software: The Base Object-Oriented Component Libraries. Prentice-Hall, Englewood Cliffs (1994)"},{"key":"12_CR23","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"},{"key":"12_CR24","unstructured":"Meyer, B., Simon, R., Stapf, E.: Instant.NET. Prentice-Hall, Englewood Cliffs (in preparation)"},{"key":"12_CR25","unstructured":"Meyer, B.: Design by Contract. Prentice Hall, Englewood Cliffs (in preparation)"},{"key":"12_CR26","volume-title":"Effective STL","author":"S. Meyers","year":"2001","unstructured":"Meyers, S.: Effective STL. Addison-Wesley, Reading (July 2001)"},{"key":"12_CR27","unstructured":"Microsoft .NET Collections library. Retrieved (June 2002), from http:\/\/msdn.microsoft.com\/library\/default.asp?url=\/library\/enus\/cpref\/html\/frlrfsystemcollections.asp"},{"key":"12_CR28","unstructured":"Microsoft.NET ArrayList class. Retrieved (June 2002), from http:\/\/msdn.microsoft.com\/library\/default.asp?url=\/library\/enus\/cpref\/html\/frlrfsystemcollectionsarraylistclasstopic.asp"},{"key":"12_CR29","unstructured":"Microsoft .NET ICollection interface. Retrieved (October 2002), from http:\/\/msdn.microsoft.com\/library\/default.asp?url=\/library\/enus\/cpref\/html\/frlrfsystemcollectionsicollectionclasstopic.asp"},{"key":"12_CR30","unstructured":"Microsoft Research. Current research, Programming Principles and Tools. Retrieved (November 2002), from http:\/\/research.microsoft.com\/research\/ppt\/"},{"key":"12_CR31","volume-title":"Design by Contract, by example","author":"R. Mitchell","year":"2002","unstructured":"Mitchell, R., McKim, J.: Design by Contract, by example. Addison-Wesley, Reading (2002)"},{"key":"12_CR32","unstructured":"NET Experts. ECMA TC39 TG2 and TG3 working documents. Retrieved (September 2002), from http:\/\/www.dotnetexperts.com\/ecma\/index.html"},{"key":"12_CR33","doi-asserted-by":"crossref","unstructured":"Nimmer, J.W., Ernst, M.D.: Invariant Inference for Static Checking: An Empirical Evaluation. In: FSE 2002 (10th International Symposium on the Foundations of Software Engineering) Proceedings of the ACM SIGSOFT, Charleston, SC, USA, November 20-22 (2002), Available from http:\/\/pag.lcs.mit.edu\/~mernst\/pubs\/esc-annotate.pdf (Accessed October 2002)","DOI":"10.1145\/587051.587054"},{"key":"12_CR34","doi-asserted-by":"crossref","unstructured":"Nimmer, J.W., Ernst, M.D.: Automatic generation of program specifications. In: ISSTA 2002 (International Symposium on Software Testing and Analysis), Rome, Italy, July 22-24 (2002), Available from http:\/\/pag.lcs.mit.edu\/~mernst\/pubs\/invariantsspecs.pdf (Accessed October 2002)","DOI":"10.1145\/566210.566213"},{"key":"12_CR35","unstructured":"ResolveCorp. eXtensible C#\u00a9 is here! Retrieved (May 2003), from http:\/\/www.resolvecorp.com\/products.htm"},{"key":"12_CR36","unstructured":"Simon, R., Stapf, E., Meyer, B.: Full Eiffel on.NET. MSDN, (July 2002), Available from http:\/\/msdn.microsoft.com\/library\/default.asp?url=\/library\/enus\/dndotnet\/html\/pdc_eiffel.asp (Accessed October 2002)"},{"key":"12_CR37","unstructured":"Software Engineering Institute. Volume II: Technical Concepts of Component-Based Software Engineering. CMU\/SEI-2000-TR-008 (2000), Available from http:\/\/www.sei.cmu.edu\/publications\/documents\/00.reports\/00tr008.html (Accessed June 2002)"},{"key":"12_CR38","doi-asserted-by":"crossref","unstructured":"Thomas, D.: The Deplorable State of Class Libraries. Journal of Object Technology (JOT), Vol.1(1) (May-June 2002), Available from http:\/\/www.jot.fm\/issues\/issue_2002_05\/column2 (Accessed June 2002)","DOI":"10.5381\/jot.2002.1.1.c2"}],"container-title":["Lecture Notes in Computer Science","Formal Methods for Components and Objects"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-540-39656-7_12","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,30]],"date-time":"2019-05-30T10:57:37Z","timestamp":1559213857000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-540-39656-7_12"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2003]]},"ISBN":["9783540203032","9783540396567"],"references-count":40,"URL":"https:\/\/doi.org\/10.1007\/978-3-540-39656-7_12","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2003]]}}}