Richard Covington

According to our database, Richard Covington authored at least 7 papers between 1988 and 2006.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2006

Freeware-Based Development Projects As a Learning Framework for Upper-Division Database Course.

Son Pham, Rick Covington

Proceedings of the 2006 International Conference on Frontiers in Education: Computer Science & Computer Engineering, 2006

1998

Experiences Using Lightweight Formal Methods for Requirements Modeling.

Steve M. Easterbrook, Robyn R. Lutz, Richard Covington, John Kelly, Yoko Ampo, David Hamilton

IEEE Trans. Software Eng., 1998

1995

Experiences in applying formal methods to the analysis of software and system requirements.

David Hamilton, Richard Covington, John Kelly, Carron Kirkwood, Muffy Thomas, Alan R. Flora-Holmquist, Mark G. Staskauskas, Steven P. Miller, Mandayam K. Srivas, George Cleland, Donald MacKenzie

Proceedings of the Workshop on Industrial-Strength Formal Specification Techniques, 1995

An experience report on requirements reliability engineering using formal methods.

David Hamilton, Richard Covington, Alice T. Lee

Proceedings of the Sixth International Symposium on Software Reliability Engineering, 1995

1991

Efficient Simulation of Parallel Computer Systems.

Richard Covington, Sandhya Dwarkadas, J. Robert Jump, James B. Sinclair, Sridhar Madala

Int. J. Comput. Simul., 1991

1989

Cross-profiling as an efficient technique in simulating parallel computer systems.

Richard Covington, J. Robert Jump, James B. Sinclair

Proceedings of the 13th Annual International Computer Software and Applications Conference, 1989

1988

The Rice Parallel Processing Testbed.

Richard Covington, Sridhar Madala, V. Mehta, J. Robert Jump, James B. Sinclair

Proceedings of the 1988 ACM SIGMETRICS conference on Measurement and modeling of computer systems, 1988