( en | de | ru )

 

Disambiguation of "de Sousa, Thiago C."

Author of the publication

copydeleteadd this publication to your clipboard
Automatic analysis of requirements consistency with the B method.

, , , and . ACM SIGSOFT Softw. Eng. Notes, 35 (2): 1-4 (2010)

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.

Theresa de Sousa

Ágabo Borges de Sousa

Thiago Marrara

Thiago Rausch

Thiago Aquino

 

Other publications of authors with the same name

A Practical Event-B Refinement Method Based on a UML-Driven Development Process., , and . ABZ, volume 7316 of Lecture Notes in Computer Science, page 357-360. Springer, (2012)A Formal Semantics for Use Case Diagram Via Event-B., , , and . J. Softw., 12 (3): 189-200 (2017)Automatic analysis of requirements consistency with the B method., , , and . ACM SIGSOFT Softw. Eng. Notes, 35 (2): 1-4 (2010)Reflections on Cyberethics Education for Millennial Software Engineers., and . SECM@ICSE, page 40-46. IEEE, (2017)Using BDD and SBVR to Refine Business Goals into an Event-B Model: A Research Idea., , and . FormaliSE@ICSE, page 31-36. IEEE, (2017)A proposal for extending UML-B to support a conceptual model., , and . Innov. Syst. Softw. Eng., 7 (4): 293-301 (2011)Starting B Specifications from Use Cases., and . ASM, volume 5977 of Lecture Notes in Computer Science, page 411. Springer, (2010)