|Validation implementation [message #593600]
||Sun, 29 June 2008 14:04
Registered: October 2009
I am looking into various validation methods and their implementation.
For example, validateAssume(...) method of Interface
I see a place holder for its implementation in
and its related operations
Are these actually implemented?
Will the implementation be manual or somehow generated from OCL
Powered by FUDForum
. Page generated in 0.03134 seconds