Author of the publication

Using Alloy to model-check visual design notations

, and . Computer Science, 2005. ENC 2005. Sixth Mexican International Conference on, page 121--128. IEEE Computer Society, (2005)
DOI: 10.1109/ENC.2005.52

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

 

Other publications of authors with the same name

Using Alloy to model-check visual design notations, and . Computer Science, 2005. ENC 2005. Sixth Mexican International Conference on, page 121--128. IEEE Computer Society, (2005)Pattern-Driven Partitioning in Designing Distributed Object Applications., and . EuroPLoP, page 583-616. UVK - Universitaetsverlag Konstanz, (2004)A Theory of Class.. OOIS, page 44-56. Springer, (1996)Kalman Filter Based Prediction and Forecasting of Cloud Server KPIs., , and . IEEE Trans. Serv. Comput., 16 (4): 2742-2754 (July 2023)The Theory of Classification, Part 10: Method Combination and Super-Reference.. J. Object Technol., 3 (1): 43-53 (2004)The Theory of Classification, Part 1: Perspectives on Type Compatibility.. J. Object Technol., 1 (1): 55-61 (2002)The Theory of Classification, Part 2: The Scratch-Built Typechecker.. J. Object Technol., 1 (2): 47-54 (2002)The Theory of Classification, Part 7: A Class is a Type Family.. J. Object Technol., 2 (3): 13-22 (2003)The Theory of Classification, Part 9: Inheritance and Self-Reference.. J. Object Technol., 2 (6): 25-34 (2003)30 Things that Go Wrong in Object Modelling with UML 1.3., and . Behavioral Specifications of Businesses and Systems, volume 523 of The Kluwer International Series in Engineering and Computer Science, Springer, (1999)