A visual framework for modelling with heterogeneous notations

Proceedings - IEEE 2002 Symposia on Human Centric Computing Languages and Environments, HCC 2002

Volumn , Issue , 2002, Pages 71-73

  Flower, J ^a   Howse, J ^a   Taylor, J ^a   Kent, S ^b  

^a UNIVERSITY OF BRIGHTON   (United Kingdom)

^b UNIVERSITY OF KENT   (United Kingdom)

Author keywords

software specification; Visual formalisms

Indexed keywords

CONSTRAINT SPACES; PRECISE MODELS; SOFTWARE SPECIFICATION; TOOL SUPPORT; VISUAL FORMALISM;

EID: 84878360843     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/HCC.2002.1046350     Document Type: Conference Paper

References (6)

1. J. Gil, J. Howse, and S. Kent. Towards a formalization of constraint diagrams. In Proc Symp on Human-Centric Computing, pages 72-79. IEEE Press, 2001.
2. J. Howse, F. Molina, and J. Taylor. On the completeness and expressiveness of spider diagram systems. In Proceedings of Diagrams 2000, pages 26-41. Springer-Verlag, 2000.
3. S. Kent, J. Howse, and S. Gaito. Constraint trees. In A. Clark and J. Warmer, editors, Advances in Object Modelling with OCL. Springer-Verlag, 2002.
4. OMG. UML specification, version 1.3. Available from www.omg.org.
5. J.M. Spivey. The Z Notation. Prentice Hall, 1989.
6. J. Warmer and A. Kleppe. The Object Constraint Language. Addison-Wesley, 1998.