Santiago Comella-Dorda
Software Engineering Institute
Publications by Santiago Comella-Dorda
-
A Process for COTS Software Product Evaluation
July 01, 2004 • Technical Report
Santiago Comella-DordaJohn DeanGrace Lewis
This 2004 report focuses on COTS product evaluations conducted for the purpose of selecting products to meet a known need in a system.
read -
Model-Based Verification: Abstraction Guidelines
October 01, 2002 • Technical Note
John J. HudakSantiago Comella-DordaDavid P. Gluch
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.
read -
Model-Based Verification: An Engineering Practice
August 01, 2002 • Technical Report
David P. GluchSantiago Comella-DordaJohn J. Hudak
This 2002 report summarizes MBV and outlines the responsibilities of engineers engaged in Model-Based Verification.
read -
Model-Based Verification: Guidelines for Generating Expected Properties
January 01, 2002 • Technical Note
David P. GluchSantiago Comella-DordaJohn J. Hudak
This report presents a basic set of guidelines to facilitate the generation of expected properties in the context of Model-Based Verification.
read -
Model-Based Verification: Analysis Guidelines
December 01, 2001 • Technical Note
Grace LewisSantiago Comella-DordaDavid P. Gluch
This technical note provides guidance for the analysis activity that occurs during the interpretation of results produced by model-checking tools.
read -
Model-Based Verification: Claim Creation Guidelines
October 01, 2001 • Technical Note
Santiago Comella-DordaDavid P. GluchJohn J. Hudak
This 2001 report describes a pattern-based approach to facilitate claim generation.
read -
Model-Based Verification: Scope, Formalism, and Perspective Guidelines
October 01, 2001 • Technical Note
David P. GluchSantiago Comella-DordaJohn J. Hudak
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.
read -
An Enterprise Information System Data Architecture Guide
October 01, 2001 • Technical Report
Grace LewisSantiago Comella-DordaPatrick R. Place
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.
read -
Maintaining Transactional Context: A Model Problem
August 01, 2001 • Technical Report
Daniel PlakoshSantiago Comella-DordaPatrick R. Place
This 2001 report outlines a model problem constructed to verify the feasibility of building a mechanism to modernize a legacy system.
read -
Incremental Modernization for Legacy Systems
July 01, 2001 • Technical Note
Santiago Comella-DordaGrace LewisPatrick R. Place
This 2001 report shows an objective technique for developing an incremental code-migration strategy for large legacy Common Business-Oriented Language (COBOL) systems.
read -
Legacy System Modernization Strategies
July 01, 2001 • Technical Report
Robert C. SeacordSantiago Comella-DordaGrace Lewis
This 2001 report discusses alternative development approaches for incrementally modernizing legacy systems.
read -
Volume II: Technical Concepts of Component-Based Software Engineering, 2nd Edition
May 01, 2000 • Technical Report
Felix BachmannLen BassCharles Buhman
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.
read -
Volume I: Market Assessment of Component-Based Software Engineering Assessments
May 01, 2000 • Technical Note
Len BassCharles BuhmanSantiago Comella-Dorda
This 2001 report examines software component technology from a business perspective.
read -
A Survey of Legacy System Modernization Approaches
April 01, 2000 • Technical Note
Santiago Comella-DordaKurt C. WallnauRobert C. Seacord
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.
read -
Custom vs. Off-the-Shelf Architecture
July 01, 1999 • Technical Note
Robert C. SeacordKurt C. WallnauJohn E. Robert
This report compares GEE-based solutions and off-the-shelf solutions based on the EJB specification.
read -
Theory and Practice of Enterprise JavaBean Portability
June 01, 1999 • Technical Note
Santiago Comella-DordaJohn E. RobertRobert C. Seacord
This paper presents sources of portability problems in EJB and illustrates them with some real examples.
read