St.
Louis Ballroom E [Floor
Plan]
Session Chair: Amy Murphy
| > |
Verification and Change Impact
Analysis of Access-Control Policies
Kathi Fisler, Shriram Krishnamurthi,
Leo Meyerovich, and Michael Tschantz |
| > |
Explicit Assumptions enrich Architectural
Models
Patricia Lago and Hans van Vliet |
| > |
An Infrastructure
for Development of Object-Oriented, Multi-level Configuration Management
Services
Tien Nguyen, Ethan Munson, John Boyland,
and Cheng Thao |
|
