{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,6]],"date-time":"2024-09-06T23:12:51Z","timestamp":1725664371014},"publisher-location":"Berlin, Heidelberg","reference-count":21,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540592051"},{"type":"electronic","value":"9783540492245"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1995]]},"DOI":"10.1007\/3-540-59205-9_63","type":"book-chapter","created":{"date-parts":[[2012,2,26]],"date-time":"2012-02-26T12:08:36Z","timestamp":1330258116000},"page":"220-239","source":"Crossref","is-referenced-by-count":2,"title":["Stepwise specification of interactive processes in COO"],"prefix":"10.1007","author":[{"given":"Claude","family":"Godart","sequence":"first","affiliation":[]},{"given":"D.","family":"Dietrich","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2005,6,2]]},"reference":[{"unstructured":"F. Bancilhon, W. Kim and H. Korth. A Model for CAD Transactions. In Proceedings of the 11th international conference on VLDB, pages 25\u201333, Stockholm, august 1985.","key":"30_CR1"},{"doi-asserted-by":"crossref","unstructured":"S. Bandinelli, M. Braga, A. Fuggetta and L. Lavazza. The architecture of spade-1 process centred see. In EWSPT3, Villard de Lans, 1994. LNCS772.","key":"30_CR2","DOI":"10.1007\/3-540-57739-4_3"},{"unstructured":"N. S. Barghouti. Concurrency Control in Rule-Based Software Development Environments. PhD thesis, Columbia University, 1992. Technical Report CUCS-001-92.","key":"30_CR3"},{"doi-asserted-by":"crossref","unstructured":"C. Beeri, H-J. Scheck and G. Weikum. Multilevel transaction management: Theorical or practical need? In LNCS 303, editor, Advanced Database Technology Conference, pages 134\u2013154, march 1988.","key":"30_CR4","DOI":"10.1007\/3-540-19074-0_51"},{"doi-asserted-by":"crossref","unstructured":"I. Campbell. Portable Common Tool Environment. Computer Standard and Interfaces, 8, 1988.","key":"30_CR5","DOI":"10.1016\/0920-5489(88)90079-7"},{"unstructured":"G. Canals, F. Charoy, C. Godart and P. Molli. P-Root & COO: extending PCTE with new capabilities. In ICSE Workshop on Databases for Software Engineering, 1994.","key":"30_CR6"},{"unstructured":"G. Canals, F. Charoy, C. Godart and P. Molli. The COO group. In CSCW94 Workshop on Relationships between CSCW and Software Process research, 1994.","key":"30_CR7"},{"unstructured":"F. Charoy. An Object Oriented Layer on PCTE. In Ian Campbell, editor, PCTE'93 conference, November 1993.","key":"30_CR8"},{"unstructured":"F. Charoy and P. Molli. Experimenting PCIS triggers on P-RooT. In PCTE'94 conference, November 1994. to appear.","key":"30_CR9"},{"unstructured":"R. Conradi, L. Jaccheri, C. Mazzi, A. Aarsten and M. Nguyen. Design, use and implementation of SPELL, a language for software process modelling and evolution. In EWSPT2, Trondheim, 1992. LNCS635.","key":"30_CR10"},{"unstructured":"W. Deiters and V. Gruhn. Managing Software Processes in Melmac. In Proceedings of the 4th ACM SIGSOFT Symposium on Software Development Environments, Irvine, California, USA, 1990.","key":"30_CR11"},{"unstructured":"C. Godart. Contribution \u00e0 la mod\u00e9lisation des proc\u00e9d\u00e9s de fabrication de logiciel: support au travail coop\u00e9ratif (in french). In th\u00e9se d'Etat (300 pages), Universit\u00e9 de Nancy I, 1993.","key":"30_CR12"},{"doi-asserted-by":"crossref","unstructured":"C. Godart. COO: a Transaction Model to support COOperating software developers Coordination. In 4th European Software Engineering Conference, Garmisch, LNCS 717, 1993.","key":"30_CR13","DOI":"10.1007\/3-540-57209-0_25"},{"unstructured":"C. Godart, G. Canals, F. Charoy and P. Molli. An introduction to cooperative software development in COO. In 3rd International Conference on Systems Integration, IEEE Press, 1994.","key":"30_CR14"},{"unstructured":"G. Junkermann and W. Schaffer. A desigh metodology for process programming. In EWSPT3, Villard de Lans, 1994. LNCS772.","key":"30_CR15"},{"key":"30_CR16","first-page":"176","volume-title":"Ispw6 software process example","author":"M.I. Kellner","year":"1991","unstructured":"M.I. Kellner and al. Ispw6 software process example. In M. Dowson, editor, First International Conference On Software Process, pages 176\u2013186, California, 1991. IEEE Press."},{"unstructured":"W. Kim, R. Lorie, D. McNabb and W. Plouffe. A Transaction Mechanism for Engineering Design Databases. In Proceedings of the 10th international conference on VLDB, pages 355\u2013362, Singapore, August 1984.","key":"30_CR17"},{"doi-asserted-by":"crossref","unstructured":"U.W. Lipeck. Stepwise specification of dynamic database behavior. ACM SIGMOD, pages 387\u2013397, 1986.","key":"30_CR18","DOI":"10.1145\/16856.16892"},{"unstructured":"J.K Ousterhout. Tcl: An Embeddable Command Language. In Winter Usenix Conference Proceedings, 1990.","key":"30_CR19"},{"doi-asserted-by":"crossref","unstructured":"J. Sa and B.C. Warboys. Modelling Processes Using a Stepwise Refinement Technique. In EWSPT3, Villard de Lans, 1994. LNCS772.","key":"30_CR20","DOI":"10.1007\/3-540-57739-4_7"},{"unstructured":"Ian Thomas. The Software Process as a Goal-directed Activity. In Fifth International Software Process Workshop, 1989.","key":"30_CR21"}],"container-title":["Lecture Notes in Computer Science","Software Process Technology"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-59205-9_63.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,11,17]],"date-time":"2020-11-17T16:26:11Z","timestamp":1605630371000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-59205-9_63"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1995]]},"ISBN":["9783540592051","9783540492245"],"references-count":21,"URL":"https:\/\/doi.org\/10.1007\/3-540-59205-9_63","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1995]]}}}