Author of the publication

Enhancing IP cores specifications using hierarchical composition and set theory.

, , , , , and . Des. Autom. Embed. Syst., 15 (3-4): 225-245 (2011)

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

Component-based integration testing from UML interaction diagrams., , , , and . SMC, page 2679-2686. IEEE, (2007)Using Developers Contributions on Software Vocabularies to Identify Experts., , and . ITNG, page 451-456. IEEE Computer Society, (2015)Aspectos de Herança em uma Ferramenta de Modelagem de Sistemas Baseada em Redes de Petri., , , and . SBES, page 297-312. SBC, (1998)Analyzing the Impact of Leaderboards in Introductory Programming Courses' Short-Length Activities., , , and . FIE, page 1-9. IEEE, (2018)Model checking in object-oriented Petri nets., , and . SMC (5), page 4977-4982. IEEE, (2004)On the Object Oriented Design of a Track-Vehicle System., and . SEKE, page 283-290. Knowledge Systems Institute, (1995)A Fault Tolerant Colored Petri Net Model for Flexible Manufacturing Systems., , and . J. Braz. Comp. Soc., (1997)Automating Functional Testing of Components from UML Specifications., , , , , and . Int. J. Softw. Eng. Knowl. Eng., 17 (3): 339-358 (2007)An Object-Based Modular CPN Approach: Its Application to the Specification of a Cooperative Editing Environment., , and . Concurrent Object-Oriented Programming and Petri Nets, volume 2001 of Lecture Notes in Computer Science, page 338-354. Springer, (2001)Automated design tests to check Hibernate design recommendations., , , and . SBES, page 94-103. ACM, (2019)