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.