{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T15:41:35Z","timestamp":1725550895478},"publisher-location":"Berlin, Heidelberg","reference-count":34,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540433538"},{"type":"electronic","value":"9783540459231"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2002]]},"DOI":"10.1007\/3-540-45923-5_13","type":"book-chapter","created":{"date-parts":[[2010,3,29]],"date-time":"2010-03-29T17:12:13Z","timestamp":1269882733000},"page":"189-202","source":"Crossref","is-referenced-by-count":5,"title":["A Toolbox for Automating Visual Software Engineering"],"prefix":"10.1007","author":[{"given":"Luciano","family":"Baresi","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Mauro","family":"Pezz\u00e8","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2002,3,15]]},"reference":[{"key":"13_CR1","unstructured":"M. Andries, G. Engels, and J. Rekers. How to Represent a Visual Program? In Proceedings of International Workshop on Theory of Visual Languages (1996)."},{"key":"13_CR2","unstructured":"Aonix. Structure Environment: Using the StP\/SE Editors (1998)."},{"key":"13_CR3","doi-asserted-by":"crossref","first-page":"105","DOI":"10.1142\/9789812815149_0003","volume":"II","author":"R. Bardohl","year":"1999","unstructured":"R. Bardohl, M. Minas, A. Schuerr, and G. Taentzer. Application of graph transformation to visual languages. Handbook of Graph Grammars and Computing by Graph Transformation, volume II: Applications, Languages and Tools, pp. 105\u2013180 (1999).","journal-title":"Handbook of Graph Grammars and Computing by Graph Transformation"},{"key":"13_CR4","unstructured":"L. Baresi. Formal Customization of Graphical Notations. PhD thesis, Dipartimento di Elettronica e Informazione\u2014 Politecnico di Milano, 1997. in Italian."},{"issue":"6","key":"13_CR5","doi-asserted-by":"publisher","first-page":"369","DOI":"10.1023\/A:1022872229481","volume":"21","author":"L. Baresi","year":"1997","unstructured":"L. Baresi, F. Consorti, M. Di Paola, A. Gargiulo, and M. Pezz\u00e8. LEMMA: A Language for an Easy Medical Models Analysis. Journal of Medical Systems\u2014 Plenum Publishing Co., 21(6):369\u2013388 (1997).","journal-title":"Journal of Medical Systems"},{"key":"13_CR6","doi-asserted-by":"crossref","unstructured":"L. Baresi, A. Orso, and M. Pezz\u00e8. Introducing Formal Methods in Industrial Practice. In Proceedings of the 20th International Conference on Software Engineering, pp. 56\u201366. ACM Press (1997).","DOI":"10.1145\/253228.253241"},{"key":"13_CR7","series-title":"Lect Notes Comput Sci","doi-asserted-by":"publisher","first-page":"271","DOI":"10.1007\/3-540-45397-0_9","volume-title":"Concurrent Object-Oriented Programming and Petri Nets (a special volume in the Advances in Petri Nets series)","author":"L. Baresi","year":"2001","unstructured":"L. Baresi and M. Pezz\u00e8. On Formalizing UML with High-Level Petri Nets. In G. Agha and F. De Cindio (eds.) Concurrent Object-Oriented Programming and Petri Nets (a special volume in the Advances in Petri Nets series); 2001, pages 271\u2013300. Volume 2001 of Lecture Notes in Computer Science."},{"key":"13_CR8","series-title":"Lect Notes Comput Sci","first-page":"193","volume-title":"A formal Definition of Structured Analysis with Programmable Graph Grammars","author":"L. Baresi","year":"1999","unstructured":"L. Baresi and M. Pezz\u00e8. A formal Definition of Structured Analysis with Programmable Graph Grammars. In Proceedings of AGTIVE99:, volume 1779 of Lecture notes in Computer Science, pages 193\u2013208. Springer\/Verlag, 1999."},{"key":"13_CR9","unstructured":"G. Booch, J. Rumbaugh, and I. Jacobson. The Unified Modeling Language User Guide. The Addison-Wesley Object Technology Series (1998)."},{"key":"13_CR10","doi-asserted-by":"crossref","unstructured":"M. Burnett and Marla J. Baker. A Classification System for Visual Programming Languages. Journal of Visual Languages and Computing, pp. 287\u2013300 (1994).","DOI":"10.1006\/jvlc.1994.1015"},{"key":"13_CR11","doi-asserted-by":"crossref","unstructured":"A. Caloini, G. Magnani, and M. Pezz\u00e8. A Technique for Designing Robotic Control Software Based on Petri Nets. IEEE Transactions on Control Systems (1997).","DOI":"10.1109\/87.654878"},{"key":"13_CR12","unstructured":"T. De Marco. Structured Analysis and System Specification. Prentice-Hall (1978)."},{"key":"13_CR13","doi-asserted-by":"publisher","first-page":"1143","DOI":"10.1016\/0169-7552(94)90016-7","volume":"26","author":"O. Fargemand","year":"1994","unstructured":"O. Fargemand and A. Olsen. Introduction to SDL-92. Computer Networks and ISDN Systems, 26:1143\u20131167 (1994).","journal-title":"Computer Networks and ISDN Systems"},{"key":"13_CR14","unstructured":"P. Findeisen. The Metaview System. Technical report, University of Alberta (Canada) (1994)."},{"key":"13_CR15","doi-asserted-by":"crossref","unstructured":"R. B. France and M. M. Larrondo-Petrie. From Structured Analysis to Formal Specifications: State of the Theory. In Proceedings of Computer Science Conference, pp. 249\u2013256. ACM Press (1994).","DOI":"10.1145\/197530.197634"},{"key":"13_CR16","series-title":"Lect Notes Comput Sci","doi-asserted-by":"crossref","first-page":"62","DOI":"10.1007\/3-540-59293-8_187","volume-title":"Formal Methods and Social Context in Software Development","author":"J.A. Goguen","year":"1995","unstructured":"J.A. Goguen and Luqi. Formal Methods and Social Context in Software Development. In 6th International Conference on Theory and Practice of Software Development (TAPSOFT\u201995), number 915 in Lecture Notes in Computer Science, pp. 62\u201381. Springer-Verlag, (invited talk), Aarhus (Denmark) (1995)."},{"key":"13_CR17","unstructured":"D. Harel and B. Rumpe. Modeling Languages: Syntax, Semantics and All That Stuff-Part I: The Basic Stuff. Faculty of Mathematics and Computer Science, The Weizmann Institute of Science, Israel, MCS00-16, September 2000."},{"key":"13_CR18","unstructured":"D. J. Hatley and I. A. Pirbhai. Strategies for Real-Time System Specification. Dorset House, New York (1987)."},{"key":"13_CR19","unstructured":"Honeywell. Dome Extensions Manual (ver. 5.2.2) (1999)."},{"key":"13_CR20","unstructured":"IEC. Part 3: Programming Languages, IEC 1131-3. Technical report, International Electrotechnical Commission-Geneva (1993)."},{"key":"13_CR21","doi-asserted-by":"crossref","unstructured":"A. S. Karrer and W. Scacchi. Meta-Environments for Software Production. Technical report, University of Southern California, Atrium Laboratory (1994).","DOI":"10.1142\/9789812798022_0002"},{"key":"13_CR22","series-title":"Lect Notes Comput Sci","first-page":"1","volume-title":"MetaEdit+ A Fully Configurable Multi-User and Multi-Tool CASE and CAME Environment","author":"S. Kelly","year":"1996","unstructured":"S. Kelly, K. Lyytinen, and M. Rossi. MetaEdit+ A Fully Configurable Multi-User and Multi-Tool CASE and CAME Environment. In Proceedings of CAiSE\u201996, volume 1080, pp. 1\u201321. Springer-Verlag, Lecture Notes in Computer Science (1996)."},{"key":"13_CR23","unstructured":"C. Kronlof, editor. Method Integration\u2014 Concepts and Case Studies. John Wiley & Sons (1993)."},{"key":"13_CR24","unstructured":"Lincoln Software Limited. What is a Meta-Tool? (white paper), see http:\/\/www.ipsys.com\/mc-wp.htm ."},{"issue":"2","key":"13_CR25","doi-asserted-by":"publisher","first-page":"77","DOI":"10.1016\/0096-0551(93)90013-Q","volume":"18","author":"Luqi","year":"1993","unstructured":"Luqi. Real-time constraints in a rapid prototyping language. Computer Languages, 18(2):77\u2013103 (1993).","journal-title":"Computer Languages"},{"key":"13_CR26","doi-asserted-by":"crossref","unstructured":"T.S.E. Maibaum and B. Rumpe. Automated Software Engineering: Special Issue on Precise Semantics for Software Modeling Techniques Volume 7, Issue 1, Kluwer Academic Publishers, March 2000.","DOI":"10.1023\/A:1008714925733"},{"key":"13_CR27","unstructured":"Mark V Systems. ObjectMaker User\u2019s Guide (1997)."},{"key":"13_CR28","unstructured":"METACase Consulting. ABC To Metacase Technology. Technical report (1999)."},{"key":"13_CR29","series-title":"Lect Notes Comput Sci","doi-asserted-by":"crossref","first-page":"41","DOI":"10.1007\/3-540-18771-5_43","volume-title":"Graph Grammars and Their Application to Computer Science","author":"M. Nagl","year":"1987","unstructured":"M. Nagl. Set theoretic approaches to graph grammars. In H. Ehrig, M. Nagl, G. Rozenberg, and A. Rosenfeld, editors, Graph Grammars and Their Application to Computer Science, volume 291 of Lecture Notes in Computer Science, pp. 41\u201354. Springer-Verlag (1987)."},{"key":"13_CR30","series-title":"Technical report","volume-title":"Cabernet: A Customizable Environment for the Specification and Analysis of Real-Time Systems","author":"M. Pezz\u00e8","year":"1994","unstructured":"M. Pezz\u00e8. Cabernet: A Customizable Environment for the Specification and Analysis of Real-Time Systems. Technical report, Dipartimento di Elettronica e Informazione, Politecnico di Milano, Italy (1994)."},{"key":"13_CR31","unstructured":"Rational Software Corporation. Rational Rose 2001: User\u2019s Manuals (2001)."},{"key":"13_CR32","doi-asserted-by":"crossref","unstructured":"S. Reiss. Connecting Tools using Message Passing in the FIELD Program Development Environment. IEEE Software, pp. 57\u201367 (1990).","DOI":"10.1109\/52.56450"},{"key":"13_CR33","doi-asserted-by":"crossref","unstructured":"J. Rekers and A. Schuerr. A Graph Based Framework for the Implementation of Visual Environments. In Proceedings of VL\u201996 12th International IEEE Symposium on Visual Languages. IEEE-CS Press (1996).","DOI":"10.1109\/VL.1996.545281"},{"key":"13_CR34","doi-asserted-by":"crossref","unstructured":"H. Saiedian. An Invitation to Formal Methods. IEEE Computer, pp. 16\u201330 (1996).","DOI":"10.1109\/MC.1996.488298"}],"container-title":["Lecture Notes in Computer Science","Fundamental Approaches to Software Engineering"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-45923-5_13","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,27]],"date-time":"2019-05-27T14:55:37Z","timestamp":1558968937000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-45923-5_13"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2002]]},"ISBN":["9783540433538","9783540459231"],"references-count":34,"URL":"https:\/\/doi.org\/10.1007\/3-540-45923-5_13","relation":{},"ISSN":["0302-9743"],"issn-type":[{"type":"print","value":"0302-9743"}],"subject":[],"published":{"date-parts":[[2002]]}}}