Author of the publication

An Approach to Checking Consistency between UML Class Model and Its Java Implementation.

, , , , and . IEEE Trans. Software Eng., 42 (4): 322-344 (2016)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

 

Other publications of authors with the same name

An Assurance Case Driven Development Paradigm for Autonomous Vehicles: An F1TENTH Racing Car Case Study., , , , , and . SERA, page 156-161. IEEE, (2023)Using UML Profile and OCL to Impose Regulatory Requirements on Safety-Critical System., , and . SNPD, page 356-361. IEEE Computer Society, (2013)An Approach to Testing Java Implementation against Its UML Class Model., , , and . MoDELS, volume 8107 of Lecture Notes in Computer Science, page 220-236. Springer, (2013)An Automatic Testing Approach for Compiler Based on Metamorphic Testing Technique., , , and . APSEC, page 270-279. IEEE Computer Society, (2010)Supporting Flexible Reification of Design Patterns., , , and . APSEC, page 127-136. IEEE Computer Society, (2010)A Toolset for Supporting UML Static and Dynamic Model Checking., , and . COMPSAC, page 147-152. IEEE Computer Society, (2002)An approach to detection of UML-based ownership violation., , and . SAC, page 541-542. ACM, (2009)Execution of A Requirement Model in Software Development., , , , and . IASSE, page 203-208. ISCA, (2004)An Approach to Checking Consistency between UML Class Model and Its Java Implementation., , , , and . IEEE Trans. Software Eng., 42 (4): 322-344 (2016)Using Abstract State Machines to Support UML Model Instantiation Checking., and . IASTED Conf. on Software Engineering, page 100-105. IASTED/ACTA Press, (2005)