Search Results - "Gates, A.Q."

A taxonomy and catalog of runtime software-fault monitoring tools by Delgado, N., Gates, A.Q., Roach, S.

“…A goal of runtime software-fault monitoring is to observe software behavior to determine whether it complies with its intended behavior. Monitoring allows one…”
Get full text

Discovery, Innovation, and Creativity: The Core of Computing by Gates, A.Q.

“…Entrepreneurship in the computing course was the topic in this paper. Discovery, innovation, and creativity were the core aspects of computing that was…”
Get full text

A computational introduction to programming, mathematical modeling, and elementary mechanics by Freudenthal, E., Roy, M.K., Ogrey, A., Siegel, A., Gates, A.Q.

“…In Fall 2007, the Computer Science Department of the University of Texas at El Paso introduced a media-centric introductory programming course informally…”
Get full text

Verification of Automatically Generated Pattern-Based LTL Specifications by Salamah, S., Gates, A.Q., Kreinovich, V., Roach, S.

“…The use of property classifications and patterns, i.e., high-level abstractions that describe common behavior, have been shown to assist practitioners in…”
Get full text

Work in progress - CS0 course implementation in Computer Science by Beheshti, M., Alo, R.A., Fernandez, J., Gates, A.Q., Ranjan, D., Boadi, A., Villaverde, K., Hug, S., Thiry, H., Barker, L.

“…The Computing Alliance of Hispanic Serving Institutions (http://cahsi.fiu.edu), a consortium of 7 institutions focused on the recruitment, retention, and…”
Get full text

Panel Session - Effective Strategies to Diversify Engineering Faculty by Frehill, L.M., Gates, A.Q., Castillo, S.P., Macari, E.J., Regan, A.

“…What role do department chairs and deans play in ensuring faculty diversity? This panel presents strategies developed in several contexts including those that…”
Get full text

Towards automatic detection of erroneous measurement results in a gravity database by Qian Wen, Gates, A.Q., Beck, J., Kreinovich, V., Keller, G.R.

“…Geospatial databases often contain erroneous measurements. For some such databases such as gravity databases, the known methods of detecting erroneous…”
Get full text

How can symposia be structured to benefit both industry and academia? by Gates, A.Q.

Get full text

JavaMaC and runtime monitoring for geoinformatics grid services by Gates, A.Q., Roach, S., Gallegos, I., Ochoa, O., Sokolsky, O.

“…The Geoscience Network (GEON) project is a collaborative effort among numerous institutions to create the geoinformatics infrastructure. Because of the…”
Get full text

Improving Pattern-Based LTL Formulas for Automata Model Checking by Salamah, S., Gates, A.Q., Roach, S.

“…The Property Specification (Prospec) tool uses patterns and scopes defined by Dwyer et. al., to generate formal specifications in linear temporal logic (LTL)…”
Get full text

Program synthesis from Workflow-Driven Ontologies by Salayandia, L., Roach, S., Gates, A.Q.

“…An approach that results in the development of Workflow-Driven Ontologies (WDO) (called the WDO approach) allows domain scientists to capture process knowledge…”
Get full text

GEO-SEED: A Metadata Repository for Geosciences Web Service Discovery by Brazier, P., Chebotko, A., Gates, A.Q., Salayandia, L.

“…We propose a framework, which blends Web 2.0 and semantic Web technologies, to collect semantic descriptions of Web services and other software that enables…”
Get full text

DynaMICs: an automated and independent software-fault detection approach by Gates, A.Q., Teller, P.J.

“…Computers are omnipresent in our society, creating a reliance that demands high-assurance systems. Traditional verification and validation approaches may not…”
Get full text

Integrating a problem-solving methodology and group skills into CS1 by Gates, A.Q.

“…Many industry leaders recognize the importance of introducing software engineering techniques and group skills into the curriculum early in a computer science…”
Get full text

Applying the Affinity Research Group model to computer science research projects by Teller, P.J., Gates, A.Q.

“…The Affinity Research Group model provides students with opportunities to learn, use, and integrate the knowledge and skills required for research with the…”
Get full text

A structured approach for managing a practical software engineering course by Gates, A.Q., Delgado, N., Mondragon, O.

“…The challenges of teaching software engineering include achieving functioning teams, enforcing individual accountability, ensuring progress of the students,…”
Get full text

Instrumentation of intermediate code for runtime verification by Gates, A.Q., Mondragon, O., Payne, M., Roach, S.

“…Runtime monitoring is aimed at ensuring correct runtime behavior with respect to specified constraints. It provides assurance that properties are maintained…”
Get full text

Composite propositions: toward support for formal specification of system properties by Mondragon, O.A., Gates, A.Q., Roach, S.M.

“…Formal specification and analysis of software properties can be useful in reducing the number of errors in production software. More intuitive methods of…”
Get full text

The identification of integrity constraints in requirements for context monitoring by Gates, A.Q., Kubo Della-Piana, C.

“…The rapid advancement of technology has created the demand for more complex systems that require deep and diverse application-specific knowledge. Building such…”
Get full text

Towards the design of a snoopy coprocessor for dynamic software-fault detection by Teller, P.J., Maxwell, M.E., Gates, A.Q.

“…Dynamic Monitoring with Integrity Constraints (DynaMICs) is a software-fault monitoring approach in which the constraints are maintained separately from the…”
Get full text