BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
Travelled to:
1 × Norway
1 × The Netherlands
1 × United Kingdom
11 × USA
2 × Canada
Collaborated with:
M.Jackson E.F.Berliner R.T.Yeh S.Nejati M.Sabetzadeh M.Chechik C.A.Gunter E.L.Gunter S.Uchitel S.M.Easterbrook G.W.Bond E.Cheung H.Goguen K.J.Hanson D.Henderson G.M.Karam K.H.Purdy T.M.Smith
Talks about:
requir (7) specif (6) system (5) telecommun (3) model (3) internet (2) composit (2) network (2) servic (2) experi (2)

Person: Pamela Zave

DBLP DBLP: Zave:Pamela

Facilitated 1 volumes:

FME 2001Ed

Contributed to:

QoSA/ISARCS 20112011
MoDELS (2) 20102010
FSE 20082008
ICSE 20072007
FM 20062006
CBSE 20052005
FM 20052005
ICSE 20052005
RE 20012001
ICRE 20002000
RE 19971997
ICSE 19951995
RE 19951995
RE 19931993
ICSE 19871987
ICSE 19811981
VDM Europe (1) 19911991

Wrote 18 papers:

QoSA-ISARCS-2011-Zave #architecture #how #internet
How software architecture can make an application-friendly internet (PZ), pp. 1–2.
MoDELS-v2-2010-Zave #internet #modelling
Modeling the Internet (PZ), p. 1.
FSE-2008-NejatiSCUZ #composition #evolution #synthesis #towards
Towards compositional synthesis of evolving systems (SN, MS, MC, SU, PZ), pp. 285–296.
ICSE-2007-NejatiSCEZ #specification
Matching and Merging of Statecharts Specifications (SN, MS, MC, SME, PZ), pp. 54–64.
FM-2006-Zave #composition #network
Compositional Binding in Network Domains (PZ), pp. 332–347.
CBSE-2005-BondCGHHKPSZ #component #development #experience
Experience with Component-Based Development of a Telecommunication Service (GWB, EC, HG, KJH, DH, GMK, KHP, TMS, PZ), pp. 298–305.
FM-2005-Zave #formal method #network
A Formal Model of Addressing for Interoperating Networks (PZ), pp. 318–333.
ICSE-2005-JacksonZ #question
Where do you go when you’re through the turnstile? (MJ, PZ), p. 44.
RE-2001-Zave #evolution #perspective #requirements
Requirements for Evolving Systems: A Telecommunications Perspective (PZ), pp. 2–9.
ICRE-2000-GunterGJZ #requirements
A Reference Model for Requirements and Specifications-Extended Abstract (CAG, ELG, MJ, PZ), p. 189.
RE-1997-ZaveJ #complexity #requirements
Requirements for Telecommunications Services: An Attack on Complexity (PZ, MJ), pp. 106–117.
ICSE-1995-JacksonZ #requirements #specification
Deriving Specifications from Requirements: An Example (MJ, PZ), pp. 15–24.
RE-1995-Zave #classification #requirements #research
Classification of research efforts in requirements engineering (PZ), pp. 214–216.
Domain descriptions (MJ, PZ), pp. 56–64.
ICSE-1987-BerlinerZ #empirical #requirements #specification
An Experiment in Technology Transfer: PAISLey Specification of Requirements for an Undersea Lightwave Cable System (EFB, PZ), pp. 42–50.
ICSE-1981-ZaveY #embedded #execution #requirements
Executable Requirements for Embedded Systems (PZ, RTY), pp. 295–304.
VDME-1991-ZaveJ #specification
Techniques for Partial Specification and Specification of Switching Systems (PZ, MJ), pp. 511–525.

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.