Executable visual software modeling—the ZOOM approach

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.

Buschmann, F., Meunier, R., Rohnert, H. Pattern-Oriented Software Architecture. John Wiley and Sons. ISBN 0-471-95869-7.

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–139.

Clarke, E.M., Wing, J.M. 1996. Formal methods: state of the art and future directions. ACM Computing Surveys 28(4):626–643.

da Silva, P.P., Paton, N.W. 2003. User interface modeling in UMLi. IEEE SOFTWARE 20(4):62–69.

Dupuy, S., Ledru, Y., Chabre-Peccoud, M. 1997. Integrating OMT and Object-Z. In: Proceedings of BCS FACS/EROS ROOM Workshop.

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’97), Chapman and Hall, pp. 247–260.

Ho, W.-M., Pennaneac’h, F., Plouzeau, N. 2000. UMLAUT: A framework for weaving UML-based aspect-oriented designs. In: Proceedings of TOOLS 33, St. Malo, France, pp. 324–334.

Jia, X. 2004. The ZOOM Notation—A Reference Manual, Technical Report, DePaul University.

Jia, X. 1995. An approach to animating Z specifications. In: Proceedings of the 19th Annual IEEE International Computer Software and Applications Conference (COMPSAC’95), Dallas, Texas, USA, pp. 108–113.

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–251.

Lopes, C., Hrsh, W. 1995. Separation of Concerns, Technical Report. Computer Science School, Northeastern University, Boston, US.

Meyer, B. 1992. Applying ‘design by contract’ 25(10):40–51.

Meyer, B. 1997. Object-Oriented Software Construction, 2nd ed. Prentice Hall PTR, Upper Saddle River, NJ.

Object Management Group, UML 2.0 Superstructure Specification.

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.

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.

Rumbaugh, J., Blaha, M., Premerlani, W., Eddy, F., Lorensen, W. 1991. Object-Oriented Modeling and Design. Prentice-Hall.

Spivey, J.M. 1992. The Z Notation: A Reference Manual, 2nd ed.

Stephen, M., Marc, B. 2002. Executable UML: A Foundation for Model-Driven Architecture. Addison Wesley, Boston, MA.

Warmer, J., Kleppe, A. 1999. The Object Constraint Language. Addison Wesley, Boston, MA.

Wordsworth, J.B. 1992. Software Development with Z Addison-Wesley.

Woodcock, J., Davies, J. 1996. Using Z Specification, Refinement, and Proof. Prentice Hall Europe.