|
|
Scenario
Based Analysis of Dynamic Specifications
Hany Ammar
and Katerina Goseva-Popstojanova
West Virginia
University
Ali Mili,
New Jersey Institute of Technology
NASA IV&V
Facility & Motorola
|
 |
|
|
Software
Architecture Metrics
Hany Ammar,
West Virginia University
Ali Mili,
New Jersey Institute of Technology
NASA IV&V
Facility
|
|
|
|
Dynamic
Specifications of Interactive Electronic Technical Manuals (IETMs)
Hany Ammar,
et al, West Virginia University
ManTech
|
 |
|
|
Scenario-based
Independent Verification and Validation of UML Specifications
Hany Ammar, Sherif Yacoub,
West Virginia
University
AverStar
|
 |
|
|
POD:
A Development Environment for Pattern-oriented Design
Hany Ammar, Sherif Yacoub,
West Virginia
University
ManTech |
|
|
|
Applications
of Formal Methods to Industry
Jay Bagga,
Ball State University
City Machine
|
 |
|
|
Analysis
of Relay Ladder Logic Programs
Jay Bagga,
Ball State University
City Machine
|
|
|
|
Flow
Visualization Using Virtual Reality
Vic Baker, West Virginia University
National
Energy Technology Laboratory
|
 |
|
|
Software
Engineering Implication of Use of Visualization Packages
Vic Baker,
West Virginia University
National
Energy Technology Laboratory
|
|
|
|
Tiled
Display MFIX Data Visualization
Jim Canon,
West Virginia University
National
Energy Technology Laboratory
|
|
|
|
UML Based
Software Reliability Prediction
Bojan Cukic,
West Virginia University
NASA
IV&V
|
 |
|
|
Stability
Monitoring and Analysis of Learning in Adaptive Systems
Bojan Cukic,
West Virginia University
NASA
IV&V
|
|
|
|
Low Complexity
Video Coding
Ed Delp
and Mary Comer, Purdue University
Naval Surface
Warfare Center
|
 |
|
|
Data
Quality
Ahmed Elmagarmid,
Purdue University
Telcordia
|
|
|
|
Tool
Support for Metrics Repository and Generalizing SERC Process Models
Warren Harrison, David Raffo, Portland State University
Northrop
Grumman |
|
|
|
Optimal
Allocation of Verification and Validation Resources,
Warren Harrison,
Portland State University
NASA IV&V
Facility in conjunction with Nancy Eickelman, Motorola |
|
|
|
Allocation
of (Security) Risk Mitigation Efforts
Warren Harrison,
Portland State University
Motorola
|
 |
|
|
Welding
Process Characterization Modeling
Ron Klein
and George Trapp, West Virginia University
Ali Mili,
New Jersey Institute of Technology,
Allegheny
Power and the Office of Naval Research |
|
|
|
Architecture
Based Estimation of Software Reliability and Testing Distributed Systems
Aditya Mathur, Purdue University
Guidant
|
|
|
|
A Hybrid
Model of the Incremental Test Process
Aditya Mathur, Purdue University
Guidant
|
|
|
|
Software
Release Control Using Defect Based Quality Estimation
Aditya Mathur,
Purdue University
Guidant
|
|
|
|
Computational
Models to Study Auditory Processing and Learning Disorders in Children
Aditya Mathur,
Purdue University
National
Science Foundation
|
|
|
|
Modeling the Auditory Pathway: Preliminary Results
Aditya Mathur, Alik Bakshi,
Purdue University
National
Science Foundation
|
|
|
|
Extending
Developer Tools for Security-typed Languages
Patrick
McDaniel, Pennsylvania State University
Motorola
|
|
|
|
Software
Development in High Performance Scientific Computing
Don McLaughlin,
West Virginia University
EPSCoR
|
|
|
|
Modeling
Component Quality of Service- A Uniframe-Based Approach
Rajeev Raje,
IUPUI
DoD and
ONR
|
|
|
|
Rapidly
Deployable Software Process Models: Developing Prototype Simulation
Tools
David Raffo,
Portland State University
Northrop
Grumman
|
|
|
|
Predicting
the Impact of Applying the Personal Software Process (PSP) on a Real-World
Development Environment
David Raffo and Warren Harrison, Portland State University
Northrop
Grumman |
|
|
|
An Exploratory
Study to Characterize and Evaluate IV&V ROI
David Raffo, Warren Harrison, Portland State University
NASA
|
|
|
|
Usability
Expert Review Model and Tool
Kirsten
Smith and Paul Buis, Ball State University
Baker Hill, Ontario Systems
|
|
|
|
Mapping
Cache Artifacts to Design Metrics Primitives
Vinayak
Tanksale, Ball State University
Ontario
Systems
|
|
|
|
RECON:
Software Reconnaissance Tool for "C" Programmers
Norman Wilde, University of West Florida
Telcordia
|
|
|
|
Spotlighting
the Code
Norman Wilde, University of West Florida
Telcordia
|
|
|
|
Combining
Tools for Feature Location and Understanding
Norman Wilde,
University of West Florida
Motorola
|
 |
|
|
Software
Feature Analysis for Better Software Change Analysis
Norman Wilde, Dennis Edwards, Sharon Simmons,
University of West Florida
Northrop Grumman
|
|
|
|
Understanding
Software Features By Integrating
Dynamic and Static Analysis
Norman Wilde, University of West Florida
Motorola
|
|
|
|
Computer-aided
Testing for Reusable Software Components
Mark Yang,
University of Florida
NASA
|
 |
|
.
|
Design
Metrics
Wayne Zage and Dolores Zage, Ball State University
Northrop
Grumman, Motorola, Telcordia, Raytheon
|
|
|
|
A Stress
Point Resolution System Based on Module Signatures
Wayne Zage
and Dolores Zage, Ball State University
Motorola
|
|
|
|
The Eclipse
Platform for Tool Integration and Development
Wayne Zage and Dolores Zage, Ball State University
Motorola
|
|
|
|
Metrics
Directed Process Guidance for SDL Model Development
Wayne Zage and Dolores Zage, Ball State University
Motorola
|
|
|
|
Metrics
Directed Verification of UML Designs
Wayne Zage and Dolores Zage, Ball State University
Raytheon
|
 |
|
|
Reducing
the Time to Product Stability through Global Testing
Wayne Zage
and Dolores Zage, Ball State University
National
Science Foundation
Ita Richardson,
University of Limerick, Ireland
Science
Foundation Ireland
|
|
|
|
Measuring
The Effect of Software Design on Software Security
Wayne Zage
and Dolores Zage, Ball State University
Arxan Technologies |
 |
|
|
SMART: Security Measurements and Assuring Reliability through metrics Technology
Wayne Zage
and Dolores Zage, Ball State University
US Army Research Lab |
 |
