Thiago C. de Sousa

According to our database, Thiago C. de Sousa authored at least 7 papers between 2010 and 2017.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of five.

2017

A Formal Semantics for Use Case Diagram Via Event-B.

Thiago C. de Sousa, Luciano Kelvin, Constantino D. Neto, Carlos Giovanni Nunes de Carvalho

J. Softw., 2017

Using BDD and SBVR to Refine Business Goals into an Event-B Model: A Research Idea.

Fábio Levy Siqueira, Thiago C. de Sousa, Paulo Sérgio Muniz Silva

Proceedings of the 5th IEEE/ACM International FME Workshop on Formal Methods in Software Engineering, 2017

Reflections on Cyberethics Education for Millennial Software Engineers.

Claudia de O. Melo, Thiago C. de Sousa

Proceedings of the 1st IEEE/ACM International Workshop on Software Engineering Curricula for Millennials, 2017

2012

A Practical Event-B Refinement Method Based on a UML-Driven Development Process.

Thiago C. de Sousa, Paulo Sérgio Muniz Silva, Colin F. Snook

Proceedings of the Abstract State Machines, Alloy, B, VDM, and Z, 2012

2011

A proposal for extending UML-B to support a conceptual model.

Thiago C. de Sousa, Colin F. Snook, Paulo Sérgio Muniz Silva

Innov. Syst. Softw. Eng., 2011

2010

Automatic analysis of requirements consistency with the B method.

Thiago C. de Sousa, Jorge R. Almeida Jr., Sidney Viana, Judith Pavón

ACM SIGSOFT Softw. Eng. Notes, 2010

Starting B Specifications from Use Cases.

Thiago C. de Sousa, Aryldo G. Russo

Proceedings of the Abstract State Machines, 2010