Savasana is the first white-box approach that uses code analysis for reasoning about consistency of adaptation.

Savasana consists of two parts: Static Code Analysis runs on the system's code and Run-time Control manages the corresponding running system.

Trust is important for effective coordination in global software development teams. However, the co-evolution of trust and coordination is often neglected. To fill the gap, we develop an evolutionary game theory model. Using the Behavior-Preference-Constraint (BPC) model and Adaptive Play, the model challenges the traditional view of trust as a static “resource” for coordination and proposes an alternative view that trust dynamically restricts people’s action choices in interacting with other team members.

This research focuses on techniques for identifying and reducing the costs, streamlining the process, and improving the readiness of future workforce for the acquisition of complex software systems. Emphasis is directed at identifying, tracking, and analyzing software component costs and cost reduction opportunities within acquisition life cycle of open architecture (OA) systems, where such systems combine best-of-breed software components and software products lines (SPLs) that are subject to different intellectual property (IP) license requirements.