Toronto, Ontario, Canada
John E. Botsford
, Ann Gawman
, W. Morven Gentleman
, Evelyn Kidd
, Kelly A. Lyons
, Jacob Slonim
, J. Howard Johnson
(Eds.): Proceedings of the 1994 Conference of the Centre for Advanced Studies on Collaborative Research, October 31 - November 3, 1994, Toronto, Ontario, Canada.
Gopi K. Attaluri
: An efficient expected cost algorithm for dynamic indexing of spatial objects.
Richard C. Bodner
: A comparison of identification rates of static and animated buttons.
: Self-testing software probe system for failure detection and diagnosis.
: Investigating coverage-reliability relationship and sensitivity of reliability to errors in the operational profile.
: Using objects in shared memory for C++ application.
: An automated internet resource discovery system.
: Test case generation for specification-based software testing.
Daniel M. Germán
: An SGML-based programming environment for literate programming.
, Martin Stanley
, Kenny Wong
, Morris Bernstein
, Renato de Mori
, Graham W. Ewart
, Kostas Kontogiannis
, Ettore Merlo
, Hausi A. Müller
, Scott R. Tilley
, Marijana Tomic
: Towards an integrated toolset for program understanding.
Amit M. Paradkar
: On the experience of using cause-effect graphs for software specification and test generation.
: Obstacles to transparent heterogeneity in a distributed programming environment.
: Modeling and querying software repositories.
David M. Raffo
: Capturing software process and product characteristics in process models using task element decomposition.
Darrell R. Raymond
: Grail: a C++ library for finite-state machines and regular expressions.
Carolyn B. Seaman
: Using the OPT improvement approach in the SQL/DS development environment.
: Automatic source-file dependency structure extraction for C programs.
: View maintenance in relational and deductive databases by incremental query evaluation.
: Software understanding through integrated structural and run-time analysis.
Seong R. Yu
: A versatile development process for small to large projects using IBM CMVC.
: A formal specification model and its application in multidatabase systems.