Thiago C. de Sousa

Publication Activity (10 Years)

Years Active: 2010-2017
Publications (10 Years): 4

Top Topics

Formal Semantics

Software Engineers

Top Venues

Publications

Thiago C. de Sousa, Luciano Kelvin, Constantino D. Neto, Carlos Giovanni Nunes de Carvalho
A Formal Semantics for Use Case Diagram Via Event-B. J. Softw. 12 (3) (2017)
Claudia de O. Melo, Thiago C. de Sousa
Reflections on Cyberethics Education for Millennial Software Engineers. CoRR (2017)
Claudia de O. Melo, Thiago C. de Sousa
Reflections on Cyberethics Education for Millennial Software Engineers. SECM@ICSE (2017)
Fábio Levy Siqueira, Thiago C. de Sousa, Paulo Sérgio Muniz Silva
Using BDD and SBVR to Refine Business Goals into an Event-B Model: A Research Idea. FormaliSE@ICSE (2017)
Thiago C. de Sousa, Paulo Sérgio Muniz Silva, Colin F. Snook
A Practical Event-B Refinement Method Based on a UML-Driven Development Process. ABZ (2012)
Thiago C. de Sousa, Colin F. Snook, Paulo Sérgio Muniz Silva
A proposal for extending UML-B to support a conceptual model. Innov. Syst. Softw. Eng. 7 (4) (2011)
Thiago C. de Sousa, Jorge R. Almeida Jr., Sidney Viana, Judith Pavón
Automatic analysis of requirements consistency with the B method. ACM SIGSOFT Softw. Eng. Notes 35 (2) (2010)
Thiago C. de Sousa, Aryldo G. Russo
Starting B Specifications from Use Cases. ASM (2010)