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: Zave:Pamela
Facilitated 1 volumes:
EdContributed to:
2011
2010
2008
20072006
200520052005
20012000199719951995199319871981
1991Wrote 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.
- RE-1993-JacksonZ
- 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.