137:, Zave created the set of definitions and reasoning obligations that have become known as the standard model for requirements engineering. The model is most fully explained in the paper "Four dark corners of requirements engineering." Earlier papers on this work won the Ten-Year Most Influential Paper Award from three conferences: 11th International Requirements Engineering Symposium (2003), 27th International Conference on Software Engineering (2005), and 18th IEEE Conference on Requirements Engineering (2010).
149:
An implementation of DFC was used to build the features for CallVantage (SM), AT&T's first voice-over-IP service, which became publicly available in 2004 and served approximately 100,000 customers world-wide. After CallVantage the DFC implementation was used to build a teleconferencing system
157:
best paper of 1989 for "A compositional approach to multiparadigm programming", 7th
International Workshop on Feature Interactions in Telecommunications and Software Systems (2003), 3rd International Conference on Principles, Systems and Applications of IP Telecommunications (2009).
393:
145:
Distributed
Feature Composition (DFC) is a modular architecture for telecommunication services, designed to provide structured feature composition and easy management of feature interactions. DFC was invented by Zave and Michael Jackson beginning in 1997.
125:"for encouraging the use of formal methods in the development of telecommunication software through influential research, tool development, large case studies, and professional education." She was also selected as an AT&T Fellow in 2009.
166:
Zave's work on finding bugs in the Chord protocol and proving a modified version correct has been credited by engineers in Amazon Web
Services for convincing them to start using formal methods on real distributed systems.
573:
150:
used internally by AT&T, which for some time supported millions of user minutes each work day. DFC has also been incorporated into the Java
Community Process standard for SIP Servlet containers.
588:
593:
603:
74:
in 1976, under the name Pamela Zave Smith; her thesis, "Functional equivalence of parallel processes", was supervised by Donald R. Fitzwater. She taught at the
613:
608:
598:
114:"for groundbreaking use of formal methods in the development of telecommunication software and for enduring contributions to software engineering theory."
134:
563:
75:
71:
479:
Chris
Newcombe, Tim Rath, Fan Zhang, Bogdan Munteanu, Marc Brooker, and Michael Deardeuff, How Amazon Web Services uses formal methods,
122:
47:
578:
568:
210:
153:
Zave holds 30 patents in the telecommunications area. Her papers on telecommunications research have won three Best Paper Awards:
82:(which was then part of AT&T). She remained in the AT&T part of the Labs through the two corporate splits that formed
337:
Michael
Jackson and Pamela Zave, Distributed Feature Composition: A virtual architecture for telecommunications services,
247:
39:
583:
282:
407:
357:
35:
31:
558:
176:
111:
107:
55:
51:
91:
553:
95:
27:
70:
with a bachelor's degree in
English, in 1970. She earned her doctorate in computer science from the
67:
23:
484:
464:
444:
422:
342:
270:
258:
369:
547:
512:
426:
294:
Pamela Zave and
Michael Jackson, Four dark corners of requirements engineering,
468:
448:
243:
79:
459:
Pamela Zave, Reasoning about identifier spaces: How to make Chord correct,
309:
180:
83:
381:
325:
192:
346:
499:
231:
118:
87:
43:
488:
311:
The SIGSOFT Chronology: its
Officers, Conferences, Awards, and more
326:
94:
through 2017. Since then she has been a research associate at
42:, and is now working on network architecture. She was named a
439:
Pamela Zave, Using lightweight modeling to understand Chord,
370:
AT&T's CallVantage: Excellent Phone Service on the Cheap
175:
In 2014 Zave married her partner, the Cuban-American artist
538:
394:
Results of Search in US Patent Collection db for IN/Zave
296:
ACM Transactions on Software Engineering and Methodology
574:
2001 fellows of the Association for Computing Machinery
285:, AT&T, March 17, 2010, retrieved 2015-06-18.
382:Java Specification Request 359: SIP Servlet 2.0
162:Research on protocol modeling and verification
8:
589:University of Maryland, College Park faculty
408:"Directions in Feature Interaction Research"
283:AT&T Announces Technology Award Winners
50:in 2001, and was the 2017 recipient of the
441:ACM SIGCOMM Computer Communications Review
360:, December 16, 2004, retrieved 2018-12-31.
461:IEEE Transactions on Software Engineering
339:IEEE Transactions on Software Engineering
203:
604:21st-century American women scientists
594:University of Wisconsin–Madison alumni
141:Research on telecommunication services
372:, May 23, 2005, retrieved 2018-12-31.
227:
225:
223:
221:
219:
7:
129:Research on requirements engineering
76:University of Maryland, College Park
123:Association for Computing Machinery
78:from 1975 to 1981, and then joined
48:Association for Computing Machinery
614:21st-century American LGBTQ people
609:20th-century American LGBTQ people
599:American women computer scientists
90:in 1996, and continued working at
40:protocol modeling and verification
14:
358:AT&T CallVantage New Features
406:Amyot, D.; Logrippo, L. (2004),
72:University of Wisconsin–Madison
30:. She is known for her work on
1:
248:Mathematics Genealogy Project
564:American computer scientists
427:10.1016/j.comnet.2004.03.024
22:(born 1948) is an American
16:American computer scientist
630:
259:2017 Harlan D. Mills Award
106:In 2017 Zave received the
36:telecommunication services
579:American LGBTQ scientists
569:Cornell University alumni
481:Communications of the ACM
271:ACM Fellow Award Citation
117:In 2001 Zave was named a
469:10.1109/TSE.2017.2655056
32:requirements engineering
502:, retrieved 2018-10-15.
449:10.1145/2185376.2185383
396:, retrieved 2019-01-02.
384:, retrieved 2018-12-31.
328:, retrieved 2015-06-18.
273:, retrieved 2015-06-18.
261:, retrieved 2018-10-15.
234:, retrieved 2018-10-15.
213:, retrieved 2015-06-18.
500:Interests Outside Work
308:Xie, Tao (2009–2013),
232:Professional Biography
133:In collaboration with
92:AT&T Labs Research
112:IEEE Computer Society
108:Harlan D. Mills Award
56:IEEE Computer Society
52:Harlan D. Mills Award
96:Princeton University
66:Zave graduated from
62:Education and career
28:Princeton University
413:, Guest Editorial,
211:Birthdate from OCLC
584:Lesbian scientists
539:Research Home Page
513:"About the Artist"
177:Yolanda V. Fundora
135:Michael A. Jackson
68:Cornell University
24:computer scientist
415:Computer Networks
347:10.1109/32.729683
102:Awards and honors
621:
527:
526:
524:
523:
509:
503:
497:
491:
477:
471:
457:
451:
437:
431:
429:
412:
403:
397:
391:
385:
379:
373:
367:
361:
355:
349:
335:
329:
323:
317:
315:
305:
299:
292:
286:
280:
274:
268:
262:
256:
250:
241:
235:
229:
214:
208:
629:
628:
624:
623:
622:
620:
619:
618:
544:
543:
535:
530:
521:
519:
511:
510:
506:
498:
494:
489:10.1145/2699417
478:
474:
458:
454:
438:
434:
410:
405:
404:
400:
392:
388:
380:
376:
368:
364:
356:
352:
336:
332:
324:
320:
307:
306:
302:
293:
289:
281:
277:
269:
265:
257:
253:
242:
238:
230:
217:
209:
205:
201:
189:
173:
164:
143:
131:
104:
64:
26:now working at
17:
12:
11:
5:
627:
625:
617:
616:
611:
606:
601:
596:
591:
586:
581:
576:
571:
566:
561:
556:
546:
545:
542:
541:
534:
533:External links
531:
529:
528:
504:
492:
472:
463:43(12), 2017.
452:
432:
421:(5): 563–567,
398:
386:
374:
362:
350:
341:24(10), 1998.
330:
318:
300:
287:
275:
263:
251:
236:
215:
202:
200:
197:
196:
195:
188:
185:
172:
169:
163:
160:
142:
139:
130:
127:
103:
100:
63:
60:
15:
13:
10:
9:
6:
4:
3:
2:
626:
615:
612:
610:
607:
605:
602:
600:
597:
595:
592:
590:
587:
585:
582:
580:
577:
575:
572:
570:
567:
565:
562:
560:
559:Living people
557:
555:
552:
551:
549:
540:
537:
536:
532:
518:
517:Zaveartquilts
514:
508:
505:
501:
496:
493:
490:
486:
483:58(4), 2015.
482:
476:
473:
470:
466:
462:
456:
453:
450:
446:
443:42(2), 2012.
442:
436:
433:
428:
424:
420:
416:
409:
402:
399:
395:
390:
387:
383:
378:
375:
371:
366:
363:
359:
354:
351:
348:
344:
340:
334:
331:
327:
322:
319:
313:
312:
304:
301:
297:
291:
288:
284:
279:
276:
272:
267:
264:
260:
255:
252:
249:
245:
240:
237:
233:
228:
226:
224:
222:
220:
216:
212:
207:
204:
198:
194:
191:
190:
186:
184:
182:
178:
170:
168:
161:
159:
156:
155:IEEE Software
151:
147:
140:
138:
136:
128:
126:
124:
120:
115:
113:
109:
101:
99:
97:
93:
89:
85:
81:
77:
73:
69:
61:
59:
57:
53:
49:
45:
41:
37:
33:
29:
25:
21:
520:. Retrieved
516:
507:
495:
480:
475:
460:
455:
440:
435:
418:
414:
401:
389:
377:
365:
353:
338:
333:
321:
310:
303:
295:
290:
278:
266:
254:
239:
206:
174:
165:
154:
152:
148:
144:
132:
116:
105:
86:in 1984 and
65:
19:
18:
554:1948 births
298:2(4), 1993.
244:Pamela Zave
179:. She is a
20:Pamela Zave
548:Categories
522:2022-02-26
199:References
110:from the
80:Bell Labs
54:from the
187:See also
171:Personal
84:Bellcore
246:at the
193:SailFin
181:quilter
121:of the
46:of the
119:Fellow
88:Lucent
44:Fellow
38:, and
411:(PDF)
314:, ACM
485:doi
465:doi
445:doi
423:doi
343:doi
550::
515:.
419:45
417:,
218:^
183:.
98:.
58:.
34:,
525:.
487::
467::
447::
430:.
425::
345::
316:.
Text is available under the Creative Commons Attribution-ShareAlike License. Additional terms may apply.