Author of the publication

Rigorous development of component-based systems using component metadata and patterns.

, , , , , and . Formal Asp. Comput., 28 (6): 937-1004 (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

Class and Capsule Refinement in UML for Real Time., , and . WMF, volume 95 of Electronic Notes in Theoretical Computer Science, page 23-51. Elsevier, (2003)ISTSat-1, a space-based Automatic Dependent Surveillance-Broadcast demonstration CubeSat mission., , , , , , , , , and 8 other author(s). Int. J. Satell. Commun. Netw., 40 (4): 268-293 (2022)Matching Model-Snippets., , and . MoDELS, volume 4735 of Lecture Notes in Computer Science, page 121-135. Springer, (2007)Matching Model-Snippets, , and . (2007)Day-ahead Schedule Considering the Participation of Electric Vehicles in Primary Frequency Response., , , , , and . CoRR, (2022)Uma Extensão do RUP para Modelagem Rigorosa de Sistemas Concorrentes., , and . SBES, page 113-128. SBC, (2006)Desenvolvimento Rigoroso com UML-RT. Universidade Federal de Pernambuco, (April 2005)Transformation Laws for UML-RT, , and . (2006)Texture extraction: An evaluation of ridgelet, wavelet and co-occurrence based methods applied to mammograms., , and . Expert Syst. Appl., 39 (12): 11036-11047 (2012)IRIS-GRAPE: An approach for prediction of quality attributes in vineyard grapes inspired by iris biometric recognition., , , , and . Comput. Electron. Agric., (2020)