{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T22:16:09Z","timestamp":1725574569044},"publisher-location":"Berlin, Heidelberg","reference-count":8,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540250814"},{"type":"electronic","value":"9783540317975"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2005]]},"DOI":"10.1007\/978-3-540-31797-5_26","type":"book-chapter","created":{"date-parts":[[2011,1,14]],"date-time":"2011-01-14T06:39:22Z","timestamp":1294987162000},"page":"246-249","source":"Crossref","is-referenced-by-count":2,"title":["PAMPERO: Precise Assistant for the Modeling Process in an Environment with Refinement Orientation"],"prefix":"10.1007","author":[{"given":"Claudia","family":"Pons","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Roxana","family":"Giandini","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Gabriela","family":"P\u00e9rez","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Pablo","family":"Pesce","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Valeria","family":"Becker","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Jorge","family":"Longinotti","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Javier","family":"Cengia","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"26_CR1","volume-title":"Foundation and Advanced Applications. FACIT","author":"J. Derrick","year":"2001","unstructured":"Derrick, J., Boiten, E.: Refinement in Z and Object-Z. In: Foundation and Advanced Applications. FACIT. Springer, Heidelberg (2001)"},{"key":"26_CR2","volume-title":"A Discipline of Programming","author":"E.W. Dijkstra","year":"1976","unstructured":"Dijkstra, E.W.: A Discipline of Programming. Prentice-Hall, Englewood Cliffs (1976)"},{"key":"26_CR3","unstructured":"IBM, The Eclipse Project. Home Page. Copyright IBM Corp. and others (2000-2004), \n                    \n                      http:\/\/www.eclipse.org\/"},{"key":"26_CR4","volume-title":"FACIT","author":"K. Lano","year":"1996","unstructured":"Lano, K.: The B Language and Method. In: FACIT. Springer, Heidelberg (1996)"},{"key":"26_CR5","unstructured":"OMG. The Unified Modeling Language Specification \u2013 Version 1.5, UML Specification, revised by the OMG (March 2003), \n                    \n                      http:\/\/www.omg.org"},{"key":"26_CR6","unstructured":"Pons, C., P\u00e9rez, G., Giandini, R., Kutsche, R.-D.: Understanding Refinement and Specialization in the UML. In: 2nd International Workshop on MAnaging SPEcialization\/Generalization Hierarchies (MASPEGHI) IEEE ASE 2003, Canada (2003)"},{"key":"26_CR7","unstructured":"Pons, C., P\u00e9rez, G., Kutsche, R.-D.: Traceability across refinement steps in UML Modeling. In: Workshop in Software Model Engineering, 7th International Conference on the UML, Lisbon, Portugal, October 11 (2004)"},{"key":"26_CR8","volume-title":"Validating UML Models and OCL Constraints","author":"R. Mark","year":"2000","unstructured":"Mark, R., Martin, G.: Validating UML Models and OCL Constraints. Springer, Heidelberg (2000), \n                    \n                      http:\/\/www.db.informatik.uni-remen.de\/projects\/USE"}],"container-title":["Lecture Notes in Computer Science","UML Modeling Languages and Applications"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-540-31797-5_26.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,5,3]],"date-time":"2021-05-03T03:41:04Z","timestamp":1620013264000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-540-31797-5_26"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2005]]},"ISBN":["9783540250814","9783540317975"],"references-count":8,"URL":"https:\/\/doi.org\/10.1007\/978-3-540-31797-5_26","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2005]]}}}