Phillip Baraona

According to our database, Phillip Baraona authored at least 4 papers between 1995 and 1999.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of five.

1999

Abstract Architecture Representation Using VSPEC.

Phillip Baraona, Perry Alexander

VLSI Design, 1999

A Brief Summary of VSPEC.

Perry Alexander, Murali Rangarajan, Phillip Baraona

Proceedings of the FM'99 - Formal Methods, 1999

1997

Representing abstract architectures with axiomatic specifications and activation conditions.

Phillip Baraona, Perry Alexander

Proceedings of the 1997 Workshop on Engineering of Computer-Based Systems (ECBS '97), 1997

1995

Classification and Retrieval of Reusable Components Using Semantic Features.

John Penix, Phillip Baraona, Perry Alexander

Proceedings of the Proceedings KBSE'95, 1995