DECS, a meta-CASE tool with visually-oriented constraint definition features | IEEE Conference Publication | IEEE Xplore