Software Engineering Institute

Santiago Comella-Dorda

Santiago Comella-Dorda is an SEI alumni employee.

All

A Process for COTS Software Product Evaluation

July 1, 2004 • Technical Report

By Santiago Comella-Dorda , John Dean , Grace Lewis , Edwin J. Morris , Tricia Oberndorf , Erin Harper

Model-Based Verification: Abstraction Guidelines

October 1, 2002 • Technical Note

By John J. Hudak , Santiago Comella-Dorda , David P. Gluch , Grace Lewis , Charles Weinstock

Model-Based Verification: An Engineering Practice

August 1, 2002 • Technical Report

By David P. Gluch , Santiago Comella-Dorda , John J. Hudak , Grace Lewis , Julie A. Walker , Charles Weinstock , David Zubrow

Model-Based Verification: Guidelines for Generating Expected Properties

January 1, 2002 • Technical Note

By David P. Gluch , Santiago Comella-Dorda , John J. Hudak , Grace Lewis , Charles Weinstock

Model-Based Verification: Analysis Guidelines

December 1, 2001 • Technical Note

By Grace Lewis , Santiago Comella-Dorda , David P. Gluch , John J. Hudak , Charles Weinstock

More from Santiago Comella-Dorda