|Requirements Engineering Laboratory @ CMU|
|Projects | Funding | Publications | Software|
The Requirements Engineering Laboratory is a research lab dedicated to the study of computational methods, tools and techniques for capturing, modeling and analyzing software requirements to improve trust and assurance in the software systems.
Harmonizing Multi-Jurisdictional Privacy and Security Policy.
This project aims to enable software developers to reason about multi-jurisdictional trade-offs in cloud computing requirements, where data is stored and distributed across multi-national and provincial boundaries and users enjoy the privacy protections of their host nations, provinces and municipalities.
Composable and Usable Security and Privacy Requirements
This project aims to investigate new formal and semi-formal structures for applying privacy and security requirements to domain problems, including evaluating the usability of these composable structures by engineers. We are studying requirements patterns and domain-specific languages to aid developers with requirements analysis.