Don Cowan
Don Cowan
Disitnguished Professor Emeritus, University of Waterloo
Verified email at uwaterloo.ca
Title
Cited by
Cited by
Year
Towards analyzing and synthesizing protocols
P Zafiropulo, C West, H Rudin, D Cowan, D Brand
IEEE Transactions on Communications 28 (4), 651-661, 1980
3301980
ReuseTool—An extensible tool support for object-oriented framework reuse
TC Oliveira, P Alencar, D Cowan
Journal of Systems and Software 84 (12), 2234-2252, 2011
352011
Valira| a tool for protocol validation via reachability analysis
ST Vuong, DD Hui, DD Cowan
Proc. 6th int. symp. on protocol specification, testing and verification, 1986
271986
Software process representation and analysis for framework instantiation
TC Oliveira, CJP de Lucena, PSC Alencar, DD Cowan
IEEE Transactions on Software Engineering 30 (3), 145-159, 2004
262004
A decomposition method for the validation of structured protocols
ST Vuong, DD Cowan
Proc. IEEE INFOCOM, 209-220, 1982
261982
The petrochemistry of the amphibolites of the Holleindalen greenstone group, Jotunheimen, Norway
RB Elliott, DR Cowan
Norsk. geol. Tidsskr 46, 309-325, 1966
221966
A service-oriented monitoring registry
B Kalali, P Alencar, D Cowan
Proceedings of the 2003 conference of the Centre for Advanced Studies on …, 2003
212003
Lightweight query-based analysis of workflow process dependencies
W Dai, D Covvey, P Alencar, D Cowan
Journal of Systems and Software 82 (6), 915-931, 2009
202009
Faculty reflections on online course development and implementation for teacher education.
H Kress, A Thering, C Lalonde, S Kim, L Cleeton
International Journal of Technology, Knowledge & Society 8 (1), 2012
192012
Protocol analysis and synthesis using a state transition model
P Zafiropulo, CH West, H Rudin, DD Cowan, D Brand
Computer Network Architectures and Protocols, 645-669, 1982
161982
A framework for software architecture verification
K Lichtner, P Alencar, D Cowan
Proceedings 2000 Australian Software Engineering Conference, 149-157, 2000
152000
A framework for software architecture verification
K Lichtner, P Alencar, D Cowan
Proceedings 2000 Australian Software Engineering Conference, 149-157, 2000
152000
21st Century Learning: How College Classroom Interaction will Change in the Decades Ahead.
B Stillar
International Journal of Technology, Knowledge & Society 8 (1), 2012
142012
Evaluating Web Accessibility of University Web Sites in the Kingdom of Saudi Arabia.
M Masood Rana, M Fakrudeen, U Rana
International Journal of Technology, Knowledge & Society 7 (3), 2011
142011
Authoring and generation of tailored preoperative patient education materials
C DiMarco, P Bray, D Covvey, D Cowan, V DiCiccio, E Hovy, J Lipa, ...
Workshop on personalisation in e-health, user modelling conference …, 2005
132005
Towards a declarative approach to framework instantiation
TC Oliveira, P Alencar, D Cowan
Proc. of the Workshop on Declarative Metaprogramming to Support Software …, 2002
132002
The web-based informatics development environment (WIDE)
D Cowan, S Fenton, D Mulholland
The University of Waterloo: Computer Systems Group. Retrieved November 22, 2011, 2006
102006
Using Viewpoints to Derive a Conceptual Model for Web-Based Education Environments
P Alencar, D Cowan, S Crespo, MF Fontoura, CJ Lucena
MCC17/98, Monografias em Ciência da Computação, Departamento de Informática …, 1998
101998
A Query-Based Approach for Aspect Measurement and Analysis
P Alencar, E Barrenechea, A Garcia, C Lucena, D Cowan
TR CS-2004-13, School of Computer Science, Univ. of Waterloo, Canada, 2004
92004
Examining the potential use of the collaborative-geomatics informatics tool to foster intergenerational transfer of knowledge in a remote first nation community
A Isogai, DD McCarthy, HL Gardner, JD Karagatzides, S Vandenberg, ...
The Australian Journal of Indigenous Education 42 (1), 44-57, 2013
82013
The system can't perform the operation now. Try again later.
Articles 1–20