From: Shriram Krishnamurthi (sk at cs.brown.edu) Date: Tue Jun 2 13:35:54 EDT 2009 |
|
> I watched a lecture on OCL and remembered wondering whether it's > raison d'etre was other than to provide a Greekless formal > specification language which would be palatable in the "real world". That's pretty much it, but also customized to objects. Shriram
Posted on the users mailing list. |
|