Author: Paulo S. C. Alencar

Publications

Publication period start: 1996
Number of co-authors: 4

Co-authors

Number of publications with favourite co-authors
Peter Bumbulis
2
Carlos Jose Pereira de Lucena
2
Donald D. Cowan
3

Productive Colleagues

Most productive colleagues in number of publications
Peter Bumbulis
2
Donald D. Cowan
7
Carlos Jose Pereira de Lucena
10

Publications

Nelson, Maria Augusta V., Cowan, Donald D., Alencar, Paulo S. C. (2001): Geographic Problem Frames. In: 5th IEEE International Symposium on Requirements Engineering RE 2001 27-31 August, 2001, Toronto, Canada. pp. 306-307. https://csdl.computer.org/comp/proceedings/re/2001/1125/00/11250306abs.htm

Bumbulis, Peter, Alencar, Paulo S. C., Cowan, Donald D., Lucena, Carlos Jose Pereira de (1995): Combining Formal Techniques and Prototyping in User Interface Construction and Verificatio. In: Palanque, Philippe A., Bastide, Remi (eds.) DSV-IS 1995 - Design, Specification and Verification of Interactive Systems 95, Proceedings of the Eurographics Workshop June 7-9, 1995, Toulouse, France. pp. 174-192.

Bumbulis, Peter, Alencar, Paulo S. C., Cowan, Donald D., Lucena, Carlos Jose Pereira de (1996): Validating Properties of Component-based Graphical User Interfaces. In: Bodart, Francois, Vanderdonckt, Jean M. (eds.) DSV-IS 1996 - Design, Specification and Verification of Interactive Systems96, Proceedings of the Third International Eurographics Workshop June 5-7, 1996, Namur, Belgium. pp. 347-365.