Oscar A. Mondragon, Ph.D.
Affiliations: | 2004 | University of Texas at El Paso, El Paso, TX, United States |
Area:
Computer ScienceGoogle:
"Oscar Mondragon"Parents
Sign in to add mentor| Ann Q. Gates | grad student | 2004 | UT El Paso | |
| (Elucidation and specification of software properties through patterns and composite propositions to support formal verification techniques.) | ||||
BETA: Related publications
See more...
Publications
|
You can help our author matching system! If you notice any publications incorrectly attributed to this author, please sign in and mark matches as correct or incorrect. |
| Mondragon OA, Gates AQ, Roach S, et al. (2007) Generating properties for runtime monitoring from software specification patterns International Journal of Software Engineering and Knowledge Engineering. 17: 107-126 |
| Mondragón OA, Gates AQ. (2004) Supporting elicitation and specification of software properties through patterns and composite propositions International Journal of Software Engineering and Knowledge Engineering. 14: 21-41 |
| Mondragon OA, Gates AQ, Roach SM. (2003) Composite propositions: Toward support for formal specification of system properties Proceedings - 27th Annual Nasa Goddard / Ieee Software Engineering Workshop, Sew 2002. 67-74 |
| Mondragón O, Gates AQ, Roach S. (2003) Prospec: Support for elicitation and formal specification of software properties Electronic Notes in Theoretical Computer Science. 89: 71-92 |
| Gates AQ, Mondragon O. (2002) FasTLInC: A constraint-based tracing approach Journal of Systems and Software. 63: 241-258 |
| Gates AQ, Roach S, Mondragon O, et al. (2001) DynaMICs: Comprehensive support for run-time monitoring Electronic Notes in Theoretical Computer Science. 55: 164-180 |