1999 | ||
---|---|---|
3 | EE | Perry Alexander, Murali Rangarajan, Phillip Baraona: A Brief Summary of VSPEC. World Congress on Formal Methods 1999: 1068-1086 |
1997 | ||
2 | EE | Phillip Baraona, Perry Alexander: Representing abstract architectures with axiomatic specifications and activation conditions. ECBS 1997: 161-168 |
1995 | ||
1 | John Penix, Phillip Baraona, Perry Alexander: Classification and Retrieval of Reusable Components Using Semantic Features. KBSE 1995: 131-138 |
1 | Perry Alexander | [1] [2] [3] |
2 | John Penix | [1] |
3 | Murali Rangarajan | [3] |