Language independent rules for suggesting and formalizing observed uses in a pedagogical reengineering context | IEEE Conference Publication | IEEE Xplore