|
The University of Minnesota Software Engineering Center draws its funded research
from a diverse set of sponsors. Current and recent sponsors include:
The National Science Foundation
- CAREER: An Extensible Compiler Framework for Modular Seamless Language Extensions
NASA Ames Research Center
- Test-Case Generation with an Explicit State Model Checker
-
Intelligent Specification Centered Test-Case Generation
NASA Langley Research Center
- Structuring Formal Requirements for Reuse and Product Families
-
Methods and Tools for Flight Critical Systems
NASA Independent Verification and Validation Facility
- Tandem Experiments in Finding Faults During Model-Based Development.
-
A spectrum of IV&V modeling techniques
Rockwell Collins
- Methods and Tools for Flight Critical Systems
IBM
- Extensible Languages and Education-Specific Language Extensions in Eclips
University of Minnesota
- Practical Aspects of Extensible Languages and Compilers
|
