{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,4]],"date-time":"2024-09-04T23:00:39Z","timestamp":1725490839335},"publisher-location":"Berlin, Heidelberg","reference-count":10,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540640394"},{"type":"electronic","value":"9783540696872"}],"license":[{"start":{"date-parts":[[1998,1,1]],"date-time":"1998-01-01T00:00:00Z","timestamp":883612800000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1998]]},"DOI":"10.1007\/3-540-69687-3_6","type":"book-chapter","created":{"date-parts":[[2007,9,3]],"date-time":"2007-09-03T02:05:07Z","timestamp":1188785107000},"page":"29-33","update-policy":"http:\/\/dx.doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":0,"title":["OST - An Object-Oriented Computer Networks System Specification Tool"],"prefix":"10.1007","author":[{"given":"Lisandro","family":"Granville","sequence":"first","affiliation":[]},{"given":"Luciano","family":"Gaspary","sequence":"additional","affiliation":[]},{"given":"Janilce","family":"Almeida","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[1998,5,15]]},"reference":[{"key":"6_CR1","volume-title":"Especifica\u00e7\u00e3o de sistemas na \u00e1rea de redes de computadores: uma abordagem orientada a objetos","author":"M. Janilce. Almeida","year":"1994","unstructured":"Almeida, Maria Janilce. Especifica\u00e7\u00e3o de sistemas na \u00e1rea de redes de computadores: uma abordagem orientada a objetos. Porto Alegre: UFRGS, 1994. (tese de doutorado)."},{"key":"6_CR2","volume-title":"GLAv2.0-Graphical Animation for LOTOS-Quick reference","author":"J. S\u00e1nchez. Allende","year":"1994","unstructured":"Allende, Jes\u00fas S\u00e1nchez. GLAv2.0-Graphical Animation for LOTOS-Quick reference. Technical University of Madrid. Spain, 1994."},{"key":"6_CR3","volume-title":"The Specification of Complex Systems","author":"B. Cohen","year":"1986","unstructured":"Cohen, B. et al. The Specification of Complex Systems. Great Britain: Addyson Wesley, 1986."},{"key":"6_CR4","unstructured":"van Eijk, Peter Herman Johan. Software tools for the specification language LOTOS. Twente University, 1988."},{"key":"6_CR5","unstructured":"Fr\u00f6berg, M. W. Automatic Code Generation from SDL to a Declarative Programming Language. Proceedings of SDL Forum, 1993."},{"key":"6_CR6","volume-title":"Editor gr\u00e1fico do n\u00edvel operacional do SDL OO","author":"L. Paschoal. Gaspary","year":"1995","unstructured":"Gaspary, Luciano Paschoal. Editor gr\u00e1fico do n\u00edvel operacional do SDL OO. Porto Alegre: UFRGS, 1995. (trabalho de diploma\u00e7\u00e3o)."},{"key":"6_CR7","volume-title":"Estudo de Simula\u00e7\u00e3o e Anima\u00e7\u00e3o em Ambientes de Especifica\u00e7\u00e3o de Redes","author":"L. Paschoal. Gaspary","year":"1996","unstructured":"Gaspary, Luciano Paschoal. Estudo de Simula\u00e7\u00e3o e Anima\u00e7\u00e3o em Ambientes de Especifica\u00e7\u00e3o de Redes. PortoAlegre: UFRGS, 1996. (trabalho individual)"},{"key":"6_CR8","volume-title":"Editor gr\u00e1fico dos n\u00edveis estrutural abstrato e estrutural detalhado do SDL OO","author":"L. Zambenedetti. Granville","year":"1995","unstructured":"Granville, Lisandro Zambenedetti. Editor gr\u00e1fico dos n\u00edveis estrutural abstrato e estrutural detalhado do SDL OO. Porto Alegre: UFRGS, 1995. (trabalho de diploma\u00e7\u00e3o)."},{"key":"6_CR9","volume-title":"Object-oriented modeling and design","author":"James. Rumbaugh","year":"1991","unstructured":"Rumbaugh, James. Object-oriented modeling and design. New Jersey: Prentice-Hall-Englewood Cliffs, 1991."},{"key":"6_CR10","unstructured":"Verilog Corporation. Geode-Technical Presentation. Preliminary Version. July, 1994."}],"container-title":["Lecture Notes in Computer Science","Object-Oriented Technologys"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-69687-3_6","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,4,6]],"date-time":"2020-04-06T05:09:26Z","timestamp":1586149766000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-69687-3_6"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1998]]},"ISBN":["9783540640394","9783540696872"],"references-count":10,"URL":"https:\/\/doi.org\/10.1007\/3-540-69687-3_6","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1998]]},"assertion":[{"value":"15 May 1998","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}}]}}