BibSLEIGH
BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
EDIT!
CC-BY
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
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 DBLP: Alexander:Perry

Facilitated 5 volumes:

ASE 2011Ed
ASE 2011GCh
ASE 2010ExpertReviewPa
ASE 2010PrBoard
ASE 2000PrCh

Contributed to:

ASE 20072007
GPCE 20072007
SCP, 20102010
ASE 20052005
ASE 20032003
RE 20022002
World Congress on Formal Methods 19991999
ASE 19971997
FME 19961996
KBSE 19951995
SEKE 19941994
SEKE 19931993

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.
Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.