In the Software Engineering module which I'm currently studying they sometimes use OCL, mainly for specifying invariants. I think I know the answer but I wanted to double check - have any of you used it in the last five years? Or ever?
roses are red, violets are blue. Some poems rhyme and some are a tiny ad: