Software Engineering Institute

Santiago Comella-Dorda

Software Engineering Institute

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