Alloy Community

User login

  • warning: Parameter 1 to theme_field() expected to be a reference, value given in /afs/csail.mit.edu/proj/alloy/www/data/community/includes/theme.inc on line 170.
  • warning: Parameter 1 to theme_field() expected to be a reference, value given in /afs/csail.mit.edu/proj/alloy/www/data/community/includes/theme.inc on line 170.
  • warning: Parameter 1 to theme_field() expected to be a reference, value given in /afs/csail.mit.edu/proj/alloy/www/data/community/includes/theme.inc on line 170.
  • warning: Parameter 1 to theme_field() expected to be a reference, value given in /afs/csail.mit.edu/proj/alloy/www/data/community/includes/theme.inc on line 170.

Some Shortcomings of OCL, the Object Constraint Language of UML

alloy's picture


Attachment


Size
omg.pdf173.03 KB

Syndicate content  

The development of this site is supported by the National Science Foundation under Computing Research Infrastructure Grant No. 0707612.

Theme originally designed by Chris Herberte