Thiago C. de Sousa Coauthor index pubzone.org

List of publications from the DBLP Bibliography Server - FAQ
Other views: by type - by year (modern) - classic-C
Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo
DBLP keys2012
c2Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
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: 357-360
2011
j2Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Thiago C. de Sousa, Colin F. Snook, Paulo Sérgio Muniz Silva: A proposal for extending UML-B to support a conceptual model. ISSE 7(4): 293-301 (2011)
2010
j1Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Thiago C. de Sousa, Jorge R. Almeida Jr., Sidney Viana, Judith Pavón: Automatic analysis of requirements consistency with the B method. ACM SIGSOFT Software Engineering Notes 35(2): 1-4 (2010)
c1Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Thiago C. de Sousa, Aryldo G. Russo: Starting B Specifications from Use Cases. ASM 2010: 411

Coauthor Index

1Jorge R. Almeida Jr.
[j1]
2Judith Pavón
[j1]
3Aryldo G. Russo
[c1]
4Paulo Sérgio Muniz Silva
[c2] [j2]
5Colin F. Snook
[c2] [j2]
6Sidney Viana
[j1]

Colors in the list of coauthors

Home | Conferences | Journals | Series | FAQ — Search: Faceted | Free | Complete | Author
Last update Fri May 24 22:26:43 2013 CET by the DBLP Team — This material is Open Data Data released under the ODC-BY 1.0 license — See also our legal information page