Grace Lewis

Software Engineering Institute

Grace Lewis is principal researcher and lead of the Tactical Technologies Group (TTG) initiative at the Software Engineering Institute at Carnegie Mellon University. Lewis is the principal investigator for the “Authentication and Authorization of IoT Devices in Edge Environments” and “High Assurance Software-Defined IoT Security” research projects. Lewis also leads the tactical cloudlets work. Lewis’s current interests and projects are in edge computing, IoT security, software architecture, and emerging technologies. Lewis earned a bachelor of science degree in software systems engineering and a specialization in administration from Icesi University in Colombia; a master’s in software engineering from Carnegie Mellon University; and a Ph.D. in computer science from Vrije Universiteit Amsterdam. Lewis serves as executive vice chair for the IEEE Technical Council on Software Engineering, as well treasurer for the IEEE Computer Society Technical & Conference Activities Board (T&C).

Expanded Biography

Publications by Grace Lewis

Edge Computing: Use Cases and Challenges

September 18, 2019 • Presentation

Grace Lewis

This talk presents use cases edge computing beyond IoT and discusses some of the challenges edge computing poses for software systems.
read
STEM + Diversity = Greater Technology Innovation

August 15, 2019 • Video

Thomas A. Longstaff Grace Lewis

Tom Longstaff and Grace Lewis discuss how the inclusion of minorities and women in science, technology, engineering, and math (STEM) careers can promote a nation’s progress by increasing its ability to innovate.
watch
Women in Software and Cybersecurity: Grace Lewis

March 14, 2019 • Podcast

Grace Lewis

Grace Lewis discusses her career journey, which led to her leading Tactical Edge Computing at the SEI. This podcast is the latest installment in our Women in Software and Cybersecurity podcast series.
learn more
Mini-Tutorial: Emerging Technologies for Software-Reliant Systems

February 25, 2019 • Presentation

Eileen Wrubel Grace Lewis Ipek Ozkaya

This talk presents several emerging technologies and their potential impact for software-reliant systems.
read
High Assurance Software-Defined IoT Security

October 23, 2018 • Poster

Grace Lewis

This poster describes a solution for the secure use of IoT devices in the DoD by moving part of the security enforcement to the network.
read
Leveraging Emerging Changes in Computing

October 23, 2018 • Presentation

Grace Lewis

Discussion of new technologies
read
Kicking Butt in Computer Science: Women in Computing at Carnegie Mellon University

April 05, 2018 • Podcast

Jeria Quesenberry Carol Frieze Grace Lewis

Carol Frieze, Grace Lewis, and Jeria Quesenberry discuss CMU’s approach to creating a more inclusive environment for all computer science students, regardless of gender.
learn more
Is Software Spoiling Us?

January 30, 2018 • Webinar

Jeff Boleng Grace Lewis Eliezer Kanal

Have software's repeated successes, and the assumption that they will continue endlessly, discounted perceptions of its importance among leadership in civilian government, national defense, and national security organizations?
watch
SEI Cyber Minute: Safely Using IoT at the Edge

January 18, 2018 • Video

Grace Lewis

This research will help ensure the security and effectiveness of IoT devices in tactical environments.
watch
Authentication and Authorization for Internet of Things (IoT) Devices in Edge Environments

October 30, 2017 • Presentation

Grace Lewis

Presentation on research to assure use of IoT devices in edge computing environments
read
Two Perspectives on IoT Security

October 27, 2017 • Poster

Grace Lewis

Poster on a project called Authentication and Authorization for IoT Devices in Edge Environments
read
Establishing Trust in Disconnected Environments

May 18, 2017 • Podcast

Grace Lewis

In this podcast, Grace Lewis presents a solution for establishing trusted identities in disconnected environments based on secure key generation and exchange in the field, as well as an evaluation and implementation of the solution.
learn more
Secure Tactical Cloudlets for Mission Support at the Edge

March 23, 2017 • Presentation

Grace Lewis Sebastián Echeverría Dan J. Klinedinst

This presentation introduces the architecture and features of tactical cloudlets and presents a solution for establishing trusted identities in disconnected environments based on the generation and exchange of secure keys in the field.
read
SEI Cyber Minute: Tactical Cloudlets

March 09, 2017 • Video

Grace Lewis

Watch Grace Lewis in this SEI Cyber Minute as she discusses "Tactical Cloudlets".
watch
Pervasive Mobile Computing

December 01, 2016 • White Paper

William Anderson Jeff Boleng Ben W. Bradshaw

Pervasive mobile computing focuses on how soldiers and first responders can use smartphones, tablets, and other mobile/wearable devices at the tactical edge.
read
Tactical Computing and Communications

November 01, 2016 • Presentation

Grace Lewis

Discusses work in trusted identities, secure VM migration, and delay-tolerant data sharing
read
Tactical Computing and Communications (TCC)

October 18, 2016 • Poster

Grace Lewis

Secure and Efficient Computing and Communications at the Edge
read
Cyber-Foraging for Improving Survivability of Mobile Systems

February 18, 2016 • Technical Report

Sebastián Echeverría (Universidad de los Andes)Grace Lewis James Root

This report presents an architecture and experimental results that demonstrate that cyber-foraging using tactical cloudlets increases the survivability of mobile systems.
read
Tactical Cloudlets: Moving Cloud Computing to the Tactical Edge

November 18, 2015 • Presentation

Grace Lewis James Root Dan J. Klinedinst

This presentation explains the tactical cloudlet concept and describes an implementation targeted at promoting the survivability of mobile systems.
read
Edge-Enabled Tactical Systems Poster (SEI 2015 Research Review)

October 22, 2015 • Poster

Jeff Boleng Grace Lewis

EETS adapts cutting-edge technologies and builds prototypes of assured, efficient, and rapidly-fieldable systems to enhance decision support for tactical users
read
Edge-Enabled Tactical Systems

October 16, 2015 • Presentation

Grace Lewis Jeff Boleng

EETS adapts cutting-edge technologies and builds prototypes of assured, efficient, and rapidly fieldable systems to enhance decision support for tactical users
read
Tactical Cloudlets: Moving Cloud Computing to the Edge

January 27, 2015 • Webinar

Grace Lewis

This webinar presents the tactical cloudlet concept and experimentation results for five different cloudlet provisioning mechanisms.
watch
Tactical Cloudlets

December 04, 2014 • Podcast

Grace Lewis Suzanne Miller

In this podcast, Grace Lewis discusses five approaches that her team developed and tested for using tactical cloudlets as a strategy for providing infrastructure to support computation offload and data staging at the tactical edge.
learn more
HTML5 for Mobile Apps at the Edge

August 14, 2014 • Podcast

Grace Lewis Suzanne Miller

In this podcast, Grace Lewis discusses research that explores the feasibility of using HTML5 for developing mobile applications, for "edge" environments where resources and connectivity are uncertain, such as in the battlefield.
learn more
Evaluation of the Applicability of HTML5 for Mobile Applications in Resource-Constrained Edge Environments

July 02, 2014 • Technical Note

Bryan Yan (Carnegie Mellon University – Institute for Software Research)Grace Lewis

This technical note presents an analysis of the feasibility of using HTML5 for developing mobile applications, for "edge" environments where resources and connectivity are uncertain, such as in battlefield or natural disaster situations.
read
Architecture Patterns for Mobile Systems in Resource-Constrained Environments

November 18, 2013 • Conference Paper

Grace Lewis Soumya Simanta Marc Novakouski

This paper was presented at the 2013 Military Communications Conference
read
The Role of Cloudlets in Hostile Environments

October 01, 2013 • Article

Mahadev Satyanarayanan (Carnegie Mellon School of Computer Science)Grace Lewis Edwin J. Morris

This article appeared in IEEE Pervasive Computing in a special issue on "The Edge of the Cloud."
read
Application Virtualization as a Strategy for Cyber Foraging

July 25, 2013 • Podcast

Grace Lewis Suzanne Miller

In this podcast, researcher Grace Lewis discusses application virtualization as a more lightweight alternative to VM synthesis for cloudlet provisioning.
learn more
Architecture and Design of Service-Oriented Systems (Part 2)

May 14, 2013 • Webinar

Grace Lewis

The second part will focus on SOA infrastructure-design considerations, decomposition of an enterprise service bus (ESB) into patterns and tactics as an example of SOA infrastructure, and principles of service design.
watch
Application Virtualization as a Strategy for Cyber Foraging in Resource-Constrained Environments

May 01, 2013 • Technical Note

Dominik Messinger Grace Lewis

This technical note explores application virtualization as a more lightweight alternative to VM synthesis for cloudlet provisioning.
read
Architecture Patterns for Mobile Systems in Resource-Constrained Environments

May 01, 2013 • Presentation

Grace Lewis Jeff Boleng Gene Cahill

A presentation from the ninth annual SATURN conference, held in Minneapolis, MN, April 29 - May 3, 2013.
read
Automated Provisioning of Cloud and Cloudlet Applications

April 30, 2013 • Presentation

Jeff Boleng Grace Lewis Vignesh Shenoy (Carnegie Mellon University)

A presentation from the ninth annual SATURN conference, held in Minneapolis, MN, April 29 - May 3, 2013.
read
Architecture and Design of Service-Oriented Systems (Part 1)

March 13, 2013 • Webinar

Grace Lewis

The objective of this tutorial is to provide guidance on the architecture and design of service-oriented systems. Part I covers basic concepts and impact.
watch
Standards in Cloud Computing Interoperability

February 07, 2013 • Podcast

Grace Lewis

In this podcast, Grace Lewis discusses her latest research exploring the role of standards in cloud-computing interoperability.
learn more
Architecting Service-Oriented Systems

December 06, 2012 • Podcast

Grace Lewis

Grace Lewis discusses general guidelines for architecting service-oriented systems, how common service-oriented system components support these principles, and the effect these principles and their implementation have on system quality attributes.
learn more
A Reference Architecture for Group-Context-Aware Mobile Applications

October 31, 2012 • Conference Paper

Grace Lewis Marc Novakouski Enrique Sanchez

This paper describes a highly extensible reference architecture for group-context-aware mobile applications.
read
The Role of Standards in Cloud-Computing Interoperability

October 01, 2012 • Technical Note

Grace Lewis

This report explores the role of standards in cloud-computing interoperability. It covers cloud-computing basics and standard-related efforts, discusses several use cases, and provides recommendations for cloud-computing adoption.
read
Cloud Computing at the Tactical Edge

October 01, 2012 • Technical Note

Soumya Simanta Grace Lewis Edwin J. Morris

This technical note presents a strategy to overcome the challenges of obtaining sufficient computation power to run applications needed for warfighting and disaster relief missions. It discusses the use of cloudlets-- localized, stateless servers running one or more virtual machines--on which soldiers can offload resource-intensive computations from their handheld mobile devices.
read
Cloud Computing for the Battlefield

September 04, 2012 • Podcast

Grace A. Lewis

Grace Lewis discusses her research to overcome challenges for battlefield computing by using cloudlets: localized, lightweight servers running one or more virtual machines on which soldiers can offload expensive computations from their handheld devices.
learn more
A Reference Architecture for Mobile Code Offload in Hostile Environments

August 20, 2012 • Conference Paper

Soumya Simanta Grace Lewis Edwin J. Morris

This paper presents a reference architecture for mobile devices that overcomes resource and connectivity limitations by exploiting cloudlets.
read
Extensibility as a Collaboration Enabler: A Case Study for Group-Context-Aware Mobile Applications

May 08, 2012 • Presentation

Grace Lewis Marc Novakouski Enrique Sanchez

A presentation from the Evolution and Extensibility track at SATURN 2012, May 7-11, 2012, St Petersburg, FL.
read
Best Practices for Artifact Versioning in Service-Oriented Systems

January 01, 2012 • Technical Note

Marc Novakouski Grace Lewis William Anderson

This report describes some of the challenges of software versioning in an SOA environment and provides guidance on how to meet these challenges by following industry guidelines and recommended practices.
read
Interoperability in the e-Government Context

January 01, 2012 • Technical Note

Marc Novakouski Grace Lewis

This report describes a proposed model through which to understand interoperability in the e-government context.
read
Proceedings of the Fourth International Workshop on a Research Agenda for Maintenance and Evolution of Service-Oriented Systems (MESOA 2010)

September 01, 2011 • Special Report

Grace Lewis Dennis B. Smith Kostas Kontogiannis

This report summarizes the proceedings from the 2010 MESOA workshop and includes the accepted papers that were the basis for the presentations given during the workshop.
read
Architecting Service-Oriented Systems

August 01, 2011 • Technical Note

Philip Bianco Grace Lewis Paulo Merson

This report presents guidelines for architecting service-oriented systems and the effect of architectural principles on system quality attributes.
read
Architectural Implications of Cloud Computing

May 18, 2011 • Presentation

Grace Lewis

This presentation from SATURN 2011 discusses cloud computing from a software architecture perspective.
read
Cloud Computing in Tactical Environments

April 12, 2011 • Poster

Grace Lewis

This poster describes how cloud computing benefits the warfighter in a tactical environment.
read
Architectures for the Cloud: Best Practices for Navy Adoption of Cloud Computing

April 05, 2011 • White Paper

Grace Lewis

The goal of SEI research is to create best practices for architecture and design of systems that take advantage of the cloud, leading to greater system quality from both a consumer and provider perspective.
read
Employing SOA to Achieve Information Dominance

April 01, 2011 • White Paper

Grace Lewis

SEI research will enable the Navy to to develop service-oriented systems that address information dominance priority requirements.
read
Executive Overview: Best Practices for Adoption of Cloud Computing

November 24, 2010 • White Paper

Grace Lewis

This paper describes the SEI approach to cloud computing research for the DoD.
read
Executive Overview: Employing SOA to Achieve Information Dominance

November 24, 2010 • White Paper

Grace Lewis

The current ability to implement systems in the DoD based on SOA technologies falls short of the DoD's goals. To close the gaps in these areas, research is needed in SOA security, semantic SOA, context-aware applications, and real-time SOA.
read
Performance Analysis of WS-Security Mechanisms in SOAP-Based Web Services

November 01, 2010 • Technical Report

Marc Novakouski Soumya Simanta Gunnar Peterson

This paper presents the results of a series of experiments targeted at analyzing the performance impact of adding WS-Security, a common security standard used in IdM frameworks, to SOAP-based web services.
read
Cloud Computing Basics Explained

September 30, 2010 • White Paper

Grace Lewis

This paper seeks to help organizations understand cloud computing essentials, including drivers for and barriers to adoption, in support of making decisions about adopting the approach.
read
Primer on SOA Terms

September 01, 2010 • White Paper

Grace Lewis

This white paper presents basic terminology related to Service- Oriented Architecture (SOA). The goal of the paper is to establish a baseline of terms for service-oriented systems.
read
T-Check in System-of-Systems Technologies: Cloud Computing

September 01, 2010 • Technical Note

Harrison D. Strowd Grace Lewis

The purpose of this report is to examine a set of claims about cloud computing adoption.
read
Emerging Technologies for Software-Reliant Systems of Systems

September 01, 2010 • Technical Note

Grace Lewis

The purpose of this report is to present an informal survey of technologies that are, or are likely to become, important for software-reliant systems of systems in response to current computing trends.
read
SMART: SOA Migration, Adoption, and Reuse Technique

July 01, 2010 • Audio

Grace Lewis

Heidi Brayer interviews Grace Lewis about the changing of the SMART acronym from Service Migration and Reuse Technique to SOA Migration, Adoption, and Reuse Technique.
listen
Lessons Learned from Service-Oriented Systems for Engineering Systems of Systems

May 20, 2010 • Presentation

Grace Lewis

Grace Lewis gives a bottom-up approach that focuses on abstracting the concepts and lessons learned from specific examples of engineering systems of systems (SoSs).
read
A Research Agenda for Service-Oriented Architecture (SOA): Maintenance and Evolution of Service-Oriented Systems

March 01, 2010 • Technical Note

Grace Lewis Dennis B. Smith Kostas Kontogiannis

This 2010 report describes the agenda of an SEI-led group that was formed to explore the business, engineering, and operations aspects of service-oriented architecture.
read
Proceedings of the 3rd International Workshop on a Research Agenda for Maintenance and Evolution of Service-Oriented Systems (MESOA 2009)

February 01, 2010 • Special Report

Grace Lewis Dennis B. Smith Ned Chapin

This report contains selected papers from the 3rd International Workshop on a Research Agenda for Maintenance and Evolution of Service-Oriented Systems (MESOA 2009).
read
Proceedings of the Workshop on Software Engineering Foundations for End-User Programming (SEEUP 2009)

November 01, 2009 • Special Report

Len Bass Grace Lewis Brad Myers

This report presents the papers that were given at SEEUP 2009, held at the 31st ICSE in Vancouver, British Columbia on May 23, 2009.
read
A Research Perspective on Maintenance and Reengineering of Service-Oriented Systems

June 08, 2009 • Article

Kostas Kontogiannis Grace Lewis Dennis B. Smith

This position paper surveys the landscape of service-oriented architecture practice as it pertains to service-orientation maintenance and reengineering.
read
A Scenario-Based Technique for Developing SOA Technical Governance

June 01, 2009 • Technical Note

Soumya Simanta Edwin J. Morris Grace Lewis

Organizations can make the available SOA governance frameworks more effective in their organizations using the scenario-based tailoring technique introduced in this technical note.
read
T-Check in Technologies for Interoperability: Business Process Management in a Web Services Context

September 01, 2008 • Technical Note

Fabian Hueppi Lutz Wrage Grace Lewis

This technical note presents an investigation of the Business Process Execution Language, a popular BPM technology used to describe, analyze, execute, and monitor business processes.
read
Service Level Agreements in Service-Oriented Architecture Environments

September 01, 2008 • Technical Note

Philip Bianco Grace Lewis Paulo Merson

This 2008 report surveys the state of practice in service level agreement specification and offers guidelines on how to assure that services are provided with high availability, security, performance, and other required qualities.
read
Results of SEI Independent Research and Development Projects (FY 2007)

July 01, 2008 • Technical Report

Len Bass Lui R. Sha Dennis B. Smith

This report describes the independent research and development (IRAD) projects that were conducted during fiscal year 2007 (October 2006 through September 2007).
read
Proceedings of the International Workshop on the Foundations of Service-Oriented Architecture (FSOA 2007)

June 01, 2008 • Special Report

Grace Lewis Dennis B. Smith

This report presents the results of the Foundations of Software-Oriented Architecture (FSOA) workshop held at the Third International Conference on Interoperability for Enterprise Software and Applications (I-ESA 2007).
read
SMART: Analyzing the Reuse Potential of Legacy Components in a Service-Oriented Architecture Environment

June 01, 2008 • Technical Note

Grace Lewis Edwin J. Morris Dennis B. Smith

Is legacy system migration feasible for your organization as a means of SOA adoption? The Service Migration and Reuse Technique (SMART) assists an organization in determining what to migrate, the steps needed, and the costs involved.
read
SOA Research Agenda

January 31, 2008 • Presentation

Grace Lewis

This 2008 presentation by Grace Lewis details the taxonomy of the SEI's research agenda on the topics critical to success with SOA adoption.
read
T-Check in Technologies for Interoperability: Web Services and Security—Single Sign-On

January 01, 2008 • Technical Note

Lutz Wrage Soumya Simanta Grace Lewis

This technical note presents the results of applying the T-Check approach in an initial investigation of two Web services standards, WS-Security and SAML, to create an SSO solution that works inside a single organization
read
Common Misconceptions About Service-Oriented Architecture

November 01, 2007 • White Paper

Grace Lewis Edwin J. Morris Soumya Simanta

This 2007 article from Crosstalk magazine suggests ways to more effectively address critical SOA issues that potential users, developers, and acquisition officers may have.
read
Four Pillars of Service-Oriented Architecture

September 01, 2007 • White Paper

Grace Lewis Dennis B. Smith

This 2007 SEI whitepaper by Grace Lewis and Dennis B. Smith outlines four pillars to Service-Oriented Architecture (SOA) success.
read
Roles for Maintenance and Evolution of SOA-Based Systems

April 02, 2007 • Article

Mira Kajko-Mattsson Grace Lewis Dennis B. Smith

This paper identifies the implications of SOA-based systems for the maintenance and evolution process, with a specific focus on roles.
read
T-Check for Technologies for Interoperability: Open Grid Services Architecture (OGSA)—Part 1 Parent SEI Program

April 01, 2007 • Technical Note

Soumya Simanta Grace Lewis Lutz Wrage

This report investigates Open Grid Services Architecture (OGSA), one of the many technologies for accomplishing interoperability, using the T-Check technique.
read
Developing Realistic Approaches for the Migration of Legacy Components to Service-Oriented Architecture Environments

March 01, 2007 • Article

Grace Lewis Dennis B. Smith

This article addresses the problem of the migration of legacy components to Service-Oriented Architecture (SOA) environments.
read
Workshop on Model-Driven Architecture and Program Generation

August 01, 2006 • Technical Note

Grace Lewis B. Craig Meyers Kurt C. Wallnau

This report summarizes the results of a June 2006 workshop, held to explore business and technical aspects of program generation in the context of the Object Management Group's model-driven architecture development approach.
read
Model Problems in Technologies for Interoperability: Web Services

June 01, 2006 • Technical Note

Grace Lewis Lutz Wrage

This 2006 report presents the results of applying the model problem approach in an initial investigation of the potential of Web services to enable interoperability.
read
Model Problems in Technologies for Interoperability: OWL Web Ontology Language for Services (OWL-S)

April 01, 2006 • Technical Note

Chris Metcalf C.Grace Lewis

This 2006 report presents the results of applying the model problem approach to examine the feasibility of using OWL-S to allow applications to automatically discover, compose, and invoke services in a dynamic services-oriented environment.
read
SMART: The Service-Oriented Migration and Reuse Technique

September 01, 2005 • Technical Note

Grace Lewis Edwin J. Morris Liam O'Brien

This document has been superseded by CMU/SEI-2008-TN-008, SMART: Analyzing the Reuse Potential of Legacy Components in a Service-Oriented Architecture Environment.
read
A Process for Context-Based Technology Evaluation

June 01, 2005 • Technical Note

Grace Lewis Lutz Wrage

This report describes a process called context-based evaluation that determines the fitness of a technology within a specific context.
read
Model Problems in Technologies for Interoperability: Model-Driven Architecture

May 01, 2005 • Technical Note

Grace Lewis Lutz Wrage

This 2005 report looks at Model-Driven Architecture (MDA) as one of many technologies foraccomplishing interoperability.
read
Promising Technologies for Future Systems

December 01, 2004 • Technical Note

Grace Lewis Edwin J. Morris Lutz Wrage

This 2004 report presents of a few of the many programs, technologies, and research efforts that are addressing the challenges faced by future systems.
read
Approaches to Constructive Interoperability

December 01, 2004 • Technical Report

Grace Lewis Lutz Wrage

This report outlines several approaches to constructing systems of systems that have interoperability requirements, with respect to syntactic and semantic interoperability.
read
Results of SEI Independent Research and Development Projects and Report on Emerging Technologies and Technology Trends (FY 2004)

October 01, 2004 • Technical Report

John K. Bergey Edwin J. Morris Jeannine Siviy

This report describes the IR&D projects that were conducted during fiscal year 2004 (October 2003 through September 2004).
read
Assumptions Management in Software Development

August 01, 2004 • Technical Note

Grace Lewis Teeraphong Mahatham Lutz Wrage

This technical note explores assumptions management as a method for improving software quality.
read
A Process for COTS Software Product Evaluation

July 01, 2004 • Technical Report

Santiago Comella-Dorda John Dean Grace 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
Current Perspectives on Interoperability

March 01, 2004 • Technical Report

Lisa Brownsword David J. Carney David Fisher

This 2004 report describes current research within the software engineering community on the topic of interoperability between software systems.
read
A Model Problem Approach to Measurement-to-Track Association

September 01, 2003 • Technical Report

Grace Lewis B. Craig Meyers

This report illustrates the use of model problems in the design of a system.
read
Modernizing Legacy Systems: Software Technologies, Engineering Processes, and Business Practices

February 13, 2003 • Book

Grace Lewis Daniel Plakosh Robert C. Seacord

This book shows how to implement a successful modernization strategy that incrementally encompass changes in software technologies, engineering processes, and business practices.
read
Model-Based Verification: Abstraction Guidelines

October 01, 2002 • Technical Note

John J. Hudak Santiago Comella-Dorda David 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. Gluch Santiago Comella-Dorda John 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. Gluch Santiago Comella-Dorda John 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 Lewis Santiago Comella-Dorda David 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-Dorda David P. Gluch John 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. Gluch Santiago Comella-Dorda John 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 Lewis Santiago Comella-Dorda Patrick 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
Beyond the Black Box: A Case Study in C to Java Conversion and Product Extensibility

August 01, 2001 • Technical Note

Pisey Huy Grace Lewis Ming-hsun Liu

This case study describes the experience of converting and enhancing NDBS 1.0, a programmatic library to extract private keys and digital certificates from a Netscape database written in C and Java.
read
Maintaining Transactional Context: A Model Problem

August 01, 2001 • Technical Report

Daniel Plakosh Santiago Comella-Dorda Patrick 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-Dorda Grace Lewis Patrick 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. Seacord Santiago Comella-Dorda Grace Lewis

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