Pamela Zave

Jennifer Rexford, Pamela Zave: Report of the DIMACS working group on abstractions for network services, architecture, and implementation. Computer Communication Review 43(1): 56-59 (2013)

Pamela Zave: Using lightweight modeling to understand chord. Computer Communication Review 42(2): 49-57 (2012)

Shiva Nejati, Mehrdad Sabetzadeh, Marsha Chechik, Steve M. Easterbrook, Pamela Zave: Matching and Merging of Variant Feature Specifications. IEEE Trans. Software Eng. 38(6): 1355-1375 (2012)

Pamela Zave: How software architecture can make an application-friendly internet. QoSA/ISARCS 2011: 1-2

Pamela Zave: Internet Evolution and the Role of Software Engineering. The Future of Software Engineering 2010: 152-172

Gregory W. Bond, Thomas M. Smith, Eric Cheung, Pamela Zave: Specification and evaluation of transparent behavior for SIP back-to-back user agents. IPTComm 2010: 48-58

Pamela Zave: Modeling the Internet. MoDELS (2) 2010: 1

Pamela Zave, Eric Cheung: Compositional Control of IP Media. IEEE Trans. Software Eng. 35(1): 46-66 (2009)

Pamela Zave: Software Engineering for the Next Internet. ICSE Companion 2009: 1-11

Pamela Zave, Eric Cheung, Gregory W. Bond, Thomas M. Smith: Abstractions for programming SIP back-to-back user agents. IPTComm 2009: 11

Eric Cheung, Pamela Zave: Generalized Third-Party Call Control in SIP Networks. IPTComm 2008: 45-68

Pamela Zave: Understanding SIP through Model-Checking. IPTComm 2008: 256-279

Shiva Nejati, Mehrdad Sabetzadeh, Marsha Chechik, Sebastián Uchitel, Pamela Zave: Towards compositional synthesis of evolving systems. SIGSOFT FSE 2008: 285-296

Pamela Zave: Requirements for Routing in the Application Layer. COORDINATION 2007: 19-36

Shiva Nejati, Mehrdad Sabetzadeh, Marsha Chechik, Steve M. Easterbrook, Pamela Zave: Matching and Merging of Statecharts Specifications. ICSE 2007: 54-64

Pamela Zave: Audio feature interactions in Voice-over-IP. IPTComm 2007: 67-78

Pamela Zave, Eric Cheung: Compositional control of IP media. CoNEXT 2006: 18

Pamela Zave: Compositional Binding in Network Domains. FM 2006: 332-347

Gregory W. Bond, Eric Cheung, Healfdene Goguen, Karrie J. Hanson, Don Henderson, Gerald M. Karam, K. Hal Purdy, Thomas M. Smith, Pamela Zave: Experience with Component-Based Development of a Telecommunication Service. CBSE 2005: 298-305

Pamela Zave: A Formal Model of Addressing for Interoperating Networks. FM 2005: 318-333

Michael Jackson, Pamela Zave: Where do you go when you're through the turnstile? ICSE 2005: 44

Pamela Zave, Healfdene Goguen, Thomas M. Smith: Component coordination: a telecommunication case study. Computer Networks 45(5): 645-664 (2004)

Gregory W. Bond, Eric Cheung, K. Hal Purdy, Pamela Zave, J. Christopher Ramming: An open architecture for next-generation telecommunication services. ACM Trans. Internet Techn. 4(1): 83-123 (2004)

Pamela Zave: Address translation in telecommunication features. ACM Trans. Softw. Eng. Methodol. 13(1): 1-36 (2004)

Pamela Zave: Feature Disambiguation. FIW 2003: 3-9

Pamela Zave: Ideal Address Translation: Principles, Properties, and Applications. FIW 2003: 257-274

Pamela Zave: From Architecture to Requirements: A Success Story. STRAW 2003: 9-13

Pamela Zave, Michael Jackson: A Call Abstraction for Component Coordination. Electr. Notes Theor. Comput. Sci. 66(4): 36-55 (2002)

Eric Cheung, Michael Jackson, Pamela Zave: Distributed media control tor multimedia communications services. ICC 2002: 2454-2458

Pamela Zave: Requirements for Evolving Systems: A Telecommunications Perspective. RE 2001: 2-9

José Nuno Oliveira, Pamela Zave (Eds.): FME 2001: Formal Methods for Increasing Software Productivity, International Symposium of Formal Methods Europe, Berlin, Germany, March 12-16, 2001, Proceedings. Lecture Notes in Computer Science 2021, Springer 2001, isbn 3-540-41791-5

Carl A. Gunter, Elsa L. Gunter, Pamela Zave: Formal software engineering. ACM SIGSOFT Software Engineering Notes 25(1): 54 (2000)

Carl A. Gunter, Elsa L. Gunter, Michael Jackson, Pamela Zave: A Reference Model for Requirements and Specifications. IEEE Software 17(3): 37-43 (2000)

Pamela Zave, Michael Jackson: New Feature Interactions in Mobile and Multimedia Telecommunications Services. FIW 2000: 51-66

Carl A. Gunter, Elsa L. Gunter, Michael Jackson, Pamela Zave: A Reference Model for Requirements and Specifications-Extended Abstract. ICRE 2000: 189

Pamela Zave: Distributed Feature Composition: An Architecture for Telecommunication Services (Tutorial). FMOODS 1999

Pamela Zave, Michael Jackson: A Component-Based Approach to Telecommunication Software. IEEE Software 15(5): 70-78 (1998)

Michael Jackson, Pamela Zave: Distributed Feature Composition: A Virtual Architecture for Telecommunications Services. IEEE Trans. Software Eng. 24(10): 831-847 (1998)

Pamela Zave: Systematic Design of Call-Coverage Features. AMAST 1998: 23-27

Pamela Zave: Architectural Solutions to Feature-Interaction Problems in Telecommunications. FIW 1998: 10-22

Pamela Zave: `Calls Considered Harmful' and Other Observations: A Tutorial on Telephony. Services and Visualization: Towards User-Friendly Design 1998: 8-27

Karthikeyan Bhargavan, Carl A. Gunter, Elsa L. Gunter, Michael Jackson, Davor Obradovic, Pamela Zave: The Village Telephone System: A Case Study in Formal Software Engineering. TPHOLs 1998: 49-66

Pamela Zave: Classification of Research Efforts in Requirements Engineering. ACM Comput. Surv. 29(4): 315-321 (1997)

Pamela Zave, Michael Jackson: Telecommunications Service Requirements: Principles for Managing Complexity. Requir. Eng. 2(2): 92-101 (1997)

Pamela Zave, Michael Jackson: Four Dark Corners of Requirements Engineering. ACM Trans. Softw. Eng. Methodol. 6(1): 1-30 (1997)

Pamela Zave, Michael Jackson: Requirements for Telecommunications Services: An Attack on Complexity. RE 1997: 106-117

Jean-Pierre Courtiat, Piotr Dembinski, Gerard J. Holzmann, Luigi Logrippo, Harry Rudin, Pamela Zave: Formal Methods after 15 Years: Status and Trends (Paper based on contributions of the panelists at the FORmal TEchnique '95, Conference, Montreal, October 1995). Computer Networks and ISDN Systems 28(13): 1845-1855 (1996)

Jonathan P. Bowen, Ricky W. Butler, David L. Dill, Robert L. Glass, David Gries, Anthony Hall, Michael G. Hinchey, C. Michael Holloway, Daniel Jackson, Cliff B. Jones, Michael J. Lutz, David Lorge Parnas, John M. Rushby, Jeannette M. Wing, Pamela Zave: An Invitation to Formal Methods. IEEE Computer 29(4): 16-30 (1996)

Pamela Zave, Michael Jackson: Where Do Operations Come From: A Multiparadigm Specification Technique. IEEE Trans. Software Eng. 22(7): 508-528 (1996)

Peter Mataga, Pamela Zave: Using Z to specify telephone features. Information & Software Technology 37(5-6): 277-283 (1995)

Pamela Zave: Secrets of Call Forwarding: A Specification Case Study. FORTE 1995: 169-184

Michael Jackson, Pamela Zave: Deriving Specifications from Requirements: An Example. ICSE 1995: 15-24

Pamela Zave: Classification of research efforts in requirements engineering. RE 1995: 214-216

Peter Mataga, Pamela Zave: Formal Specification of Telephone Features. Z User Workshop 1994: 29-50

Pamela Zave: Feature Interactions and Formal Specifications in Telecommunications. IEEE Computer 26(8): 20-30 (1993)

Pamela Zave, Michael Jackson: Conjunction as Composition. ACM Trans. Softw. Eng. Methodol. 2(4): 379-411 (1993)

Pamela Zave: An Insider's Evaluation of PAISLey. IEEE Trans. Software Eng. 17(3): 212-225 (1991)

Pamela Zave, Michael Jackson: Techniques for Partial Specification and Specification of Switching Systems. VDM Europe (1) 1991: 511-525

Pamela Zave, Michael Jackson: Techniques for Partial Specification and Specification of Switching Systems. Z User Workshop 1991: 205-219

Pamela Zave: A Compositional Approach to Multiparadigm Programming. IEEE Software 6(5): 15-25 (1989)

Pamela Zave, Daniel Jackson: Practical Specification Techniques for Control-Oriented Systems. IFIP Congress 1989: 83-88

Earl E. McCoy, Pamela Zave: Multistage, Multifaceted Analysis of Telecommunications Network Architectures. INFOCOM 1989: 91-95

Pamela Zave: Domain understanding and the software process. ISPW 1989: 145-150

E. F. Berliner, Pamela Zave: An Experiment in Technology Transfer: PAISLey Specification of Requirements for an Undersea Lightwave Cable System. ICSE 1987: 42-50

Pamela Zave: Case Study: The Paisley Approach Applied to Its Own Software Tools. Comput. Lang. 11(1): 15-28 (1986)

G. D. Bergland, Pamela Zave: Guest Editor's Prologue Special Issue on Software Design Methods. IEEE Trans. Software Eng. 12(2): 185-191 (1986)

Pamela Zave, William Schell: Salient Features of an Executable Specification Language and Its Environment. IEEE Trans. Software Eng. 12(2): 312-325 (1986)

Pamela Zave: A Distributed Alternative to Finite-State-Machine Specifications. ACM Trans. Program. Lang. Syst. 7(1): 10-36 (1985)

Pamela Zave: The Operational versus the Conventional Approach to Software Development. Commun. ACM 27(2): 104-118 (1984)

Pamela Zave, George E. Cole Jr.: A Quantitative Evaluation of the Feasibility of, and Suitable Hardware Architectures for, an Adaptive, Parallel Finite-Element System. ACM Trans. Math. Softw. 9(3): 271-292 (1983)

Pamela Zave: An Operational Approach to Requirements Specification for Embedded Systems. IEEE Trans. Software Eng. 8(3): 250-269 (1982)

Pamela Zave: Testing Incomplete Specifications of Distributed Systems. PODC 1982: 42-48

Pamela Zave, Raymond T. Yeh: Executable Requirements for Embedded Systems. ICSE 1981: 295-304

Pamela Zave, Werner C. Rheinboldt: Design of an Adaptive, Parallel Finite-Element System. ACM Trans. Math. Softw. 5(1): 1-17 (1979)

Pamela Zave: A Comprehensive Approach to Requirements Problems. COMPSAC 1979: 117-122