{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,28]],"date-time":"2025-03-28T00:46:55Z","timestamp":1743122815502,"version":"3.40.3"},"publisher-location":"Berlin, Heidelberg","reference-count":16,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540402534"},{"type":"electronic","value":"9783540448808"}],"license":[{"start":{"date-parts":[[2003,1,1]],"date-time":"2003-01-01T00:00:00Z","timestamp":1041379200000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"},{"start":{"date-parts":[[2003,1,1]],"date-time":"2003-01-01T00:00:00Z","timestamp":1041379200000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2003]]},"DOI":"10.1007\/3-540-44880-2_4","type":"book-chapter","created":{"date-parts":[[2007,7,3]],"date-time":"2007-07-03T16:12:53Z","timestamp":1183479173000},"page":"40-57","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":10,"title":["Reuse of Specification Patterns with the B Method"],"prefix":"10.1007","author":[{"given":"Sandrine","family":"Blazy","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Fr\u00e9d\u00e9ric","family":"Gervais","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"R\u00e9gine","family":"Laleau","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2003,5,27]]},"reference":[{"key":"4_CR1","series-title":"Techn. rep.","volume-title":"Un exemple de r\u00e9utilisation de patterns de sp\u00e9cification avec la m\u00e9thode B","author":"S. Blazy","year":"2002","unstructured":"Blazy, S., Gervais, F., Laleau, R.: Un exemple de r\u00e9utilisation de patterns de sp\u00e9cification avec la m\u00e9thode B. Techn. rep. 395, CEDRIC Laboratory, \u00c9vry, France, 2002. Available at http:\/\/cedric.cnam.fr\/PUBLIS\/RC395.ps.gz"},{"key":"4_CR2","unstructured":"Clearsy: http:\/\/www.atelierb-societe.com"},{"key":"4_CR3","unstructured":"Eden, A., Hirshfeld, Y., Yehudai, A.: LePUS \u2014 a declarative pattern specification language. Techn. rep. 326\/98, Department of Computer Science, Tel Aviv University, 1998."},{"key":"4_CR4","series-title":"Techn. rep.","volume-title":"A formal model of object-oriented design and GoF design patterns","author":"A. Flores","year":"2000","unstructured":"Flores, A., Reynoso, L., Moore, R.: A formal model of object-oriented design and GoF design patterns. Techn. rep. 200, UNU\/IIST, Macau, 2000. Available at http:\/\/www.iist.unu.edu\/"},{"key":"4_CR5","unstructured":"Fowler, M.: Analysis patterns: reusable object models. Addison-Wesley, 1997."},{"key":"4_CR6","series-title":"Lect Notes Comput Sci","volume-title":"Proc. ZB2003","author":"M. Frappier","year":"2003","unstructured":"Frappier, M., Laleau, R.: Proving Event Ordering Properties for Information Systems. Proc. ZB2003, LNCS, Springer-Verlag, Turku, Finland, June 4\u20136, 2003."},{"key":"4_CR7","unstructured":"Gamma, E., Helm, R., Johnson, R., Vlissides, J.: Design patterns: elements of reusable object-oriented software. Addison-Wesley, 1995."},{"key":"4_CR8","volume-title":"R\u00e9utilisation de composants de sp\u00e9cification en B","author":"F. Gervais","year":"2002","unstructured":"Gervais, F.: R\u00e9utilisation de composants de sp\u00e9cification en B. Master\u2019s thesis, DEA IIE(CNAM)-University of \u00c9vry-INT, \u00c9vry, France, July 2002. Available at http:\/\/cedric.cnam.fr\/PUBLIS\/RC394.ps.gz"},{"key":"4_CR9","volume-title":"Proc. ASE: 15th IEEE Conference on Automated Software Engineering","author":"R. Laleau","year":"2000","unstructured":"Laleau, R., Mammar, A.: An overview of a method and its support tool for generating B specifications from UML notations. Proc. ASE: 15th IEEE Conference on Automated Software Engineering, IEEE Computer Society Press, Grenoble, France, September 2000."},{"key":"4_CR10","doi-asserted-by":"crossref","unstructured":"Lano, K., Bicarregui, J., Goldsack, S.: Formalising Design Patterns. Proc. BCS-FACS Northern Formal Methods Workshop, Springer-Verlag, 1997, Ilkley, United Kingdom, September 3\u20134, 1996.","DOI":"10.14236\/ewic\/FA1996.11"},{"key":"4_CR11","series-title":"Lect Notes Comput Sci","doi-asserted-by":"crossref","first-page":"101","DOI":"10.1007\/3-540-48958-4_6","volume-title":"Proc. LOPSTR\u201998","author":"K. Lau","year":"1999","unstructured":"Lau, K., Ornaghi, M.: OOD frameworks in component-based software development in computational logic. Proc. LOPSTR\u201998, LNCS 1559, pages 101\u2013123, Springer-Verlag, 1999, Manchester, United Kingdom, June 15\u201319, 1998."},{"key":"4_CR12","series-title":"Tech. rep.","volume-title":"Proc. AFADL\u20192000: Approches formelles dans l\u2019assistance au d\u00e9veloppement de logiciels","author":"R. Marcano","year":"2000","unstructured":"Marcano, R., Meyer, E., Levy, N., Souquieres, J.: Utilisation de patterns dans la construction de sp\u00e9cifications en UML et B. Proc. AFADL\u20192000: Approches formelles dans l\u2019assistance au d\u00e9veloppement de logiciels, Tech. rep. A00-R-009, LSR Laboratory, Grenoble, France, January 26\u201328, 2000."},{"key":"4_CR13","volume-title":"Proc. LMO\u20192000: Langages et mod\u00e8les \u00e0 objets","author":"R. Marcano-Kamenoff","year":"2000","unstructured":"Marcano-Kamenoff, R., Levy, N., Losavio, F.: Sp\u00e9cification et sp\u00e9cialisation de patterns en UML et B. Proc. LMO\u20192000: Langages et mod\u00e8les \u00e0 objets, Herm\u00e8s Science Publications, Mont Saint-Hilaire, Qu\u00e9bec, Canada, January 25\u201327, 2000."},{"key":"4_CR14","doi-asserted-by":"crossref","unstructured":"Mikkonen, T.: Formalizing design patterns. Proc. of the 20th International Conference on Software Engineering, IEEE Computer Society, pages 115\u2013124, Kyoto, Japan, April 19\u201325, 1998.","DOI":"10.1109\/ICSE.1998.671108"},{"key":"4_CR15","volume-title":"D\u00e9rivation de sp\u00e9cifications formelles B \u00e0 partir de sp\u00e9cifications semi-formelles","author":"H.P. Nguyen","year":"1998","unstructured":"Nguyen, H.P.: D\u00e9rivation de sp\u00e9cifications formelles B \u00e0 partir de sp\u00e9cifications semi-formelles. Ph.D. Thesis, CEDRIC Laboratory, CNAM, \u00c9vry, France, 1998. Available at http:\/\/www.iie.cnam.fr\/~laleau\/"},{"issue":"1","key":"4_CR16","doi-asserted-by":"publisher","first-page":"6","DOI":"10.1109\/MS.1987.229789","volume":"4","author":"R. Prieto-Diaz","year":"1987","unstructured":"Prieto-Diaz, R., Freeman, P.: Classifying software for reusability. IEEE Software, 4(1), pages 6\u201316, January 1987.","journal-title":"IEEE Software"}],"container-title":["Lecture Notes in Computer Science","ZB 2003: Formal Specification and Development in Z and B"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-44880-2_4","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,1,18]],"date-time":"2025-01-18T04:04:23Z","timestamp":1737173063000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/3-540-44880-2_4"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2003]]},"ISBN":["9783540402534","9783540448808"],"references-count":16,"URL":"https:\/\/doi.org\/10.1007\/3-540-44880-2_4","relation":{},"ISSN":["0302-9743"],"issn-type":[{"type":"print","value":"0302-9743"}],"subject":[],"published":{"date-parts":[[2003]]},"assertion":[{"value":"27 May 2003","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}}]}}