{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,6]],"date-time":"2024-09-06T23:22:19Z","timestamp":1725664939497},"publisher-location":"Berlin, Heidelberg","reference-count":6,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540606093"},{"type":"electronic","value":"9783540484639"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1995]]},"DOI":"10.1007\/3-540-60609-2_31","type":"book-chapter","created":{"date-parts":[[2012,2,26]],"date-time":"2012-02-26T20:47:52Z","timestamp":1330289272000},"page":"443-448","source":"Crossref","is-referenced-by-count":0,"title":["Integration of Object-Oriented analysis and Algebraic specifications"],"prefix":"10.1007","author":[{"given":"Zuzana","family":"Repask\u00e1","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2005,6,6]]},"reference":[{"key":"31_CR1","unstructured":"Dauchy, P., Gaudel, M.C.: Algebraic Specifications with Implicit State. Rapport de Recherche no 887, Universit\u00e9 de Paris-Sud, 02\/1994"},{"key":"31_CR2","doi-asserted-by":"crossref","unstructured":"Polack, F., Whiston, M., Mander, K.: The SAZ Project: Integrating SSADM and Z. In Proc. of the First Intern. Symposium of Formal Methods, Springer-Verlag, 1993","DOI":"10.1007\/BFb0024666"},{"key":"31_CR3","unstructured":"Privara, I., Ni\u017e\u0148ansk\u00fd, J.: \u0160pecifika\u010dn\u00fd jazyk PROGRESS \u2014 SL.2. Technical Report UAI-4\/1991, VUSEI-AR, 1991"},{"key":"31_CR4","unstructured":"Repask\u00e1, Z.: Formaliz\u00e1cia objektovo-orientovanej anal\u00fdzy softwarov\u00e9ho syst\u00e9mu algebraick\u00fdmi \u0161pecifik\u00e1ciami. Master Thesis, Comenius University, 1994"},{"key":"31_CR5","unstructured":"Rumbaugh, J., Blaha, M., Premerlani, W., Eddy, F., Lorensen, W: Object-Oriented Modeling and Design. Prentice Hall, 1991"},{"key":"31_CR6","unstructured":"Vondrak, I.: Interaction Coordination Nets. Technical Report of the Research Grant, Technical University of Ostrava, 1994"}],"container-title":["Lecture Notes in Computer Science","SOFSEM '95: Theory and Practice of Informatics"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-60609-2_31.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,4,28]],"date-time":"2021-04-28T01:26:12Z","timestamp":1619573172000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-60609-2_31"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1995]]},"ISBN":["9783540606093","9783540484639"],"references-count":6,"URL":"https:\/\/doi.org\/10.1007\/3-540-60609-2_31","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1995]]}}}