Alpine Engineered Products
Software architecture, development practices, testing practices, process improvement.
Computer Technology and Imaging PET Systems (CTI-PET)
Software engineering process definition for compliance with FDA and ISO9000 standards; certification and metrics.
Ericsson Telecom AB
Endowment of the Ericsson-Harlan D. Mills Chair in Software Engineering.
IBM
Research, training, technology
development, and consultation
for Cleanroom software
engineering; integration of
Cleanroom and object-oriented
methods; development of
prototype tools to support
Cleanroom teams; software
engineering for parallel
computing; statistical
testing. Documented case
studies of a multi-increment
Cleanroom development project.
|
Oak Ridge National Laboratory
Application of industrial software engineering practices to computational
science and high performance computing.
|
- Computational Materials Science
Automation of model-based statistical testing for a materials science
library based on the C++ Standard Template Library.
- Spallation Neutron Source
Software quality assurance process development. Support of software
verification and architecture definition for data management and analysis
software. Requirements definition and specification for an integrated user
management system.
- Nuclear Science and Technology
Software quality assurance for nuclear reactor simulation software.
|
|
Raytheon
Statistical testing of large software systems.
Nortel Networks
Definition of software quality metrics for the Nortel testing and operational environments; relating Emerald to expert opinion.
Sun Microsystems
Donation of workstation equipment.
Fraunhofer IESE
Sharing tool development, research collaboration, demonstration projects.
Verum Consultants
Statistical testing, sequence enumeration.
|