Author of the publication

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

Flexible Transformation Language., , and . WRT, page 9-10. (2007)Using CafeOBJ to Mechanise Refactoring Proofs and Application., , and . SBMF, volume 184 of Electronic Notes in Theoretical Computer Science, page 39-61. Elsevier, (2005)ReFlex: An Efficient Graph-Based Rule Engine to Execute Declarative Processes., , , and . SMC, page 1379-1384. IEEE, (2013)A JML Compiler Based on AspectJ., , , and . ICST, page 541-544. IEEE Computer Society, (2008)Object-oriented Programming Laws for Annotated Java Programs, , , and . RULE, volume 21 of EPTCS, page 65-76. (2009)An integrated semantics for reasoning about SysML design models using refinement., , , , , , , , and . Softw. Syst. Model., 16 (3): 875-902 (2017)Structuring Meachanisms for an Object-Oriented Formal Specification Language., and . ICSR, volume 1844 of Lecture Notes in Computer Science, page 402-419. Springer, (2000)A Formal Semantics for SysML Activity Diagrams., , and . SBMF, volume 8195 of Lecture Notes in Computer Science, page 179-194. Springer, (2013)GA-based method for feature selection and parameters optimization for machine learning regression applied to software effort estimation., , , and . Inf. Softw. Technol., 52 (11): 1155-1166 (2010)Guest editorial for the special issue from the 18th Brazilian Symposium on Formal Methods (SBMF 2015)., and . Sci. Comput. Program., (2019)