{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,6]],"date-time":"2024-09-06T23:20:39Z","timestamp":1725664839007},"publisher-location":"Berlin, Heidelberg","reference-count":18,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540635338"},{"type":"electronic","value":"9783540695936"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1997]]},"DOI":"10.1007\/3-540-63533-5_3","type":"book-chapter","created":{"date-parts":[[2012,2,26]],"date-time":"2012-02-26T18:29:34Z","timestamp":1330280974000},"page":"40-61","source":"Crossref","is-referenced-by-count":10,"title":["A graphic notation for formal specifications of dynamic systems"],"prefix":"10.1007","author":[{"given":"Gianna","family":"Reggio","sequence":"first","affiliation":[]},{"given":"Mauro","family":"Larosa","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2005,6,8]]},"reference":[{"key":"3_CR1","first-page":"810","volume-title":"Proc. of TAPSOFT '95","author":"E. Astesiano","year":"1995","unstructured":"E. Astesiano, F. Morando, and G. Reggio. The SMoLCS Toolset. In P.D. Mosses, M. Nielsen, and M.I. Schwartzbach, editors, Proc. of TAPSOFT '95, number 915 in L.N.C.S., pages 810\u2013811. Springer Verlag, Berlin, 1995."},{"unstructured":"E. Astesiano and G. Reggio. Formally-Driven Friendly Specifications of Concurrent Systems: A Two-Rail Approach. Technical Report DISI-TR-94-20, DISI-Universith di Genova, Italy, 1994. Presented at ICSE'17-Workshop on Formal Methods, Seattle April 1995.","key":"3_CR2"},{"key":"3_CR3","doi-asserted-by":"crossref","first-page":"67","DOI":"10.1007\/BFb0024427","volume-title":"Formal System Specification: The RPC-Memory Specification Case Study","author":"E. Astesiano","year":"1996","unstructured":"E. Astesiano and G. Reggio. A Dynamic Specification of the RPC-Memory Problem. In M. Broy, S. Merz, and K. Spies, editors, Formal System Specification: The RPC-Memory Specification Case Study, number 1169 in L.N.C.S., pages 67\u2013108. Springer Verlag, Berlin, 1996."},{"key":"3_CR4","series-title":"Technical Report DISI-TR-96-20","volume-title":"Labelled Transition Logic: An Outline","author":"E. Astesiano","year":"1996","unstructured":"E. Astesiano and G. Reggio. Labelled Transition Logic: An Outline. Technical Report DISI-TR-96-20, DISI-Universit\u00e1 di Genova, Italy, 1996."},{"key":"3_CR5","doi-asserted-by":"crossref","first-page":"93","DOI":"10.1007\/BFb0030590","volume-title":"Proc. TAPSOFT '97","author":"E. Astesiano","year":"1997","unstructured":"E. Astesiano and G. Reggio. Formalism and Method. In M. Bidoit and M. Dauchet, editors, Proc. TAPSOFT '97, number 1214 in L.N.C.S., pages 93\u2013114, Berlin, 1997. Springer Verlag."},{"key":"3_CR6","volume-title":"Object-Oriented Analysis","author":"P. Coad","year":"1991","unstructured":"P. Coad and E. Yourdon. Object-Oriented Analysis. Prentice-Hall, Englewood Cliffs, N.J., 1991."},{"key":"3_CR7","volume-title":"Object-Oriented Design","author":"P. Coad","year":"1991","unstructured":"P. Coad and E. Yourdon. Object-Oriented Design. Prentice-Hall, Englewood Cliffs, N.J., 1991."},{"issue":"2","key":"3_CR8","first-page":"513","volume":"173","author":"G. Costa","year":"1997","unstructured":"G. Costa and G. Reggio. Specification of Abstract Dynamic Data Types: A Temporal Logic Approach. T.C.S., 173(2):513\u2013554, 1997.","journal-title":"T.C.S."},{"key":"3_CR9","doi-asserted-by":"publisher","first-page":"231","DOI":"10.1016\/0167-6423(87)90035-9","volume":"8","author":"D. Harel","year":"1987","unstructured":"D. Harel. Statecharts: A Visual Formalism for Complex Systems. Science of Computer Programming, 8:231\u2013274, 1987.","journal-title":"Science of Computer Programming"},{"unstructured":"ITU. Z.100 ITU Specification and Description Language (SDL). Technical report, ITU, Geneva, 1993.","key":"3_CR10"},{"key":"3_CR11","series-title":"Number 92 in L.N.C.S.","doi-asserted-by":"crossref","DOI":"10.1007\/3-540-10235-3","volume-title":"A Calculus of Communicating Systems","author":"R. Milner","year":"1980","unstructured":"R. Milner. A Calculus of Communicating Systems. Number 92 in L.N.C.S. Springer Verlag, Berlin, 1980."},{"key":"3_CR12","series-title":"Technical Report DISI-TR-94-13","volume-title":"METAL: a Metalanguage for SMoLCS","author":"F. Parodi","year":"1994","unstructured":"F. Parodi and G. Reggio. METAL: a Metalanguage for SMoLCS. Technical Report DISI-TR-94-13, DISI-Universit\u00e1 di Genova, Italy, 1994."},{"doi-asserted-by":"crossref","unstructured":"M. Petre. Why Looking Isn't Always Seeing: Readership Skills and Graphical Programming. Communications of the ACM, 38(6), 1995.","key":"3_CR13","DOI":"10.1145\/203241.203251"},{"key":"3_CR14","series-title":"L.N.C.S.","volume-title":"Proc. FME'93: IndustrialStrength Formal Methods","author":"F. Polak","year":"1993","unstructured":"F. Polak, M. Whiston, and K. Minder: The SAZ Project: Integrating SSADM and Z. In J.C.P. Woodcock and P.G. Larsen, editors, Proc. FME'93: IndustrialStrength Formal Methods, number 670 in L.N.C.S. Springer Verlag, Berlin, 1993."},{"key":"3_CR15","series-title":"Technical Report DISI-TR-96-22","volume-title":"A Graphic Specification of a High-Voltage Substation","author":"G. Reggio","year":"1996","unstructured":"G. Reggio. A Graphic Specification of a High-Voltage Substation. Technical Report DISI-TR-96-22, DISI-Universit\u00e1 di Genova, Italy, 1996."},{"key":"3_CR16","series-title":"Technical Report DISI-TR-96-21","volume-title":"A Graphic Specification of a Hydroelectric Power Station","author":"G. Reggio","year":"1996","unstructured":"G. Reggio. A Graphic Specification of a Hydroelectric Power Station. Technical Report DISI-TR-96-21, DISI-Universit\u00e1 di Genova, Italy, 1996."},{"key":"3_CR17","series-title":"Technical Report DISI-TR-97-3","volume-title":"A Graphic Notation for Formal Specifications of Dynamic Systems","author":"G. Reggio","year":"1997","unstructured":"G. Reggio and M. Larosa. A Graphic Notation for Formal Specifications of Dynamic Systems. Technical Report DISI-TR-97-3, DISI-Universit\u00e0 di Genova, Italy, 1997. Full Version."},{"doi-asserted-by":"crossref","unstructured":"M. Wirsing. Algebraic Specifications.In J. van Leeuwen, editor, Handbook of Theoret. Cornput. Sci., volume B, pages 675\u2013788. Elsevier, 1990.","key":"3_CR18","DOI":"10.1016\/B978-0-444-88074-1.50018-4"}],"container-title":["Lecture Notes in Computer Science","FME '97: Industrial Applications and Strengthened Foundations of Formal Methods"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-63533-5_3.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,4,27]],"date-time":"2021-04-27T21:44:25Z","timestamp":1619559865000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-63533-5_3"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1997]]},"ISBN":["9783540635338","9783540695936"],"references-count":18,"URL":"https:\/\/doi.org\/10.1007\/3-540-63533-5_3","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1997]]}}}