Author: Peter Bumbulis
Publication Overview
Publication period start: 1996
Number of co-authors: 3
Co-Authors
Number of publications with favourite co-authors
Productive Colleagues
Most productive colleagues in number of publications
Publications
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.