Hector Miguel Chavez

Publication Activity (10 Years)

Years Active: 2009-2016
Publications (10 Years): 1

Top Topics

Top Venues

Int. J. Softw. Innov.

IEEE Trans. Software Eng.

Publications

Hector Miguel Chavez, Wuwei Shen, Robert B. France, Benjamin A. Mechling, Guangyuan Li
An Approach to Checking Consistency between UML Class Model and Its Java Implementation. IEEE Trans. Software Eng. 42 (4) (2016)
Hector Miguel Chavez, Wuwei Shen, Robert B. France, Benjamin A. Mechling
An Approach to Testing Java Implementation against Its UML Class Model. MoDELS (2013)
Hector Miguel Chavez, Wuwei Shen
Formalization of UML Composition in OCL. Int. J. Softw. Innov. 1 (1) (2013)
Hector Miguel Chavez, Wuwei Shen
Formalization of UML Composition in OCL. ACIS-ICIS (2012)
Hector Miguel Chavez, Wuwei Shen
Finding inconsistency for UML-based composition at program level. MiSE@ICSE (2009)
Hector Miguel Chavez, Wuwei Shen, Shaoying Liu
An approach to detection of UML-based ownership violation. SAC (2009)