Остановите войну!
for scientists:
default search action
Pamela Zave
- > Home > Persons > Pamela Zave
Publications
- 2020
- [c58]Bharath Balasubramanian, Pamela Zave, Richard D. Schlichting, Mohammad Salehe, Shankaranarayanan Puzhavakath Narayanan, Seyed Hossein Mortazavi, Eyal de Lara, Matti A. Hiltunen, Kaustubh Joshi, Gueyoung Jung:
MUSIC: Multi-Site Critical Sections over Geo-Distributed State. ICDCS 2020: 639-651 - 2018
- [c57]Bharath Balasubramanian, Richard D. Schlichting, Pamela Zave:
Brief Announcement: MUSIC: Multi-Site Entry Consistencyfor Geo-Distributed Services. PODC 2018: 281-284 - 2017
- [c56]Lana Yarosh, Pamela Zave:
Locked or Not?: Mental Models of IoT Feature Interaction. CHI 2017: 2993-2997 - 2015
- [i3]Pamela Zave, Eric Cheung, Svetlana Yarosh:
Toward user-centric feature composition for the Internet of Things. CoRR abs/1510.06714 (2015) - 2014
- [i1]Sven Apel, Joanne M. Atlee, Luciano Baresi, Pamela Zave:
Feature Interactions: The Next Generation (Dagstuhl Seminar 14281). Dagstuhl Reports 4(7): 1-24 (2014) - 2012
- [j34]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) - 2011
- [c50]Eric Cheung, Gregory W. Bond, Thomas M. Smith, Pamela Zave:
StratoSIP: SIP at a very high level: demo proposal for IPTComm 2011. IPTComm 2011: 5:1-5:4 - 2010
- [c46]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 - 2009
- [j33]Pamela Zave, Eric Cheung:
Compositional Control of IP Media. IEEE Trans. Software Eng. 35(1): 46-66 (2009) - [c43]Pamela Zave, Eric Cheung, Gregory W. Bond, Thomas M. Smith:
Abstractions for programming SIP back-to-back user agents. IPTComm 2009: 11 - 2008
- [c42]Eric Cheung, Pamela Zave:
Generalized Third-Party Call Control in SIP Networks. IPTComm 2008: 45-68 - [c40]Shiva Nejati, Mehrdad Sabetzadeh, Marsha Chechik, Sebastián Uchitel, Pamela Zave:
Towards compositional synthesis of evolving systems. SIGSOFT FSE 2008: 285-296 - 2007
- [c38]Shiva Nejati, Mehrdad Sabetzadeh, Marsha Chechik, Steve M. Easterbrook, Pamela Zave:
Matching and Merging of Statecharts Specifications. ICSE 2007: 54-64 - 2006
- [c36]Pamela Zave, Eric Cheung:
Compositional control of IP media. CoNEXT 2006: 18 - 2005
- [c34]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 - [c32]Michael Jackson, Pamela Zave:
Where do you go when you're through the turnstile? ICSE 2005: 44 - 2004
- [j32]Pamela Zave, Healfdene Goguen, Thomas M. Smith:
Component coordination: a telecommunication case study. Comput. Networks 45(5): 645-664 (2004) - [j31]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) - 2002
- [c28]Eric Cheung, Michael Jackson, Pamela Zave:
Distributed media control tor multimedia communications services. ICC 2002: 2454-2458 - [c27]Pamela Zave, Michael Jackson:
A Call Abstraction for Component Coordination. Formal Methods and Component Interaction @ ICALP 2002: 36-55 - 2000
- [j29]Carl A. Gunter, Elsa L. Gunter, Pamela Zave:
Formal software engineering. ACM SIGSOFT Softw. Eng. Notes 25(1): 54 (2000) - [j28]Carl A. Gunter, Elsa L. Gunter, Michael Jackson, Pamela Zave:
A Reference Model for Requirements and Specifications. IEEE Softw. 17(3): 37-43 (2000) - [c24]Pamela Zave, Michael Jackson:
New Feature Interactions in Mobile and Multimedia Telecommunications Services. FIW 2000: 51-66 - [c23]Carl A. Gunter, Elsa L. Gunter, Michael Jackson, Pamela Zave:
A Reference Model for Requirements and Specifications-Extended Abstract. ICRE 2000: 189 - 1998
- [j27]Pamela Zave, Michael Jackson:
A Component-Based Approach to Telecommunication Software. IEEE Softw. 15(5): 70-78 (1998) - [j26]Michael Jackson, Pamela Zave:
Distributed Feature Composition: A Virtual Architecture for Telecommunications Services. IEEE Trans. Software Eng. 24(10): 831-847 (1998) - [c18]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 - 1997
- [j24]Pamela Zave, Michael Jackson:
Telecommunications Service Requirements: Principles for Managing Complexity. Requir. Eng. 2(2): 92-101 (1997) - [j23]Pamela Zave, Michael Jackson:
Four Dark Corners of Requirements Engineering. ACM Trans. Softw. Eng. Methodol. 6(1): 1-30 (1997) - [c17]Pamela Zave, Michael Jackson:
Requirements for Telecommunications Services: An Attack on Complexity. RE 1997: 106-117 - 1996
- [j22]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). Comput. Networks ISDN Syst. 28(13): 1845-1855 (1996) - [j21]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. Computer 29(4): 16-30 (1996) - [j20]Pamela Zave, Michael Jackson:
Where Do Operations Come From: A Multiparadigm Specification Technique. IEEE Trans. Software Eng. 22(7): 508-528 (1996) - 1995
- [j19]Peter Mataga, Pamela Zave:
Using Z to specify telephone features. Inf. Softw. Technol. 37(5-6): 277-283 (1995) - [c15]Michael Jackson, Pamela Zave:
Deriving Specifications from Requirements: An Example. ICSE 1995: 15-24 - 1994
- [c13]Peter Mataga, Pamela Zave:
Formal Specification of Telephone Features. Z User Workshop 1994: 29-50 - 1993
- [j17]Pamela Zave, Michael Jackson:
Conjunction as Composition. ACM Trans. Softw. Eng. Methodol. 2(4): 379-411 (1993) - [c12]Michael Jackson, Pamela Zave:
Domain descriptions. RE 1993: 56-64 - [p1]Pamela Zave, Michael Jackson:
Composition of Descriptions : A Progress Report. Formal Methods in Systems Engineering 1993: 41-50 - 1991
- [c11]Pamela Zave, Michael Jackson:
Techniques for Partial Specification and Specification of Switching Systems. VDM Europe (1) 1991: 511-525 - [c10]Pamela Zave, Michael Jackson:
Techniques for Partial Specification and Specification of Switching Systems. Z User Workshop 1991: 205-219 - 1989
- [c9]Pamela Zave, Daniel Jackson:
Practical Specification Techniques for Control-Oriented Systems. IFIP Congress 1989: 83-88 - 1983
- [c4]Mark A. Linton, Robert Balzer, R. J. Cunningham, C. Cordell Green, Robert L. Sedlmeyer, Elliott Solloway, William R. Swartout, Pamela Zave:
Knowledge-based debugging: session summary. SIGSOFT 1983: 23-24
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from , , and to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from .
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-04-21 18:00 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint