Grace Lewis
Software Engineering Institute
Grace Lewis is principal researcher and lead of the Tactical and AI-enabled Systems (TAS) initiative at the Software Engineering Institute at Carnegie Mellon University. Lewis is the principal investigator for the “Characterizing and Detecting Mismatch in ML-Enabled Systems” research project. She is also a member of the “High Assurance Software-Defined IoT Security” research project and leads the SEI's work in tactical cloudlets. Lewis’ current areas of expertise and interest include software engineering for AI/ML systems, IoT security, edge computing, software architecture (in particular the development of software architecture practices for systems that integrate emerging technologies), and software engineering in society.
Lewis earned a Bachelor of Science in Software Systems Engineering and a post-graduate specialization in Business Administration from Icesi University in Colombia; a Master of Science in Software Engineering from Carnegie Mellon University; and a Doctor of Philosophy in Computer Science from Vrije Universiteit Amsterdam.
Lewis serves as a member of the Board of Governors for the IEEE Computer Society, treasurer for the IEEE Computer Society Technical & Conference Activities Board (T&C), executive vice chair for the IEEE Technical Council on Software Engineering, and ABET evaluator for Computer Science undergraduate programs.
Publications by Grace Lewis
-
Component Mismatches Are a Critical Bottleneck to Fielding AI-Enabled Systems in the Public Sector
December 10, 2019 • Conference Paper
Grace LewisStephany BellomoApril Galyardt
We are investigating classes of mismatches in ML/AI systems integration, to identify the implicit assumptions made by practitioners in different fields (data scientists, software engineers, operations staff) and find ways to communicate the information.
read -
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. LongstaffGrace 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 WrubelGrace LewisIpek 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 QuesenberryCarol FriezeGrace 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 BolengGrace LewisEliezer 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 LewisSebastiá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 AndersonJeff BolengBen 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 LewisJames 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 LewisJames RootDan 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 BolengGrace 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 LewisJeff 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 LewisSuzanne 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 LewisSuzanne 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 LewisSoumya SimantaMarc 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 LewisEdwin 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 LewisSuzanne 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 MessingerGrace 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 LewisJeff BolengGene 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 BolengGrace LewisVignesh 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 LewisMarc NovakouskiEnrique 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 SimantaGrace LewisEdwin 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 SimantaGrace LewisEdwin 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 LewisMarc NovakouskiEnrique 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 NovakouskiGrace LewisWilliam 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 NovakouskiGrace 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 LewisDennis B. SmithKostas 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 BiancoGrace LewisPaulo 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 NovakouskiSoumya SimantaGunnar 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. StrowdGrace 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 LewisDennis B. SmithKostas 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 LewisDennis B. SmithNed 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 BassGrace LewisBrad 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 KontogiannisGrace LewisDennis 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 SimantaEdwin J. MorrisGrace 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 HueppiLutz WrageGrace 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 BiancoGrace LewisPaulo 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 BassLui R. ShaDennis 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 LewisDennis 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 LewisEdwin J. MorrisDennis 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 WrageSoumya SimantaGrace 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 LewisEdwin J. MorrisSoumya 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 LewisDennis 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-MattssonGrace LewisDennis 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 SimantaGrace LewisLutz 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 LewisDennis 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 LewisB. Craig MeyersKurt 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 LewisLutz 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 LewisEdwin J. MorrisLiam 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 LewisLutz 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 LewisLutz 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 LewisEdwin J. MorrisLutz 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 LewisLutz 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. BergeyEdwin J. MorrisJeannine 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 LewisTeeraphong MahathamLutz 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-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 -
Current Perspectives on Interoperability
March 01, 2004 • Technical Report
Lisa BrownswordDavid J. CarneyDavid 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 LewisB. 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 LewisDaniel PlakoshRobert 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. 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 -
Beyond the Black Box: A Case Study in C to Java Conversion and Product Extensibility
August 01, 2001 • Technical Note
Pisey HuyGrace LewisMing-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 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