Sponsors

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 Eclipse

University of Minnesota

• Practical Aspects of Extensible Languages and Compilers