`Travelled to:`

1 × Austria

1 × Canada

1 × France

1 × Germany

1 × Latvia

1 × United Kingdom

3 × USA

`Collaborated with:`

∅ G.Kimmell P.Weaver N.Frisby P.Baraona J.Penix B.Morel C.Kong J.Ward M.Rangarajan K.Havelund B.Kannikeswaran R.Radhakrishnan P.Frey P.A.Wilsey

`Talks about:`

specif (4) construct (3) languag (3) combin (3) processor (2) generat (2) algebra (2) system (2) compon (2) multi (2)

## ♂ Person: Perry Alexander

### DBLP: Alexander:Perry

### Facilitated 5 volumes:

### Contributed to:

### Wrote 13 papers:

- ASE-2007-Alexander #design #named
- Rosetta: language support for system-level design (PA), p. 577.
- ASE-2007-WeaverKFA #composition #programming
- Modular and generic programming with interpreterlib (PW, GK, NF, PA), pp. 473–476.
- GPCE-2007-WeaverKFA #algebra #combinator
- Constructing language processors with algebra combinators (PW, GK, NF, PA), pp. 155–164.
- GPCE-J-2007-FrisbyKWA10 #algebra #combinator
- Constructing language processors with algebra combinators (NF, GK, PW, PA), pp. 543–572.
- ASE-2005-WardKA #framework #named #proving #theorem proving
- Prufrock: a framework for constructing polytypic theorem provers (JW, GK, PA), pp. 423–426.
- ASE-2003-MorelA #adaptation #automation #component #reuse
- Automating Component Adaptation for Reuse (BM, PA), pp. 142–151.
- RE-2002-KongA #modelling #multi #requirements
- Multi-Faceted Requirements Modeling (CK, PA), pp. 112–122.
- FM-v2-1999-AlexanderRB #summary
- A Brief Summary of VSPEC (PA, MR, PB), pp. 1068–1086.
- ASE-1997-PenixAH #architecture #declarative #specification
- Declarative Specification of Software Architectures (JP, PA, KH), p. 201–?.
- FME-1996-KannikeswaranRFAW #algorithm #specification #verification
- Formal Specification and Verification of the pGVT Algorithm (BK, RR, PF, PA, PAW), pp. 405–424.
- KBSE-1995-PenixBA #classification #component #retrieval #reuse #semantics #using
- Classification and Retrieval of Reusable Components Using Semantic Features (JP, PB, PA), pp. 131–138.
- SEKE-1994-Alexander #generative #specification
- Combining transformational and derivational analogy in Larch specification generation (PA), pp. 131–138.
- SEKE-1993-Alexander #generative #multi #named #specification
- BENTON: A Multi-Agent System for Larch Specification Generation (PA), pp. 125–133.