News & Commentary

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. The proposed architecture, implemented in a prototype tool suite called LIGHT, allows users to customize the appearance and content of…