The SCEAS System
Navigation Menu

Search the dblp DataBase

Title:
Author:

Pamela Zave: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

Publications of Author

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

  55. From Architecture to Requirements: A Success Story. [Citation Graph (, )][DBLP]


  56. Software Engineering for the Next Internet. [Citation Graph (, )][DBLP]


  57. Modeling the Internet. [Citation Graph (, )][DBLP]


  58. Towards compositional synthesis of evolving systems. [Citation Graph (, )][DBLP]


  59. Compositional control of IP media. [Citation Graph (, )][DBLP]


  60. Understanding SIP through Model-Checking. [Citation Graph (, )][DBLP]


  61. Generalized Third-Party Call Control in SIP Networks. [Citation Graph (, )][DBLP]


Search in 0.007secs, Finished in 0.009secs
NOTICE1
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades
NOTICE2
The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP
 
System created by asidirop@csd.auth.gr [http://users.auth.gr/~asidirop/] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002