{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,19]],"date-time":"2025-03-19T10:48:54Z","timestamp":1742381334460},"reference-count":23,"publisher":"Springer Science and Business Media LLC","issue":"1","license":[{"start":{"date-parts":[[2007,1,17]],"date-time":"2007-01-17T00:00:00Z","timestamp":1168992000000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Software Qual J"],"published-print":{"date-parts":[[2007,1,31]]},"DOI":"10.1007\/s11219-006-9002-3","type":"journal-article","created":{"date-parts":[[2007,1,17]],"date-time":"2007-01-17T00:18:12Z","timestamp":1168993092000},"page":"27-51","source":"Crossref","is-referenced-by-count":9,"title":["Executable visual software modeling\u2014the ZOOM approach"],"prefix":"10.1007","volume":"15","author":[{"given":"Xiaoping","family":"Jia","sequence":"first","affiliation":[]},{"given":"Adam","family":"Steele","sequence":"additional","affiliation":[]},{"given":"Lizhang","family":"Qin","sequence":"additional","affiliation":[]},{"given":"Hongming","family":"Liu","sequence":"additional","affiliation":[]},{"given":"Chris","family":"Jones","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2007,1,17]]},"reference":[{"key":"9002_CR1","unstructured":"Agrawal, A., Levendovszky, T., Sprinkle, J., Shi, F., Karsai, G. 2002. Generative programming via graph transformations in the model-driven architecture, OOPSLA, Workshop on Generative Techniques in the Context of Model Driven Architecture, Seattle, USA."},{"key":"9002_CR2","unstructured":"Buschmann, F., Meunier, R., Rohnert, H. Pattern-Oriented Software Architecture. John Wiley and Sons. ISBN 0-471-95869-7."},{"key":"9002_CR3","doi-asserted-by":"crossref","unstructured":"Carlsen, N.V., Christensen, N.J., Tucker, H.A. 1989. An event language for building user interface frameworks. In: Proceedings of the 2nd Annual ACM SIGGRAPH Symposium on User Interface Software and Technology, Williamsburg, Virginia, United States pp. 133\u2013139.","DOI":"10.1145\/73660.73677"},{"issue":"4","key":"9002_CR4","doi-asserted-by":"crossref","first-page":"626","DOI":"10.1145\/242223.242257","volume":"28","author":"E.M. Clarke","year":"1996","unstructured":"Clarke, E.M., Wing, J.M. 1996. Formal methods: state of the art and future directions. ACM Computing Surveys 28(4):626\u2013643.","journal-title":"ACM Computing Surveys"},{"issue":"4","key":"9002_CR5","doi-asserted-by":"crossref","first-page":"62","DOI":"10.1109\/MS.2003.1207457","volume":"20","author":"P.P. da Silva","year":"2003","unstructured":"da Silva, P.P., Paton, N.W. 2003. User interface modeling in UMLi. IEEE SOFTWARE 20(4):62\u201369.","journal-title":"IEEE SOFTWARE"},{"key":"9002_CR6","unstructured":"Dupuy, S., Ledru, Y., Chabre-Peccoud, M. 1997. Integrating OMT and Object-Z. In: Proceedings of BCS FACS\/EROS ROOM Workshop."},{"key":"9002_CR7","doi-asserted-by":"crossref","unstructured":"France, R.B., Bruel, J.-M., Larrondo-Petrie, M.M., Shroff, M. 1997. Exploring the semantics of UML type structures with Z. In: Proc 2nd IFIP Conference, Formal Methods for Open Object-Based Distributed Systems(FMOODS\u201997), Chapman and Hall, pp. 247\u2013260.","DOI":"10.1007\/978-0-387-35261-9_17"},{"key":"9002_CR8","unstructured":"Ho, W.-M., Pennaneac\u2019h, F., Plouzeau, N. 2000. UMLAUT: A framework for weaving UML-based aspect-oriented designs. In: Proceedings of TOOLS 33, St. Malo, France, pp. 324\u2013334."},{"key":"9002_CR9","unstructured":"Jia, X. 2004. The ZOOM Notation\u2014A Reference Manual, Technical Report, DePaul University."},{"key":"9002_CR10","unstructured":"Jia, X. 1995. An approach to animating Z specifications. In: Proceedings of the 19th Annual IEEE International Computer Software and Applications Conference (COMPSAC\u201995), Dallas, Texas, USA, pp. 108\u2013113."},{"key":"9002_CR11","unstructured":"Kohler, H.J., Nickel, U., Niere, J., Zundorf, A. 2000. Integrating UML diagrams for production control systems. In: Proc 22nd International Conf. on Software Engineering (ICSE2000), Limerick, Ireland, pp. 241\u2013251."},{"key":"9002_CR12","volume-title":"Separation of Concerns, technical report","author":"C. Lopes","year":"1995","unstructured":"Lopes, C., Hrsh, W. 1995. Separation of Concerns, Technical Report. Computer Science School, Northeastern University, Boston, US."},{"key":"9002_CR13","doi-asserted-by":"crossref","unstructured":"Meyer, B. 1992. Applying \u2018design by contract\u2019 25(10):40\u201351.","DOI":"10.1109\/2.161279"},{"key":"9002_CR14","volume-title":"Object-Oriented Software Construction","author":"B. Meyer","year":"1997","unstructured":"Meyer, B. 1997. Object-Oriented Software Construction, 2nd ed. Prentice Hall PTR, Upper Saddle River, NJ.","edition":"2nd"},{"key":"9002_CR15","unstructured":"Object Management Group, UML 2.0 Superstructure Specification."},{"key":"9002_CR16","unstructured":"Object Management Group 2001. Model Driven Architecture (MDA), 9 July 2001 draft, edited by J. Miller and J. Mukerji, available at http:\/\/doc.omg.org\/ormsc\/2001-07-01."},{"issue":"2","key":"9002_CR17","doi-asserted-by":"crossref","first-page":"59","DOI":"10.1109\/MC.2006.65","volume":"39","author":"B. Robert","year":"2006","unstructured":"Robert, B.F. Ghosh, S. Dinh-Trong, T. Solberg, A. 2006. Model-driven development using uml 2.0: Promises and pitfalls. Computer 39(2):59.","journal-title":"Computer"},{"key":"9002_CR18","volume-title":"Object-oriented modeling and design","author":"J. Rumbaugh","year":"1991","unstructured":"Rumbaugh, J., Blaha, M., Premerlani, W., Eddy, F., Lorensen, W. 1991. Object-Oriented Modeling and Design. Prentice-Hall."},{"key":"9002_CR19","unstructured":"Spivey, J.M. 1992. The Z Notation: A Reference Manual, 2nd ed."},{"key":"9002_CR20","volume-title":"Executable UML: A foundation for model-driven architecture","author":"M. Stephen","year":"2002","unstructured":"Stephen, M., Marc, B. 2002. Executable UML: A Foundation for Model-Driven Architecture. Addison Wesley, Boston, MA."},{"key":"9002_CR21","volume-title":"The Object Constraint Language","author":"J. Warmer","year":"1999","unstructured":"Warmer, J., Kleppe, A. 1999. The Object Constraint Language. Addison Wesley, Boston, MA."},{"key":"9002_CR22","unstructured":"Wordsworth, J.B. 1992. Software Development with Z Addison-Wesley."},{"key":"9002_CR23","unstructured":"Woodcock, J., Davies, J. 1996. Using Z Specification, Refinement, and Proof. Prentice Hall Europe."}],"container-title":["Software Quality Journal"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s11219-006-9002-3.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/s11219-006-9002-3\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s11219-006-9002-3","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,6,1]],"date-time":"2019-06-01T10:10:35Z","timestamp":1559383835000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/s11219-006-9002-3"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2007,1,17]]},"references-count":23,"journal-issue":{"issue":"1","published-print":{"date-parts":[[2007,1,31]]}},"alternative-id":["9002"],"URL":"https:\/\/doi.org\/10.1007\/s11219-006-9002-3","relation":{},"ISSN":["0963-9314","1573-1367"],"issn-type":[{"value":"0963-9314","type":"print"},{"value":"1573-1367","type":"electronic"}],"subject":[],"published":{"date-parts":[[2007,1,17]]}}}