Software Engineering Institute | Carnegie Mellon University
Software Engineering Institute | Carnegie Mellon University

Digital Library

Javascript is currently disabled for your browser. For an optimal search experience, please enable javascript.

Advanced Search

Basic Search

Content Type

Topics

Publication Date

Santiago Comella-Dorda
July 2004 - Technical Report A Process for COTS Software Product Evaluation

Topics: System of Systems

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

This 2004 report focuses on COTS product evaluations conducted for the purpose of selecting products to meet a known need in a system.

October 2002 - Technical Note Model-Based Verification: Abstraction Guidelines

Topics: Performance and Dependability

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

This 2002 report presents abstraction techniques that can be used to build essential models of system behavior in the context of MBV and details a methodology for creating state machine models using those techniques.

August 2002 - Technical Report Model-Based Verification: An Engineering Practice

Topics: Performance and Dependability

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

This 2002 report summarizes MBV and outlines the responsibilities of engineers engaged in Model-Based Verification.

January 2002 - Technical Note Model-Based Verification: Guidelines for Generating Expected Properties

Topics: Performance and Dependability

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

This report presents a basic set of guidelines to facilitate the generation of expected properties in the context of Model-Based Verification.

December 2001 - Technical Note Model-Based Verification: Analysis Guidelines

Topics: Performance and Dependability

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

This technical note provides guidance for the analysis activity that occurs during the interpretation of results produced by model-checking tools.

October 2001 - Technical Note Model-Based Verification: Claim Creation Guidelines

Topics: Performance and Dependability

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

This 2001 report describes a pattern-based approach to facilitate claim generation.

October 2001 - Technical Note Model-Based Verification: Scope, Formalism, and Perspective Guidelines

Topics: Performance and Dependability

Authors: David P. Gluch, Santiago Comella-Dorda, John J. Hudak, Grace Lewis, Julie A. Walker, Charles B. Weinstock

This report provides guidance for defining the scope, formalism, and perspective for applying MBV, a systematic approach to finding defects in software requirements, designs, or code.

October 2001 - Technical Report An Enterprise Information System Data Architecture Guide

Authors: Grace Lewis, Santiago Comella-Dorda, Patrick R. Place, Daniel Plakosh, Robert C. Seacord

This report describes a sample data architecture in terms of a collection of generic architectural patterns that define and constrain how data is managed in a system that uses the J2EE platform and the OAGIS.

August 2001 - Technical Report Maintaining Transactional Context: A Model Problem

Authors: Daniel Plakosh, Santiago Comella-Dorda, Patrick R. Place, Robert C. Seacord, Grace Lewis

This 2001 report outlines a model problem constructed to verify the feasibility of building a mechanism to modernize a legacy system.

July 2001 - Technical Note Incremental Modernization for Legacy Systems

Authors: Santiago Comella-Dorda, Grace Lewis, Patrick R. Place, Daniel Plakosh, Robert C. Seacord

This 2001 report shows an objective technique for developing an incremental code-migration strategy for large legacy Common Business-Oriented Language (COBOL) systems.

July 2001 - Technical Report Legacy System Modernization Strategies

Topics: System of Systems

Authors: Robert C. Seacord, Santiago Comella-Dorda, Grace Lewis, Patrick R. Place, Daniel Plakosh

This 2001 report discusses alternative development approaches for incrementally modernizing legacy systems.

May 2000 - Technical Report Volume II: Technical Concepts of Component-Based Software Engineering, 2nd Edition

Authors: Felix Bachmann, Len Bass, Charles Buhman, Santiago Comella-Dorda, Fred Long, John E. Robert, Robert C. Seacord, Kurt C. Wallnau

The objective of this study is to determine whether CBSE has the potential to advance the state of software engineering practice and, if so, whether the SEI can contribute to this advancement.

May 2000 - Technical Note Volume I: Market Assessment of Component-Based Software Engineering Assessments

Authors: Len Bass, Charles Buhman, Santiago Comella-Dorda, Fred Long, John E. Robert, Robert C. Seacord, Kurt C. Wallnau

This 2001 report examines software component technology from a business perspective.

April 2000 - Technical Note A Survey of Legacy System Modernization Approaches

Authors: Santiago Comella-Dorda, Kurt C. Wallnau, Robert C. Seacord, John E. Robert

This report, published in 2000, provides a survey of modernization techniques including screen scraping, database gateway, XML integration, database replication, CGI integration, object-oriented wrapping, and "componentization" of legacy systems.

July 1999 - Technical Note Custom vs. Off-the-Shelf Architecture

Topics: System of Systems

Authors: Robert C. Seacord, Kurt C. Wallnau, John E. Robert, Santiago Comella-Dorda, Scott Hissam

This report compares GEE-based solutions and off-the-shelf solutions based on the EJB specification.

June 1999 - Technical Note Theory and Practice of Enterprise JavaBean Portability

Topics: System of Systems

Authors: Santiago Comella-Dorda, John E. Robert, Robert C. Seacord

This paper presents sources of portability problems in EJB and illustrates them with some real examples.