Ann Q. Gates

Assistant Professor of Computer Science

University of Texas at El Paso, El Paso, TX

B.S. in Mathematics (1970)

University of Texas at El Paso, El Paso, TX

M.S. in Computer Science (1990)

University of Texas at El Paso, El Paso, TX

Ph.D. in Computer Science (1994)

New Mexico State University, Las Cruces, NM

Honors, Awards, and Professional Service

• Phi Kappa Phi Honor Society
• General Electric Faculty for the Future Fellowship 1990-1991
• New Mexico Commission for Higher Education Fellowship 1991-1993

Areas of Interest

Software Engineering, Programming Languages

Summary of Research

I am interested in the use of integrity constraints in a programming language as a software development and software maintenance tool, specification languages, rapid prototyping and reusability.

Selected Recent Publications

Cooke, D., Demirors, E., Demirors, O., Gates, A., Kramer, B., Tanik, M., "Languages for the Specification of Software", to appear in Journal of Systems and Software.

Cooke, D., Gates, A., "On the Development of a Method to Synthesize Programs from Requirements Specifications", International Journal of Software Engineering and Knowledge Engineering, 1(1), 1991, 21-38.

Cooke, D., Duran, R., Gates, A., Kreinovich, V., "Bag Languages, Concurrency, Horn Logic Programs, and Linear Logic", Proceedings of the Sixth International Conference on Software Engineering and Knowledge Engineering, IEEE Computer Society and Knowledge Systems Institute, pp. 289-297, 1994.

Contact Information