{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T20:50:22Z","timestamp":1725569422155},"publisher-location":"Berlin, Heidelberg","reference-count":16,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642347061"},{"type":"electronic","value":"9783642347078"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2012]]},"DOI":"10.1007\/978-3-642-34707-8_10","type":"book-chapter","created":{"date-parts":[[2012,11,23]],"date-time":"2012-11-23T03:57:53Z","timestamp":1353643073000},"page":"89-98","source":"Crossref","is-referenced-by-count":0,"title":["OCE: An Online Colaborative Editor"],"prefix":"10.1007","author":[{"given":"C\u00e9sar","family":"Andr\u00e9s","sequence":"first","affiliation":[]},{"given":"Rui","family":"Abreu","sequence":"additional","affiliation":[]},{"given":"Alberto","family":"N\u00fa\u00f1ez","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"issue":"4","key":"10_CR1","doi-asserted-by":"publisher","first-page":"573","DOI":"10.1016\/j.jss.2010.11.915","volume":"84","author":"R. Abreu","year":"2011","unstructured":"Abreu, R., Zoeteweij, P., van Gemund, A.J.C.: Simultaneous debugging of software faults. Journal of Systems and Software\u00a084(4), 573\u2013586 (2011)","journal-title":"Journal of Systems and Software"},{"key":"10_CR2","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"13","DOI":"10.1007\/978-3-540-73066-8_2","volume-title":"Testing of Software and Communicating Systems","author":"A. Benharref","year":"2007","unstructured":"Benharref, A., Dssouli, R., Serhani, M.A., En-Nouaary, A., Glitho, R.: New Approach for EFSM-Based Passive Testing of Web Services. In: Petrenko, A., Veanes, M., Tretmans, J., Grieskamp, W. (eds.) TestCom\/FATES 2007. LNCS, vol.\u00a04581, pp. 13\u201327. Springer, Heidelberg (2007)"},{"issue":"1","key":"10_CR3","doi-asserted-by":"publisher","first-page":"40","DOI":"10.1109\/MC.2006.35","volume":"39","author":"J.P. Bowen","year":"2006","unstructured":"Bowen, J.P., Hinchey, M.G.: Ten commandments of formal methods... Ten years later. Computer\u00a039(1), 40\u201348 (2006)","journal-title":"Computer"},{"key":"10_CR4","doi-asserted-by":"publisher","first-page":"88","DOI":"10.1109\/TLT.2010.43","volume":"4","author":"R.A. Calvo","year":"2011","unstructured":"Calvo, R.A., O\u2019Rourke, S.T., Jones, J., Yacef, K., Reimann, P.: Collaborative writing support tools on the cloud. IEEE Transactions on Learning Technologies\u00a04, 88\u201397 (2011)","journal-title":"IEEE Transactions on Learning Technologies"},{"issue":"12","key":"10_CR5","doi-asserted-by":"publisher","first-page":"1172","DOI":"10.1016\/j.infsof.2006.06.006","volume":"48","author":"G.A. Lucca di","year":"2006","unstructured":"di Lucca, G.A., Fasolino, A.R.: Testing web-based applications: The state of the art and future trends. Information & Software Technology\u00a048(12), 1172\u20131186 (2006)","journal-title":"Information & Software Technology"},{"key":"10_CR6","unstructured":"Gobby a collaborative text editor, \n                    \n                      http:\/\/gobby.0x539.de\/trac\/wiki\/WikiStart"},{"key":"10_CR7","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"510","DOI":"10.1007\/978-3-642-13911-6_40","volume-title":"Web Engineering","author":"M. Goderbauer","year":"2010","unstructured":"Goderbauer, M., Goetz, M., Grosskopf, A., Meyer, A., Weske, M.: Syncro - Concurrent Editing Library for Google Wave. In: Benatallah, B., Casati, F., Kappel, G., Rossi, G. (eds.) ICWE 2010. LNCS, vol.\u00a06189, pp. 510\u2013513. Springer, Heidelberg (2010)"},{"key":"10_CR8","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1007\/978-3-540-24841-5_1","volume-title":"Reliable Software Technologies - Ada-Europe 2004","author":"M. Gogolla","year":"2004","unstructured":"Gogolla, M.: Benefits and Problems of Formal Methods. In: Llamos\u00ed, A., Strohmeier, A. (eds.) Ada-Europe 2004. LNCS, vol.\u00a03063, pp. 1\u201315. Springer, Heidelberg (2004)"},{"key":"10_CR9","doi-asserted-by":"crossref","unstructured":"Herrick, D.R.: Google this!: using google apps for collaboration and productivity. In: 37th Annual ACM SIGUCCS Fall Conference, SIGUCCS 2009, pp. 55\u201364. ACM (2009)","DOI":"10.1145\/1629501.1629513"},{"key":"10_CR10","doi-asserted-by":"crossref","unstructured":"Hierons, R.M., Bogdanov, K., Bowen, J.P., Cleaveland, R., Derrick, J., Dick, J., Gheorghe, M., Harman, M., Kapoor, K., Krause, P., Luettgen, G., Simons, A.J.H., Vilkomir, S., Woodward, M.R., Zedan, H.: Using formal methods to support testing. ACM Computing Surveys\u00a041(2) (2009)","DOI":"10.1145\/1459352.1459354"},{"key":"10_CR11","unstructured":"Hinchey, M.G.: Confessions of a formal methodist. In: 7th Australian Workshop on Safety-Critical Systems and Software, SCS 2002, pp. 17\u201320. Australian Computer Society (2002)"},{"key":"10_CR12","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"225","DOI":"10.1007\/978-3-642-02053-7_12","volume-title":"Coordination Models and Languages","author":"A. Imine","year":"2009","unstructured":"Imine, A.: Coordination Model for Real-Time Collaborative Editors. In: Field, J., Vasconcelos, V.T. (eds.) COORDINATION 2009. LNCS, vol.\u00a05521, pp. 225\u2013246. Springer, Heidelberg (2009)"},{"key":"10_CR13","doi-asserted-by":"crossref","unstructured":"Lavinia Ignat, C., Norrie, M.C.: Customizable collaborative editor relying on treeopt algorithm. In: Proc. of the European Conf. of Computer-supported Cooperative Work, pp. 315\u2013334. Kluwer Academic Publishers (2003)","DOI":"10.1007\/978-94-010-0068-0_17"},{"key":"10_CR14","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"372","DOI":"10.1007\/11888116_27","volume-title":"Formal Techniques for Networked and Distributed Systems - FORTE 2006","author":"M.G. Merayo","year":"2006","unstructured":"Merayo, M.G., N\u00fa\u00f1ez, M., Rodr\u00edguez, I.: Extending EFSMs to Specify and Test Timed Systems with Action Durations and Timeouts. In: Najm, E., Pradat-Peyre, J.-F., Donzeau-Gouge, V.V. (eds.) FORTE 2006. LNCS, vol.\u00a04229, pp. 372\u2013387. Springer, Heidelberg (2006)"},{"key":"10_CR15","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"103","DOI":"10.1007\/11759744_8","volume-title":"Formal Approaches to Software Testing","author":"M. N\u00fa\u00f1ez","year":"2006","unstructured":"N\u00fa\u00f1ez, M., Rodr\u00edguez, I.: Conformance Testing Relations for Timed Systems. In: Grieskamp, W., Weise, C. (eds.) FATES 2005. LNCS, vol.\u00a03997, pp. 103\u2013117. Springer, Heidelberg (2006)"},{"issue":"4","key":"10_CR16","doi-asserted-by":"publisher","first-page":"64","DOI":"10.1145\/232069.232086","volume":"21","author":"D.S. Rosenblum","year":"1996","unstructured":"Rosenblum, D.S.: Formal methods and testing: why the state-of-the art is not the state-of-the practice. ACM SIGSOFT Software Engineering Notes\u00a021(4), 64\u201366 (1996)","journal-title":"ACM SIGSOFT Software Engineering Notes"}],"container-title":["Lecture Notes in Computer Science","Computational Collective Intelligence. Technologies and Applications"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-34707-8_10.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,5,4]],"date-time":"2021-05-04T09:03:27Z","timestamp":1620119007000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-34707-8_10"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2012]]},"ISBN":["9783642347061","9783642347078"],"references-count":16,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-34707-8_10","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2012]]}}}