Digital Library

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.

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.

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.

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.

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.

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.

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.

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.

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.

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.

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.

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.

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.

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.

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.

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.