Digital Library
Topics: System of Systems
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
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
This 2002 report summarizes MBV and outlines the responsibilities of engineers engaged in Model-Based Verification.
Topics: Performance and Dependability
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
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
This 2001 report describes a pattern-based approach to facilitate claim generation.
Topics: Performance and Dependability
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.
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.
This 2001 report outlines a model problem constructed to verify the feasibility of building a mechanism to modernize a legacy system.
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
This 2001 report discusses alternative development approaches for incrementally modernizing legacy systems.
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.
This 2001 report examines software component technology from a business perspective.
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
This report compares GEE-based solutions and off-the-shelf solutions based on the EJB specification.
Topics: System of Systems
This paper presents sources of portability problems in EJB and illustrates them with some real examples.