dblp.uni-trier.dewww.uni-trier.de

Pamela Zave

List of publications from the DBLP Bibliography Server - FAQ
Coauthor Index - Ask others: ACM DL/Guide - CiteSeer - CSB - Google - MSN - Yahoo
Home Page

2009
61EEPamela Zave, Eric Cheung: Compositional Control of IP Media. IEEE Trans. Software Eng. 35(1): 46-66 (2009)
2008
60EEPamela Zave: Understanding SIP through Model-Checking. IPTComm 2008: 256-279
59EEEric Cheung, Pamela Zave: Generalized Third-Party Call Control in SIP Networks. IPTComm 2008: 45-68
58EEShiva Nejati, Mehrdad Sabetzadeh, Marsha Chechik, Sebastián Uchitel, Pamela Zave: Towards compositional synthesis of evolving systems. SIGSOFT FSE 2008: 285-296
2007
57EEPamela Zave: Requirements for Routing in the Application Layer. COORDINATION 2007: 19-36
56EEShiva Nejati, Mehrdad Sabetzadeh, Marsha Chechik, Steve M. Easterbrook, Pamela Zave: Matching and Merging of Statecharts Specifications. ICSE 2007: 54-64
2006
55EEPamela Zave, Eric Cheung: Compositional control of IP media. CoNEXT 2006: 18
54EEPamela Zave: Compositional Binding in Network Domains. FM 2006: 332-347
2005
53EEGregory 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
52EEPamela Zave: A Formal Model of Addressing for Interoperating Networks. FM 2005: 318-333
51EEMichael Jackson, Pamela Zave: Where do you go when you're through the turnstile? ICSE 2005: 44
2004
50EEGregory 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)
49EEPamela Zave: Address translation in telecommunication features. ACM Trans. Softw. Eng. Methodol. 13(1): 1-36 (2004)
48EEPamela Zave, Healfdene Goguen, Thomas M. Smith: Component coordination: a telecommunication case study. Computer Networks 45(5): 645-664 (2004)
2003
47 Pamela Zave: Ideal Address Translation: Principles, Properties, and Applications. FIW 2003: 257-274
46 Pamela Zave: Feature Disambiguation. FIW 2003: 3-9
45EEPamela Zave: From Architecture to Requirements: A Success Story. STRAW 2003: 9-13
2002
44EEPamela Zave, Michael Jackson: A Call Abstraction for Component Coordination. Electr. Notes Theor. Comput. Sci. 66(4): (2002)
2001
43 José Nuno Oliveira, Pamela Zave: FME 2001: Formal Methods for Increasing Software Productivity, International Symposium of Formal Methods Europe, Berlin, Germany, March 12-16, 2001, Proceedings Springer 2001
42EEPamela Zave: Requirements for Evolving Systems: A Telecommunications Perspective. RE 2001: 2-9
2000
41 Pamela Zave, Michael Jackson: New Feature Interactions in Mobile and Multimedia Telecommunications Services. FIW 2000: 51-66
40EECarl A. Gunter, Elsa L. Gunter, Michael Jackson, Pamela Zave: A Reference Model for Requirements and Specifications-Extended Abstract. ICRE 2000: 189
39EECarl A. Gunter, Elsa L. Gunter, Michael Jackson, Pamela Zave: A Reference Model for Requirements and Specifications. IEEE Software 17(3): (2000)
1999
38 Pamela Zave: Distributed Feature Composition: An Architecture for Telecommunication Services (Tutorial). FMOODS 1999
1998
37EEPamela Zave: Systematic Design of Call-Coverage Features. AMAST 1998: 23-27
36 Pamela Zave: Architectural Solutions to Feature-Interaction Problems in Telecommunications. FIW 1998: 10-22
35EEPamela Zave: `Calls Considered Harmful' and Other Observations: A Tutorial on Telephony. Services and Visualization: Towards User-Friendly Design 1998: 8-27
34 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
33EEPamela Zave, Michael Jackson: A Component-Based Approach to Telecommunication Software. IEEE Software 15(5): 70-78 (1998)
32EEMichael Jackson, Pamela Zave: Distributed Feature Composition: A Virtual Architecture for Telecommunications Services. IEEE Trans. Software Eng. 24(10): 831-847 (1998)
1997
31EEPamela Zave, Michael Jackson: Requirements for Telecommunications Services: An Attack on Complexity. RE 1997: 106-117
30EEPamela Zave: Classification of Research Efforts in Requirements Engineering. ACM Comput. Surv. 29(4): 315-321 (1997)
29EEPamela Zave, Michael Jackson: Four Dark Corners of Requirements Engineering. ACM Trans. Softw. Eng. Methodol. 6(1): 1-30 (1997)
28 Pamela Zave, Michael Jackson: Telecommunications Service Requirements: Principles for Managing Complexity. Requir. Eng. 2(2): 92-101 (1997)
1996
27EEJean-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)
26 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)
25EEPamela Zave, Michael Jackson: Where Do Operations Come From: A Multiparadigm Specification Technique. IEEE Trans. Software Eng. 22(7): 508-528 (1996)
1995
24 Pamela Zave: Secrets of Call Forwarding: A Specification Case Study. FORTE 1995: 169-184
23EEMichael Jackson, Pamela Zave: Deriving Specifications from Requirements: An Example. ICSE 1995: 15-24
22EEPamela Zave: Classification of research efforts in requirements engineering. RE 1995: 214-216
1994
21 Peter Mataga, Pamela Zave: Formal Specification of Telephone Features. Z User Workshop 1994: 29-50
1993
20EEPamela Zave, Michael Jackson: Conjunction as Composition. ACM Trans. Softw. Eng. Methodol. 2(4): 379-411 (1993)
19 Pamela Zave: Feature Interactions and Formal Specifications in Telecommunications. IEEE Computer 26(8): 20-30 (1993)
1991
18 Pamela Zave, Michael Jackson: Techniques for Partial Specification and Specification of Switching Systems. VDM Europe (1) 1991: 511-525
17 Pamela Zave, Michael Jackson: Techniques for Partial Specification and Specification of Switching Systems. Z User Workshop 1991: 205-219
16EEPamela Zave: An Insider's Evaluation of PAISLey. IEEE Trans. Software Eng. 17(3): 212-225 (1991)
1989
15 Pamela Zave, Daniel Jackson: Practical Specification Techniques for Control-Oriented Systems. IFIP Congress 1989: 83-88
14 Earl E. McCoy, Pamela Zave: Multistage, Multifaceted Analysis of Telecommunications Network Architectures. INFOCOM 1989: 91-95
13 Pamela Zave: Domain understanding and the software process. ISPW 1989: 145-150
12 Pamela Zave: A Compositional Approach to Multiparadigm Programming. IEEE Software 6(5): 15-25 (1989)
1987
11 E. F. Berliner, Pamela Zave: An Experiment in Technology Transfer: PAISLey Specification of Requirements for an Undersea Lightwave Cable System. ICSE 1987: 42-50
1986
10 Pamela Zave: Case Study: The Paisley Approach Applied to Its Own Software Tools. Comput. Lang. 11(1): 15-28 (1986)
9 G. D. Bergland, Pamela Zave: Guest Editor's Prologue Special Issue on Software Design Methods. IEEE Trans. Software Eng. 12(2): 185-191 (1986)
8 Pamela Zave, William Schell: Salient Features of an Executable Specification Language and Its Environment. IEEE Trans. Software Eng. 12(2): 312-325 (1986)
1985
7EEPamela Zave: A Distributed Alternative to Finite-State-Machine Specifications. ACM Trans. Program. Lang. Syst. 7(1): 10-36 (1985)
1984
6 Pamela Zave: The Operational versus the Conventional Approach to Software Development. Commun. ACM 27(2): 104-118 (1984)
1982
5 Pamela Zave: Testing Incomplete Specifications of Distributed Systems. PODC 1982: 42-48
4 Pamela Zave: An Operational Approach to Requirements Specification for Embedded Systems. IEEE Trans. Software Eng. 8(3): 250-269 (1982)
1981
3 Pamela Zave, Raymond T. Yeh: Executable Requirements for Embedded Systems. ICSE 1981: 295-304
1979
2 Pamela Zave: A Comprehensive Approach to Requirements Problems. COMPSAC 1979: 117-122
1EEPamela Zave, Werner C. Rheinboldt: Design of an Adaptive, Parallel Finite-Element System. ACM Trans. Math. Softw. 5(1): 1-17 (1979)

Coauthor Index

1G. D. Bergland [9]
2E. F. Berliner [11]
3Karthikeyan Bhargavan [34]
4Gregory W. Bond [50] [53]
5Jonathan P. Bowen [26]
6Ricky W. Butler [26]
7Marsha Chechik [56] [58]
8Eric Cheung [50] [53] [55] [59] [61]
9Jean-Pierre Courtiat [27]
10Piotr Dembinski [27]
11David L. Dill [26]
12Steve M. Easterbrook [56]
13Robert L. Glass [26]
14Healfdene Goguen [48] [53]
15David Gries [26]
16Carl A. Gunter [34] [39] [40]
17Elsa L. Gunter [34] [39] [40]
18Anthony Hall [26]
19Karrie J. Hanson [53]
20Don Henderson [53]
21Michael G. Hinchey (Mike Hinchey) [26]
22C. Michael Holloway [26]
23Gerard J. Holzmann [27]
24Daniel Jackson [15] [26]
25Michael Jackson [17] [18] [20] [23] [25] [28] [29] [31] [32] [33] [34] [39] [40] [41] [44] [51]
26Cliff B. Jones [26]
27Gerald M. Karam [53]
28Luigi Logrippo [27]
29Michael J. Lutz [26]
30Peter Mataga [21]
31Earl E. McCoy [14]
32Shiva Nejati [56] [58]
33Davor Obradovic [34]
34José Nuno Oliveira [43]
35David Lorge Parnas [26]
36K. Hal Purdy [50] [53]
37J. Christopher Ramming [50]
38Werner C. Rheinboldt [1]
39Harry Rudin [27]
40John M. Rushby [26]
41Mehrdad Sabetzadeh [56] [58]
42William Schell [8]
43Thomas M. Smith [48] [53]
44Sebastián Uchitel [58]
45Jeannette M. Wing [26]
46Raymond T. Yeh [3]

Colors in the list of coauthors

Copyright © Sun May 17 03:24:02 2009 by Michael Ley (ley@uni-trier.de)