Follow
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
3521980
Note on a “square” functional equation
RG Stanton, DD Cowan
Siam review 12 (2), 277-279, 1970
691970
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
392011
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
302004
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
291986
The petrochemistry of the amphibolites of the Holleindalen greenstone group, Jotunheimen, Norway
RB Elliott, DR Cowan
Norsk geol. tidsskr 46 (3), 309-326, 1966
281966
A decomposition method for the validation of structured protocols
ST Vuong, DD Cowan
Proc. IEEE INFOCOM 82, 209-219, 1982
271982
A service-oriented monitoring registry
B Kalali, P Alencar, D Cowan
Proceedings of the 2003 conference of the Centre for Advanced Studies on …, 2003
252003
A catalogue of agile smells for agility assessment
U Telemaco, T Oliveira, P Alencar, D Cowan
IEEE Access 8, 79239-79259, 2020
242020
Pair-coverings with restricted largest block length
RG Stanton, JL Allston, DD Cowan
Ars Combinatoria 11, 85-98, 1981
231981
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
212009
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
211982
A framework for software architecture verification
K Lichtner, P Alencar, D Cowan
Proceedings 2000 Australian Software Engineering Conference, 149-157, 2000
162000
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
142013
Towards a declarative approach to framework instantiation
TC Oliveira, P Alencar, D Cowan
Declarative Meta Programming to Support Software Development, 5, 2002
142002
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
122005
Exploring context-aware conversational agents in software development
G Melo, E Law, P Alencar, D Cowan
arXiv preprint arXiv:2006.02370, 2020
112020
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
111998
Tripartite path numbers
RG Stanton, LO James, DD Cowan
Graph theory and computing, 285-294, 1972
111972
Natural language-based representation of user preferences
I Nunes, SDJ Barbosa, D Cowan, S Miles, M Luck, CJP de Lucena
Interacting with Computers 27 (2), 133-158, 2015
92015
The system can't perform the operation now. Try again later.
Articles 1–20