Articles about USC

New Software Modeling Tools Combine Flexibility and Formality

A research team composed of computer scientists at the University of Southern California, the University of Washington, and Quandary Peak Research has developed a new architecture for software modeling and analysis tools.