University of Minnesota
Software Engineering Center

You are here

Jeffrey Thompson

Recent Publications

Ideas on How Product-Line Engineering Can be Extended

Product-line engineering can result in cost savings and increases in productivity. In addition, in safety-critical systems, the approach has the potential for reuse of analysis and testing results which can lead to a safer system. Nevertheless, there are times when it seems like a product family approach should work when, in fact, there are difficulties in properly defining the boundaries of the product family. In this paper, we present a position on n-dimensional and hierarchical product families, which we have recently introduced.

Specification Based Prototyping of Control Systems

The capability to dynamically analyze, or execute, the description of a software system early in a project has many advantages; it helps the analyst to evaluate and address poorly understood aspects of the system behavior, improves communication between the different parties involved in specification effort, allows empirical evaluation of alternative solutions, and is one of the more feasible ways of validating a system's behavior. In this paper, we focus on an approach to simulation and debugging of formal software specifications for control systems called specificationbased

Requirements Capture and Evaluation in Nimbus: The Light Control Case Study

Evaluations of methods and tools applied to a reference problem are useful when comparing various techniques. In this paper, we present a solution to the challenge of capturing the requirements for the Light Control System case study, which was proposed before the Dagstuhl Seminar on Requirements Capture, Documentation, and Validation in June of 1999.