University of Minnesota
Software Engineering Center
/

You are here

Jeffrey Thompson

Recent Publications

An Integrated Development Environment Prototyping Safety Critical Systems

@InProceedings{Thompson99:nimbus-overview, author = {Jeffrey M. Thompson and Mats P.E. Heimdahl}, title = {An Integrated Development Environment Prototyping Safety Critical Systems}, booktitle = {Tenth IEEE International Workshop on Rapid System Prototyping (RSP) 99}, pages = {172-177}, year = {1999}, month = {June} }

On the Effectiveness of Slicing Hierarchical State Machines: A Case Study

Formal specifications can be hundreds of pages in length — a reflection of the size and complexity of the systems being specified. Lengthy documents are difficult to read, understand, and use. Program slicing was developed to address these issues for programs. In this paper, we apply similar techniques to formal specifications expressed as hierarchical state machines. We present a two tiered approach to slicing (or simpli.cation) of hierarchical state machines.

Pages