Ann C. Gates
Ann C. Gates
Professor of Computer Science, UTEP
Verifierad e-postadress på utep.edu
Titel
Citeras av
Citeras av
År
A taxonomy and catalog of runtime software-fault monitoring tools
N Delgado, AQ Gates, S Roach
IEEE Transactions on software Engineering 30 (12), 859-872, 2004
4722004
Expanding participation in undergraduate research using the affinity group model
AQ Gates, PJ Teller, A Bernat, N Delgado, CK Della‐Piana
Journal of Engineering Education 88 (4), 409-414, 1999
691999
Prospec: Support for elicitation and formal specification of software properties
O Mondragon, AQ Gates, S Roach
Electronic Notes in Theoretical Computer Science 89 (2), 67-88, 2003
562003
Meeting the challenge of expanding participation in the undergraduate research experience
AQ Gates, PJ Teller, A Bernat, N Delgado, CK Della-Piana
FIE'98. 28th Annual Frontiers in Education Conference. Moving from'Teacher …, 1998
541998
DynaMICs: Comprehensive support for run-time monitoring
AQ Gates, S Roach, O Mondragon, N Delgado
Electronic Notes in Theoretical Computer Science 55 (2), 164-180, 2001
512001
Supporting elicitation and specification of software properties through patterns and composite propositions
OA Mondragon, AQ Gates
International Journal of Software Engineering and Knowledge Engineering 14 …, 2004
462004
Languages for the Specification of Software
D Cooke, A Gates, E Demirörs, O Demirörs, MM Tanik, B Krämer
Journal of Systems and Software 32 (3), 269-308, 1996
431996
Workflow-driven ontologies: An earth sciences case study
L Salayandia, PP Da Silva, AQ Gates, F Salcedo
2006 Second IEEE International Conference on e-Science and Grid Computing (e …, 2006
392006
Affinity research groups in practice: Apprenticing students in research
EQ Villa, K Kephart, AQ Gates, H Thiry, S Hug
Journal of Engineering Education 102 (3), 444-466, 2013
382013
A community effort to construct a gravity database for the United States and an associated Web portal
GR Keller, TG Hildenbrand, R Kucks, M Webring, A Briesacher, ...
SPECIAL PAPERS-GEOLOGICAL SOCIETY OF AMERICA 397, 21, 2006
342006
A structured approach for managing a practical software engineering course
AQ Gates, N Delgado, O Mondragón
30th Annual Frontiers in Education Conference. Building on A Century of …, 2000
312000
GEON: Geophysical data add the 3rd dimension in geospatial studies
R Aldouri, GR Keller, AQ Gates, J Rasillo, L Salayandia, V Kreinovich, ...
252004
A collaborative, interdisciplinary initiative for a smart cities innovation network
N Villanueva-Rosales, RL Cheu, A Gates, N Rivera, O Mondragon, ...
2015 IEEE First International Smart Cities Conference (ISC2), 1-2, 2015
242015
Using the affinity research group model to involve undergraduate students in computer science research
PJ Teller, AQ Gates
Journal of Engineering Education 90 (4), 549-555, 2001
242001
On the development of a method to synthesize programs from requirements specifications
DE Cooke, ANN GATES
International Journal of Software Engineering and Knowledge Engineering 1 …, 1991
241991
The computing alliance of Hispanic-serving institutions: Supporting Hispanics at critical transition points
AQ Gates, S Hug, H Thiry, R Aló, M Beheshti, J Fernandez, N Rodriguez, ...
ACM Transactions on Computing Education (TOCE) 11 (3), 1-21, 2011
232011
DynaMICs: An automated and independent software-fault detection approach
AQ Gates, PJ Teller
Proceedings 4th IEEE International Symposium on High-Assurance Systems …, 1999
231999
Defining a program behavior model for dynamic analyzers
M Auguston, A Gates, M Lujan
Proceedings of the 9th International Conference on Software Engineering and …, 1997
231997
Structuring the student research experience
A Bernat, PJ Teller, A Gates, N Delgado
Proceedings of the 5th annual SIGCSE/SIGCUE ITiCSEconference on Innovation …, 2000
222000
Validated templates for specification of complex LTL formulas
S Salamah, A Gates, V Kreinovich
Journal of Systems and Software 85 (8), 1915-1929, 2012
212012
Systemet kan inte utföra åtgärden just nu. Försök igen senare.
Artiklar 1–20