{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,5,21]],"date-time":"2025-05-21T05:52:31Z","timestamp":1747806751982,"version":"3.40.3"},"publisher-location":"Berlin, Heidelberg","reference-count":34,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642029868"},{"type":"electronic","value":"9783642029875"}],"license":[{"start":{"date-parts":[[2009,1,1]],"date-time":"2009-01-01T00:00:00Z","timestamp":1230768000000},"content-version":"unspecified","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2009]]},"DOI":"10.1007\/978-3-642-02987-5_13","type":"book-chapter","created":{"date-parts":[[2009,6,30]],"date-time":"2009-06-30T12:56:22Z","timestamp":1246366582000},"page":"117-129","source":"Crossref","is-referenced-by-count":7,"title":["The Role of Contracts in Distributed Development"],"prefix":"10.1007","author":[{"given":"Martin","family":"Nordio","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Roman","family":"Mitin","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Bertrand","family":"Meyer","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Carlo","family":"Ghezzi","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Elisabetta","family":"Di Nitto","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Giordano","family":"Tamburrelli","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"13_CR1","unstructured":"DOSE 2007 (2007), http:\/\/se.ethz.ch\/teaching\/2007-f\/outsourcing-0273\/index.html"},{"key":"13_CR2","unstructured":"DOSE 2008 (2008), http:\/\/se.ethz.ch\/teaching\/2008-h\/dose-0273\/index.html"},{"key":"13_CR3","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., Leino, K.R.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":"13_CR4","doi-asserted-by":"crossref","unstructured":"Bruegge, B., Dutoit, A.H., Kobylinski, R., Teubner, G.: Transatlantic project courses in a university environment. In: 7th Asia-Pacific Software Engineering Conference (APSEC 2000), pp. 30\u201337 (2000)","DOI":"10.1109\/APSEC.2000.896680"},{"key":"13_CR5","doi-asserted-by":"crossref","unstructured":"Ciupa, I., Leitner, A., Oriol, M., Meyer, B.: ARTOO: Adaptive Random Testing for Object-Oriented Software. In: Proceedings of the 30th International Conference on Software Engineering 2008 (ICSE 2008) (May 2008)","DOI":"10.1109\/ICST.2008.20"},{"key":"13_CR6","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"27","DOI":"10.1007\/978-3-540-75542-5_3","volume-title":"Software Engineering Approaches for Offshore and Outsourced Development","author":"J.P. Corriveau","year":"2007","unstructured":"Corriveau, J.P.: Testable Requirements for Offshore Outsourcing. In: Meyer, B., Joseph, M. (eds.) SEAFOOD 2007. LNCS, vol.\u00a04716, pp. 27\u201343. Springer, Heidelberg (2007)"},{"key":"13_CR7","unstructured":"Damian, D., Lanubile, F., Mallardo, T.: Investigating IBIS in a Distributed Educational Environment: the Design of a Case Study. In: Workshop on Distributed Software Engineering, vol.\u00a01 (2005)"},{"key":"13_CR8","unstructured":"Computer\u00a0Science Event, http:\/\/www.informatics-europe.org\/cgi-bin\/informatics_events.cgi"},{"key":"13_CR9","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"44","DOI":"10.1007\/978-3-540-75542-5_4","volume-title":"Software Engineering Approaches for Offshore and Outsourced Development","author":"O. Gotel","year":"2007","unstructured":"Gotel, O., Kulkarni, V., Neak, L.C., Scharff, C., Seng, S.: Introducing Global Supply Chains into Software Engineering Education. In: Meyer, B., Joseph, M. (eds.) SEAFOOD 2007. LNCS, vol.\u00a04716, pp. 44\u201358. Springer, Heidelberg (2007)"},{"key":"13_CR10","series-title":"LNBIP","volume-title":"SEAFOOD 2008","author":"O. Gotel","year":"2009","unstructured":"Gotel, O., Kulkarni, V., Scharff, C., Neak, L.: Students as Partners and Students as Mentors: An Educational Model for Quality Assurance in Global Software Development. In: Berkling, K., Joseph, M., Meyer, B., Nordio, M. (eds.) SEAFOOD 2008. LNBIP, vol.\u00a016. Springer, Heidelberg (2009)"},{"key":"13_CR11","doi-asserted-by":"crossref","unstructured":"Guttag, J.V., Horning, J.J., Garl, S.J., Jones, K.D., Modet, A., Wing, J.M.: Larch: languages and tools for formal specification. Texts and Monographs in Computer Science (1993)","DOI":"10.1007\/978-1-4612-2704-5"},{"key":"13_CR12","first-page":"643","volume-title":"International Conference on Software Engineering","author":"M.J. Hawthorne","year":"2005","unstructured":"Hawthorne, M.J., Perry, D.E.: Software engineering education in the era of outsourcing, distributed development, and open source software: challenges and opportunities. In: International Conference on Software Engineering, vol.\u00a027, p. 643. Springer, Heidelberg (2005)"},{"issue":"2","key":"13_CR13","doi-asserted-by":"publisher","first-page":"16","DOI":"10.1109\/52.914732","volume":"18","author":"J.D. Herbsleb","year":"2001","unstructured":"Herbsleb, J.D., Moitra, D.: Global software development. IEEE Software\u00a018(2), 16\u201320 (2001)","journal-title":"IEEE Software"},{"key":"13_CR14","unstructured":"Holt, A.: Formal verification with natural language specifications: guidelines, experiments and lessons so far. South African Computer Journal, 253\u2013257 (1999)"},{"key":"13_CR15","unstructured":"IEEE: IEEE Recommended Practice for Software Requirements Specifiations. IEEE Std 830 (1998)"},{"key":"13_CR16","unstructured":"Introduction to Programming (Einf\u00fchrung in die Programmierung) - Chair of Software Engineering - ETH Zurich, http:\/\/se.ethz.ch\/teaching\/2008-h\/eprog-0001\/index.html"},{"issue":"2","key":"13_CR17","doi-asserted-by":"publisher","first-page":"256","DOI":"10.1145\/505145.505149","volume":"11","author":"D. Jackson","year":"2002","unstructured":"Jackson, D.: Alloy: a lightweight object modelling notation. ACM Transactions on Software Engineering and Methodology (TOSEM)\u00a011(2), 256\u2013290 (2002)","journal-title":"ACM Transactions on Software Engineering and Methodology (TOSEM)"},{"key":"13_CR18","series-title":"Kluwer International Series in Engineering and Computer Science","first-page":"175","volume-title":"JML: A notation for detailed design","author":"G. Leavens","year":"1999","unstructured":"Leavens, G., Baker, A., Ruby, C.: JML: A notation for detailed design. Kluwer International Series in Engineering and Computer Science, pp. 175\u2013188. Kluwer Academic Publishers, Dordrecht (1999)"},{"issue":"3","key":"13_CR19","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1145\/1127878.1127884","volume":"31","author":"G.T. Leavens","year":"2006","unstructured":"Leavens, G.T., Baker, A.L., Ruby, C.: Preliminary design of JML: A behavioral interface specification language for Java. ACM SIGSOFT Software Engineering Notes\u00a031(3), 1\u201338 (2006)","journal-title":"ACM SIGSOFT Software Engineering Notes"},{"key":"13_CR20","unstructured":"Traffic Library, http:\/\/traffic.origo.ethz.ch\/"},{"key":"13_CR21","doi-asserted-by":"crossref","unstructured":"Meyer, B., Piccioni, M.: The allure and risks of a deployable software engineering project. In: Proceedings of the 21st IEEE-CS Conference on Software Engineering Education and Training (2008)","DOI":"10.1109\/CSEET.2008.41"},{"issue":"1","key":"13_CR22","doi-asserted-by":"publisher","first-page":"6","DOI":"10.1109\/MS.1985.229776","volume":"2","author":"B. Meyer","year":"1985","unstructured":"Meyer, B.: On formalism in specifications. IEEE Software\u00a02(1), 6\u201326 (1985)","journal-title":"IEEE Software"},{"key":"13_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"},{"issue":"1","key":"13_CR24","doi-asserted-by":"publisher","first-page":"121","DOI":"10.1109\/MC.2006.37","volume":"39","author":"B. Meyer","year":"2006","unstructured":"Meyer, B.: The unspoken revolution in software engineering. IEEE Computer\u00a039(1), 121\u2013124 (2006)","journal-title":"IEEE Computer"},{"key":"13_CR25","series-title":"LNBIP","volume-title":"SEAFOOD 2008","author":"B. Meyer","year":"2009","unstructured":"Meyer, B.: Design and Code Reviews in the Age of the Internet. In: Berkling, K., Joseph, M., Meyer, B., Nordio, M. (eds.) SEAFOOD 2008. LNBIP, vol.\u00a016. Springer, Heidelberg (2009)"},{"key":"13_CR26","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"114","DOI":"10.1007\/978-3-540-69507-3_9","volume-title":"SOFSEM 2007: Theory and Practice of Computer Science","author":"B. Meyer","year":"2007","unstructured":"Meyer, B., Ciupa, I., Leitner, A., Liu, L.L.: Automatic testing of object-oriented software. In: van Leeuwen, J., Italiano, G.F., van der Hoek, W., Meinel, C., Sack, H., Pl\u00e1\u0161il, F. (eds.) SOFSEM 2007. LNCS, vol.\u00a04362, pp. 114\u2013129. Springer, Heidelberg (2007)"},{"key":"13_CR27","unstructured":"Meyer, B. (ed.): ISO\/ECMA Eiffel standard (Standard ECMA-367: Eiffel: Analysis, Design and Programming Language) (June 2006), http:\/\/www.ecma-international.org\/publications\/standards\/Ecma-367.htm"},{"key":"13_CR28","unstructured":"BTW Project, http:\/\/score.elet.polimi.it\/projects.html"},{"key":"13_CR29","first-page":"679","volume-title":"ICSE 2006: Proceedings of the 28th international conference on Software engineering","author":"I. Richardson","year":"2006","unstructured":"Richardson, I., Milewski, A.E., Mullick, N., Keil, P.: Distributed development: an education perspective on the global studio project. In: ICSE 2006: Proceedings of the 28th international conference on Software engineering, pp. 679\u2013684. ACM, New York (2006)"},{"key":"13_CR30","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"449","DOI":"10.1007\/978-3-540-49524-6_35","volume-title":"Conceptual Modeling \u2013 ER \u201998","author":"M. Richters","year":"1998","unstructured":"Richters, M., Gogolla, M.: On formalizing the UML object constraint language OCL. In: Ling, T.-W., Ram, S., Li Lee, M. (eds.) ER 1998. LNCS, vol.\u00a01507, pp. 449\u2013464. Springer, Heidelberg (1998)"},{"key":"13_CR31","doi-asserted-by":"crossref","unstructured":"Saeki, M., Horai, H., Enomoto, H.: Software development process from natural language specification. In: ICSE 1989: Proceedings of the 11th international conference on Software engineering (1989)","DOI":"10.1145\/74587.74594"},{"key":"13_CR32","unstructured":"SCORE, http:\/\/score.elet.polimi.it\/"},{"key":"13_CR33","doi-asserted-by":"crossref","unstructured":"Sutherland, J., Viktorov, A., Blount, J., Puntikov, N.: Distributed scrum: Agile project management with outsourced development teams. In: HICSS 1940, Hawaii International Conference on Software Systems (2007)","DOI":"10.1109\/HICSS.2007.180"},{"key":"13_CR34","unstructured":"UML, http:\/\/www.uml.org\/"}],"container-title":["Lecture Notes in Business Information Processing","Software Engineering Approaches for Offshore and Outsourced Development"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-02987-5_13","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,2,10]],"date-time":"2025-02-10T14:23:08Z","timestamp":1739197388000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-02987-5_13"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2009]]},"ISBN":["9783642029868","9783642029875"],"references-count":34,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-02987-5_13","relation":{},"ISSN":["1865-1348","1865-1356"],"issn-type":[{"type":"print","value":"1865-1348"},{"type":"electronic","value":"1865-1356"}],"subject":[],"published":{"date-parts":[[2009]]}}}