Bruno Emerson Gurgel Gomes

According to our database, Bruno Emerson Gurgel Gomes authored at least 5 papers between 2005 and 2010.

Collaborative distances:

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

2010

Applying the B Method for the Rigorous Development of Smart Card Applications.

Bruno Emerson Gurgel Gomes, David Déharbe, Anamaria Martins Moreira, Katia Moraes

Proceedings of the Abstract State Machines, 2010

2009

Refining interfaces: the case of the B method

David Déharbe, Bruno Emerson Gurgel Gomes, Anamaria Martins Moreira

CoRR, 2009

2008

BSmart: A Tool for the Development of Java Card Applications with the B Method.

David Déharbe, Bruno Emerson Gurgel Gomes, Anamaria Martins Moreira

Proceedings of the Abstract State Machines, B and Z, First International Conference, 2008

2006

Automation of Java Card component development using the B method.

David Déharbe, Bruno Emerson Gurgel Gomes, Anamaria Martins Moreira

Proceedings of the 11th International Conference on Engineering of Complex Computer Systems (ICECCS 2006), 2006

2005

Developing Java Card Applications with B.

Bruno Emerson Gurgel Gomes, Anamaria Martins Moreira, David Déharbe

Proceedings of the Second Brazilian Symposium on Formal Methods, 2005