Author: Perry Alexander

Publications

Co-authors

Harold W. Carter

1

John Penix

1

Cindy Kong

2

Productive Colleagues

Radharamanan Radhakrishnan

2

John Penix

2

Philip A. Wilsey

5

Publications

Alexander, Perry, Kong, Cindy (2001): Rosetta: Semantic Support for Model-Centered Systems-Level Design. In IEEE Computer, 34 (11) pp. 64-70. https://csdl.computer.org/computer/co2001/ry064abs.htm

Kong, Cindy, Alexander, Perry (2002): Multi-Faceted Requirements Modeling. In: 10th Anniversary IEEE Joint International Conference on Requirements Engineering RE 2002 9-13 September, 2002, Essen, Germany. pp. 112-122. https://csdl.computer.org/comp/proceedings/re/2002/1465/00/14650112abs.htm

Frey, Peter, Radhakrishnan, Radharamanan, Wilsey, Philip A., Alexander, Perry, Carter, Harold W. (1999): An Extensible Formal Framework for the Specification and Verification of an Optimistic Sim. In: HICSS 1999 , 1999, . https://csdl.computer.org/comp/proceedings/hicss/1999/0001/03/00013049abs.htm

Penix, John, Alexander, Perry (1998): Using Formal Specifications for Component Retrieval and Reuse. In: HICSS 1998 , 1998, . pp. 356-. https://csdl.computer.org/comp/proceedings/hicss/1998/8239/03/82390356abs.htm