Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDBibTeX records: Pamela Zave
@article{DBLP:journals/csur/ZaveR21,
author = {Pamela Zave and
Jennifer Rexford},
title = {Patterns and Interactions in Network Security},
journal = {{ACM} Comput. Surv.},
volume = {53},
number = {6},
pages = {118:1--118:37},
year = {2021},
url = {https://doi.org/10.1145/3417988},
doi = {10.1145/3417988},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/csur/ZaveR21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ton/ZaveCFRMZ21,
author = {Pamela Zave and
Fabr{\'{\i}}cio B. Carvalho and
Ronaldo A. Ferreira and
Jennifer Rexford and
Masaharu Morimoto and
Xuan Kelvin Zou},
title = {A Verified Session Protocol for Dynamic Service Chaining},
journal = {{IEEE/ACM} Trans. Netw.},
volume = {29},
number = {1},
pages = {423--437},
year = {2021},
url = {https://doi.org/10.1109/TNET.2020.3037049},
doi = {10.1109/TNET.2020.3037049},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ton/ZaveCFRMZ21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icdcs/Balasubramanian20,
author = {Bharath Balasubramanian and
Pamela Zave and
Richard D. Schlichting and
Mohammad Salehe and
Shankaranarayanan Puzhavakath Narayanan and
Seyed Hossein Mortazavi and
Eyal de Lara and
Matti A. Hiltunen and
Kaustubh Joshi and
Gueyoung Jung},
title = {{MUSIC:} Multi-Site Critical Sections over Geo-Distributed State},
booktitle = {40th {IEEE} International Conference on Distributed Computing Systems,
{ICDCS} 2020, Singapore, November 29 - December 1, 2020},
pages = {639--651},
publisher = {{IEEE}},
year = {2020},
url = {https://doi.org/10.1109/ICDCS47774.2020.00022},
doi = {10.1109/ICDCS47774.2020.00022},
timestamp = {Tue, 02 Mar 2021 12:16:24 +0100},
biburl = {https://dblp.org/rec/conf/icdcs/Balasubramanian20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2009-12861,
author = {Pamela Zave and
Jennifer Rexford and
John Sonchack},
title = {The Remaining Improbable: Toward Verifiable Network Services},
journal = {CoRR},
volume = {abs/2009.12861},
year = {2020},
url = {https://arxiv.org/abs/2009.12861},
eprinttype = {arXiv},
eprint = {2009.12861},
timestamp = {Wed, 30 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2009-12861.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/cacm/ZaveR19,
author = {Pamela Zave and
Jennifer Rexford},
title = {The compositional architecture of the internet},
journal = {Commun. {ACM}},
volume = {62},
number = {3},
pages = {78--87},
year = {2019},
url = {https://doi.org/10.1145/3226588},
doi = {10.1145/3226588},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/cacm/ZaveR19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1912-13371,
author = {Pamela Zave and
Jennifer Rexford},
title = {Patterns and Interactions in Network Security},
journal = {CoRR},
volume = {abs/1912.13371},
year = {2019},
url = {http://arxiv.org/abs/1912.13371},
eprinttype = {arXiv},
eprint = {1912.13371},
timestamp = {Tue, 07 Jan 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-1912-13371.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/podc/Balasubramanian18,
author = {Bharath Balasubramanian and
Richard D. Schlichting and
Pamela Zave},
editor = {Calvin Newport and
Idit Keidar},
title = {Brief Announcement: {MUSIC:} Multi-Site Entry Consistencyfor Geo-Distributed
Services},
booktitle = {Proceedings of the 2018 {ACM} Symposium on Principles of Distributed
Computing, {PODC} 2018, Egham, United Kingdom, July 23-27, 2018},
pages = {281--284},
publisher = {{ACM}},
year = {2018},
url = {https://dl.acm.org/citation.cfm?id=3212782},
timestamp = {Mon, 26 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/podc/Balasubramanian18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tse/Zave17,
author = {Pamela Zave},
title = {Reasoning About Identifier Spaces: How to Make Chord Correct},
journal = {{IEEE} Trans. Software Eng.},
volume = {43},
number = {12},
pages = {1144--1156},
year = {2017},
url = {https://doi.org/10.1109/TSE.2017.2655056},
doi = {10.1109/TSE.2017.2655056},
timestamp = {Thu, 25 Jan 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tse/Zave17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/chi/YaroshZ17,
author = {Lana Yarosh and
Pamela Zave},
editor = {Gloria Mark and
Susan R. Fussell and
Cliff Lampe and
m. c. schraefel and
Juan Pablo Hourcade and
Caroline Appert and
Daniel Wigdor},
title = {Locked or Not?: Mental Models of IoT Feature Interaction},
booktitle = {Proceedings of the 2017 {CHI} Conference on Human Factors in Computing
Systems, Denver, CO, USA, May 06-11, 2017},
pages = {2993--2997},
publisher = {{ACM}},
year = {2017},
url = {https://doi.org/10.1145/3025453.3025617},
doi = {10.1145/3025453.3025617},
timestamp = {Tue, 06 Nov 2018 16:58:42 +0100},
biburl = {https://dblp.org/rec/conf/chi/YaroshZ17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sigcomm/ZaveFZMR17,
author = {Pamela Zave and
Ronaldo Alves Ferreira and
Xuan Kelvin Zou and
Masaharu Morimoto and
Jennifer Rexford},
title = {Dynamic Service Chaining with Dysco},
booktitle = {Proceedings of the Conference of the {ACM} Special Interest Group
on Data Communication, {SIGCOMM} 2017, Los Angeles, CA, USA, August
21-25, 2017},
pages = {57--70},
publisher = {{ACM}},
year = {2017},
url = {https://doi.org/10.1145/3098822.3098827},
doi = {10.1145/3098822.3098827},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sigcomm/ZaveFZMR17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:books/sp/17/Zave17,
author = {Pamela Zave},
editor = {Manuel Mazzara and
Bertrand Meyer},
title = {A Theory of Networking and Its Contributions to Software Engineering},
booktitle = {Present and Ulterior Software Engineering},
pages = {47--64},
publisher = {Springer},
year = {2017},
url = {https://doi.org/10.1007/978-3-319-67425-4\_4},
doi = {10.1007/978-3-319-67425-4\_4},
timestamp = {Fri, 27 Dec 2019 21:10:40 +0100},
biburl = {https://dblp.org/rec/books/sp/17/Zave17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icse/Zave25,
author = {Pamela Zave},
editor = {Laura K. Dillon and
Willem Visser and
Laurie A. Williams},
title = {Theories of everything},
booktitle = {Proceedings of the 38th International Conference on Software Engineering,
{ICSE} 2016, Austin, TX, USA, May 14-22, 2016 - Companion Volume},
pages = {793--796},
publisher = {{ACM}},
year = {2016},
url = {https://doi.org/10.1145/2889160.2889213},
doi = {10.1145/2889160.2889213},
timestamp = {Tue, 10 Aug 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icse/Zave25.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/Zave16,
author = {Pamela Zave},
title = {Reasoning about identifier spaces: How to make Chord correct},
journal = {CoRR},
volume = {abs/1610.01140},
year = {2016},
url = {http://arxiv.org/abs/1610.01140},
eprinttype = {arXiv},
eprint = {1610.01140},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/Zave16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fac/Zave15,
author = {Pamela Zave},
title = {A practical comparison of Alloy and Spin},
journal = {Formal Aspects Comput.},
volume = {27},
number = {2},
pages = {239--253},
year = {2015},
url = {https://doi.org/10.1007/s00165-014-0302-2},
doi = {10.1007/S00165-014-0302-2},
timestamp = {Mon, 09 May 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/fac/Zave15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icse/Zave15,
author = {Pamela Zave},
editor = {Rakesh Shukla and
Sagar Sen and
Forrest Shull and
Judith Bishop},
title = {Bridging the Research-Industry Gap: The Case for Domain Modeling},
booktitle = {2nd {IEEE/ACM} International Workshop on Software Engineering Research
and Industrial Practice, SER{\&}IP 2015, Florence, Italy, May
17, 2015},
pages = {3--4},
publisher = {{IEEE}},
year = {2015},
url = {https://doi.org/10.1109/SERIP.2015.9},
doi = {10.1109/SERIP.2015.9},
timestamp = {Wed, 16 Oct 2019 14:14:49 +0200},
biburl = {https://dblp.org/rec/conf/icse/Zave15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:series/natosec/Zave15,
author = {Pamela Zave},
editor = {Maximilian Irlbeck and
Doron A. Peled and
Alexander Pretschner},
title = {A Theory of Networks: In the Beginning . .},
booktitle = {Dependable Software Systems Engineering},
series = {{NATO} Science for Peace and Security Series, {D:} Information and
Communication Security},
volume = {40},
pages = {288--303},
publisher = {{IOS} Press},
year = {2015},
url = {https://doi.org/10.3233/978-1-61499-495-4-288},
doi = {10.3233/978-1-61499-495-4-288},
timestamp = {Tue, 16 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/series/natosec/Zave15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/Zave15,
author = {Pamela Zave},
title = {How to Make Chord Correct (Using a Stable Base)},
journal = {CoRR},
volume = {abs/1502.06461},
year = {2015},
url = {http://arxiv.org/abs/1502.06461},
eprinttype = {arXiv},
eprint = {1502.06461},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/Zave15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/ZaveCY15,
author = {Pamela Zave and
Eric Cheung and
Svetlana Yarosh},
title = {Toward user-centric feature composition for the Internet of Things},
journal = {CoRR},
volume = {abs/1510.06714},
year = {2015},
url = {http://arxiv.org/abs/1510.06714},
eprinttype = {arXiv},
eprint = {1510.06714},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/ZaveCY15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/dagstuhl-reports/BjornerFGZ15,
author = {Nikolaj S. Bj{\o}rner and
Nate Foster and
Philip Brighten Godfrey and
Pamela Zave},
title = {Formal Foundations for Networking (Dagstuhl Seminar 15071)},
journal = {Dagstuhl Reports},
volume = {5},
number = {2},
pages = {44--63},
year = {2015},
url = {https://doi.org/10.4230/DagRep.5.2.44},
doi = {10.4230/DAGREP.5.2.44},
timestamp = {Thu, 14 Apr 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/dagstuhl-reports/BjornerFGZ15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/dagstuhl-reports/ApelABZ14,
author = {Sven Apel and
Joanne M. Atlee and
Luciano Baresi and
Pamela Zave},
title = {Feature Interactions: The Next Generation (Dagstuhl Seminar 14281)},
journal = {Dagstuhl Reports},
volume = {4},
number = {7},
pages = {1--24},
year = {2014},
url = {https://doi.org/10.4230/DagRep.4.7.1},
doi = {10.4230/DAGREP.4.7.1},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/dagstuhl-reports/ApelABZ14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ccr/RexfordZ13,
author = {Jennifer Rexford and
Pamela Zave},
title = {Report of the {DIMACS} working group on abstractions for network services,
architecture, and implementation},
journal = {Comput. Commun. Rev.},
volume = {43},
number = {1},
pages = {56--59},
year = {2013},
url = {https://doi.org/10.1145/2427036.2427047},
doi = {10.1145/2427036.2427047},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ccr/RexfordZ13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/vstte/ZaveR13,
author = {Pamela Zave and
Jennifer Rexford},
editor = {Ernie Cohen and
Andrey Rybalchenko},
title = {Compositional Network Mobility},
booktitle = {Verified Software: Theories, Tools, Experiments - 5th International
Conference, {VSTTE} 2013, Menlo Park, CA, USA, May 17-19, 2013, Revised
Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {8164},
pages = {68--87},
publisher = {Springer},
year = {2013},
url = {https://doi.org/10.1007/978-3-642-54108-7\_4},
doi = {10.1007/978-3-642-54108-7\_4},
timestamp = {Tue, 14 May 2019 10:00:49 +0200},
biburl = {https://dblp.org/rec/conf/vstte/ZaveR13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ccr/Zave12,
author = {Pamela Zave},
title = {Using lightweight modeling to understand chord},
journal = {Comput. Commun. Rev.},
volume = {42},
number = {2},
pages = {49--57},
year = {2012},
url = {https://doi.org/10.1145/2185376.2185383},
doi = {10.1145/2185376.2185383},
timestamp = {Sun, 06 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ccr/Zave12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tse/NejatiSCEZ12,
author = {Shiva Nejati and
Mehrdad Sabetzadeh and
Marsha Chechik and
Steve M. Easterbrook and
Pamela Zave},
title = {Matching and Merging of Variant Feature Specifications},
journal = {{IEEE} Trans. Software Eng.},
volume = {38},
number = {6},
pages = {1355--1375},
year = {2012},
url = {https://doi.org/10.1109/TSE.2011.112},
doi = {10.1109/TSE.2011.112},
timestamp = {Mon, 15 Jun 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tse/NejatiSCEZ12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/middleware/ZaveR12,
author = {Pamela Zave and
Jennifer Rexford},
editor = {Karl M. G{\"{o}}schka and
Vladimir Tosic and
Jos{\'{e}} Orlando Pereira and
Patrick C. K. Hung},
title = {The geomorphic view of networking: a network model and its uses},
booktitle = {Proceedings of the 7th Workshop on Middleware for Next Generation
Internet Computing, MW4NG@Middleware 2012, Montreal, Quebec, Canada,
December 3-7, 2012},
pages = {1:1--1:6},
publisher = {{ACM}},
year = {2012},
url = {https://doi.org/10.1145/2405178.2405179},
doi = {10.1145/2405178.2405179},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/middleware/ZaveR12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iptcomm/CheungBSZ11,
author = {Eric Cheung and
Gregory W. Bond and
Thomas M. Smith and
Pamela Zave},
editor = {Carol Davids and
J{\"{o}}rg Ott},
title = {StratoSIP: {SIP} at a very high level: demo proposal for IPTComm 2011},
booktitle = {Proceedings of the 5th International Conference on Principles, Systems
and Applications of {IP} Telecommunications, IPTcomm 2011, Chicago,
Illinois, August 1-2, 2011},
pages = {5:1--5:4},
publisher = {{ACM}},
year = {2011},
url = {https://doi.org/10.1145/2124436.2124443},
doi = {10.1145/2124436.2124443},
timestamp = {Mon, 07 Nov 2022 10:49:04 +0100},
biburl = {https://dblp.org/rec/conf/iptcomm/CheungBSZ11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iptcomm/Zave11,
author = {Pamela Zave},
editor = {Carol Davids and
J{\"{o}}rg Ott},
title = {Mid-call, multi-party, and multi-device telecommunication features
and their interactions},
booktitle = {Proceedings of the 5th International Conference on Principles, Systems
and Applications of {IP} Telecommunications, IPTcomm 2011, Chicago,
Illinois, August 1-2, 2011},
pages = {17:1--17:12},
publisher = {{ACM}},
year = {2011},
url = {https://doi.org/10.1145/2124436.2124459},
doi = {10.1145/2124436.2124459},
timestamp = {Mon, 07 Nov 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/iptcomm/Zave11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/qosa/Zave11,
author = {Pamela Zave},
editor = {Ivica Crnkovic and
Judith A. Stafford and
Dorina C. Petriu and
Jens Happe and
Paola Inverardi},
title = {How software architecture can make an application-friendly internet},
booktitle = {7th International Conference on the Quality of Software Architectures,
QoSA 2011 and 2nd International Symposium on Architecting Critical
Systems, {ISARCS} 2011. Boulder, CO, USA, June 20-24, 2011, Proceedings},
pages = {1--2},
publisher = {{ACM}},
year = {2011},
url = {https://doi.org/10.1145/2000259.2000261},
doi = {10.1145/2000259.2000261},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/qosa/Zave11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/birthday/Zave10,
author = {Pamela Zave},
editor = {Sebastian Nanz},
title = {Internet Evolution and the Role of Software Engineering},
booktitle = {The Future of Software Engineering},
pages = {152--172},
publisher = {Springer},
year = {2010},
url = {https://doi.org/10.1007/978-3-642-15187-3\_12},
doi = {10.1007/978-3-642-15187-3\_12},
timestamp = {Tue, 23 May 2017 01:06:46 +0200},
biburl = {https://dblp.org/rec/conf/birthday/Zave10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iptcomm/BondSCZ10,
author = {Gregory W. Bond and
Thomas M. Smith and
Eric Cheung and
Pamela Zave},
editor = {Georg Carle and
Helmut Reiser and
Gonzalo Camarillo and
Vijay K. Gurbani},
title = {Specification and evaluation of transparent behavior for {SIP} back-to-back
user agents},
booktitle = {Principles, Systems and Applications of {IP} Telecommunications. Fourth
International Conference, IPTComm 2010, Munich, Germany, August 2-4,
2010. Proceedings},
pages = {48--58},
publisher = {{ACM}},
year = {2010},
url = {https://doi.org/10.1145/1941530.1941538},
doi = {10.1145/1941530.1941538},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/iptcomm/BondSCZ10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/models/Zave10,
author = {Pamela Zave},
editor = {Dorina C. Petriu and
Nicolas Rouquette and
{\O}ystein Haugen},
title = {Modeling the Internet},
booktitle = {Model Driven Engineering Languages and Systems - 13th International
Conference, {MODELS} 2010, Oslo, Norway, October 3-8, 2010, Proceedings,
Part {II}},
series = {Lecture Notes in Computer Science},
volume = {6395},
pages = {1},
publisher = {Springer},
year = {2010},
url = {https://doi.org/10.1007/978-3-642-16129-2\_1},
doi = {10.1007/978-3-642-16129-2\_1},
timestamp = {Tue, 14 May 2019 10:00:45 +0200},
biburl = {https://dblp.org/rec/conf/models/Zave10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tse/ZaveC09,
author = {Pamela Zave and
Eric Cheung},
title = {Compositional Control of {IP} Media},
journal = {{IEEE} Trans. Software Eng.},
volume = {35},
number = {1},
pages = {46--66},
year = {2009},
url = {https://doi.org/10.1109/TSE.2008.51},
doi = {10.1109/TSE.2008.51},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tse/ZaveC09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icse/Zave09,
author = {Pamela Zave},
title = {Software Engineering for the Next Internet},
booktitle = {31st International Conference on Software Engineering, {ICSE} 2009,
May 16-24, 2009, Vancouver, Canada, Companion Volume},
pages = {1--11},
publisher = {{IEEE}},
year = {2009},
url = {https://doi.org/10.1109/ICSE-COMPANION.2009.5070957},
doi = {10.1109/ICSE-COMPANION.2009.5070957},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/icse/Zave09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iptcomm/ZaveCBS09,
author = {Pamela Zave and
Eric Cheung and
Gregory W. Bond and
Thomas M. Smith},
editor = {Mustaque Ahamad and
Dorgham Sisalem and
Eric Chen and
Charles Consel},
title = {Abstractions for programming {SIP} back-to-back user agents},
booktitle = {Principles, Systems and Applications of {IP} Telecommunications. Third
International Conference, IPTComm 2009, Atlanta, Georgia, USA, July
7-8, 2009. Proceedings},
pages = {11},
publisher = {{ACM}},
year = {2009},
url = {https://doi.org/10.1145/1595637.1595652},
doi = {10.1145/1595637.1595652},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/iptcomm/ZaveCBS09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iptcomm/CheungZ08,
author = {Eric Cheung and
Pamela Zave},
editor = {Henning Schulzrinne and
Radu State and
Saverio Niccolini},
title = {Generalized Third-Party Call Control in {SIP} Networks},
booktitle = {Principles, Systems and Applications of {IP} Telecommunications. Services
and Security for Next Generation Networks, Second International Conference,
IPTComm 2008, Heidelberg, Germany, July 1-2, 2008. Revised Selected
Papers},
series = {Lecture Notes in Computer Science},
volume = {5310},
pages = {45--68},
publisher = {Springer},
year = {2008},
url = {https://doi.org/10.1007/978-3-540-89054-6\_3},
doi = {10.1007/978-3-540-89054-6\_3},
timestamp = {Tue, 14 May 2019 10:00:52 +0200},
biburl = {https://dblp.org/rec/conf/iptcomm/CheungZ08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iptcomm/Zave08,
author = {Pamela Zave},
editor = {Henning Schulzrinne and
Radu State and
Saverio Niccolini},
title = {Understanding {SIP} through Model-Checking},
booktitle = {Principles, Systems and Applications of {IP} Telecommunications. Services
and Security for Next Generation Networks, Second International Conference,
IPTComm 2008, Heidelberg, Germany, July 1-2, 2008. Revised Selected
Papers},
series = {Lecture Notes in Computer Science},
volume = {5310},
pages = {256--279},
publisher = {Springer},
year = {2008},
url = {https://doi.org/10.1007/978-3-540-89054-6\_13},
doi = {10.1007/978-3-540-89054-6\_13},
timestamp = {Thu, 25 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/iptcomm/Zave08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sigsoft/NejatiSCUZ08,
author = {Shiva Nejati and
Mehrdad Sabetzadeh and
Marsha Chechik and
Sebasti{\'{a}}n Uchitel and
Pamela Zave},
editor = {Mary Jean Harrold and
Gail C. Murphy},
title = {Towards compositional synthesis of evolving systems},
booktitle = {Proceedings of the 16th {ACM} {SIGSOFT} International Symposium on
Foundations of Software Engineering, 2008, Atlanta, Georgia, USA,
November 9-14, 2008},
pages = {285--296},
publisher = {{ACM}},
year = {2008},
url = {https://doi.org/10.1145/1453101.1453143},
doi = {10.1145/1453101.1453143},
timestamp = {Tue, 01 Feb 2022 10:45:16 +0100},
biburl = {https://dblp.org/rec/conf/sigsoft/NejatiSCUZ08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/coordination/Zave07,
author = {Pamela Zave},
editor = {Amy L. Murphy and
Jan Vitek},
title = {Requirements for Routing in the Application Layer},
booktitle = {Coordination Models and Languages, 9th International Conference, {COORDINATION}
2007, Paphos, Cyprus, June 6-8, 2007, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {4467},
pages = {19--36},
publisher = {Springer},
year = {2007},
url = {https://doi.org/10.1007/978-3-540-72794-1\_2},
doi = {10.1007/978-3-540-72794-1\_2},
timestamp = {Tue, 14 May 2019 10:00:42 +0200},
biburl = {https://dblp.org/rec/conf/coordination/Zave07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icse/NejatiSCEZ07,
author = {Shiva Nejati and
Mehrdad Sabetzadeh and
Marsha Chechik and
Steve M. Easterbrook and
Pamela Zave},
title = {Matching and Merging of Statecharts Specifications},
booktitle = {29th International Conference on Software Engineering {(ICSE} 2007),
Minneapolis, MN, USA, May 20-26, 2007},
pages = {54--64},
publisher = {{IEEE} Computer Society},
year = {2007},
url = {https://doi.org/10.1109/ICSE.2007.50},
doi = {10.1109/ICSE.2007.50},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/icse/NejatiSCEZ07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iptcomm/Zave07,
author = {Pamela Zave},
editor = {Gregory W. Bond and
Henning Schulzrinne},
title = {Audio feature interactions in Voice-over-IP},
booktitle = {Principles, Systems and Applications of {IP} Telecommunications. First
International Conference, IPTComm 2007, New York, NY, USA, July 19-20,
2007. Proceedings},
pages = {67--78},
publisher = {{ACM}},
year = {2007},
url = {https://doi.org/10.1145/1326304.1326316},
doi = {10.1145/1326304.1326316},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/iptcomm/Zave07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/conext/ZaveC06,
author = {Pamela Zave and
Eric Cheung},
editor = {Christophe Diot and
Mostafa H. Ammar},
title = {Compositional control of {IP} media},
booktitle = {Proceedings of the 2006 {ACM} Conference on Emerging Network Experiment
and Technology, CoNEXT 2006, Lisboa, Portugal, December 4-7, 2006},
pages = {18},
publisher = {{ACM}},
year = {2006},
url = {https://doi.org/10.1145/1368436.1368461},
doi = {10.1145/1368436.1368461},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/conext/ZaveC06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fm/Zave06,
author = {Pamela Zave},
editor = {Jayadev Misra and
Tobias Nipkow and
Emil Sekerinski},
title = {Compositional Binding in Network Domains},
booktitle = {{FM} 2006: Formal Methods, 14th International Symposium on Formal
Methods, Hamilton, Canada, August 21-27, 2006, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {4085},
pages = {332--347},
publisher = {Springer},
year = {2006},
url = {https://doi.org/10.1007/11813040\_23},
doi = {10.1007/11813040\_23},
timestamp = {Tue, 14 May 2019 10:00:46 +0200},
biburl = {https://dblp.org/rec/conf/fm/Zave06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cbse/BondCGHHKPSZ05,
author = {Gregory W. Bond and
Eric Cheung and
Healfdene Goguen and
Karrie J. Hanson and
Don Henderson and
Gerald M. Karam and
K. Hal Purdy and
Thomas M. Smith and
Pamela Zave},
editor = {George T. Heineman and
Ivica Crnkovic and
Heinz W. Schmidt and
Judith A. Stafford and
Clemens A. Szyperski and
Kurt C. Wallnau},
title = {Experience with Component-Based Development of a Telecommunication
Service},
booktitle = {Component-Based Software Engineering, 8th International Symposium,
{CBSE} 2005, St. Louis, MO, USA, May 14-15, 2005, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {3489},
pages = {298--305},
publisher = {Springer},
year = {2005},
url = {https://doi.org/10.1007/11424529\_20},
doi = {10.1007/11424529\_20},
timestamp = {Tue, 14 May 2019 10:00:47 +0200},
biburl = {https://dblp.org/rec/conf/cbse/BondCGHHKPSZ05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fm/Zave05,
author = {Pamela Zave},
editor = {John S. Fitzgerald and
Ian J. Hayes and
Andrzej Tarlecki},
title = {A Formal Model of Addressing for Interoperating Networks},
booktitle = {{FM} 2005: Formal Methods, International Symposium of Formal Methods
Europe, Newcastle, UK, July 18-22, 2005, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {3582},
pages = {318--333},
publisher = {Springer},
year = {2005},
url = {https://doi.org/10.1007/11526841\_22},
doi = {10.1007/11526841\_22},
timestamp = {Tue, 14 May 2019 10:00:46 +0200},
biburl = {https://dblp.org/rec/conf/fm/Zave05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icse/JacksonZ05,
author = {Michael Jackson and
Pamela Zave},
editor = {Gruia{-}Catalin Roman and
William G. Griswold and
Bashar Nuseibeh},
title = {Where do you go when you're through the turnstile?},
booktitle = {27th International Conference on Software Engineering {(ICSE} 2005),
15-21 May 2005, St. Louis, Missouri, {USA}},
pages = {44},
publisher = {{ACM}},
year = {2005},
url = {https://doi.org/10.1145/1062455.1062476},
doi = {10.1145/1062455.1062476},
timestamp = {Wed, 16 Oct 2019 14:14:49 +0200},
biburl = {https://dblp.org/rec/conf/icse/JacksonZ05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/cn/ZaveGS04,
author = {Pamela Zave and
Healfdene Goguen and
Thomas M. Smith},
title = {Component coordination: a telecommunication case study},
journal = {Comput. Networks},
volume = {45},
number = {5},
pages = {645--664},
year = {2004},
url = {https://doi.org/10.1016/j.comnet.2004.03.006},
doi = {10.1016/J.COMNET.2004.03.006},
timestamp = {Wed, 19 Feb 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/cn/ZaveGS04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/toit/BondCPZR04,
author = {Gregory W. Bond and
Eric Cheung and
K. Hal Purdy and
Pamela Zave and
J. Christopher Ramming},
title = {An open architecture for next-generation telecommunication services},
journal = {{ACM} Trans. Internet Techn.},
volume = {4},
number = {1},
pages = {83--123},
year = {2004},
url = {https://doi.org/10.1145/967030.967034},
doi = {10.1145/967030.967034},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/toit/BondCPZR04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tosem/Zave04,
author = {Pamela Zave},
title = {Address translation in telecommunication features},
journal = {{ACM} Trans. Softw. Eng. Methodol.},
volume = {13},
number = {1},
pages = {1--36},
year = {2004},
url = {https://doi.org/10.1145/1005561.1005562},
doi = {10.1145/1005561.1005562},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tosem/Zave04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fiw/Zave03,
author = {Pamela Zave},
editor = {Daniel Amyot and
Luigi Logrippo},
title = {Feature Disambiguation},
booktitle = {Feature Interactions in Telecommunications and Software Systems VII,
June 11-13, 2003, Ottawa, Canada},
pages = {3--9},
publisher = {{IOS} Press},
year = {2003},
timestamp = {Tue, 16 Nov 2004 09:12:37 +0100},
biburl = {https://dblp.org/rec/conf/fiw/Zave03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fiw/Zave03a,
author = {Pamela Zave},
editor = {Daniel Amyot and
Luigi Logrippo},
title = {Ideal Address Translation: Principles, Properties, and Applications},
booktitle = {Feature Interactions in Telecommunications and Software Systems VII,
June 11-13, 2003, Ottawa, Canada},
pages = {257--274},
publisher = {{IOS} Press},
year = {2003},
timestamp = {Tue, 16 Nov 2004 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/fiw/Zave03a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icse/Zave03,
author = {Pamela Zave},
title = {From Architecture to Requirements: {A} Success Story},
booktitle = {{ICSE} 2003 - Proceedings of 2nd International Software Requirements
to Architectures Workshop, {STRAW} 2003, May 9, 2003, Portland, Oregon,
{USA}},
pages = {9--13},
year = {2003},
url = {http://se.uwaterloo.ca/\%7Estraw03/ProceedingsSTRAW03.pdf},
timestamp = {Thu, 12 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/icse/Zave03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icc/CheungJZ02,
author = {Eric Cheung and
Michael Jackson and
Pamela Zave},
title = {Distributed media control tor multimedia communications services},
booktitle = {{IEEE} International Conference on Communications, {ICC} 2002, April
28 - May 2, 2002, New York City, NY, {USA}},
pages = {2454--2458},
publisher = {{IEEE}},
year = {2002},
url = {https://doi.org/10.1109/ICC.2002.997284},
doi = {10.1109/ICC.2002.997284},
timestamp = {Wed, 16 Oct 2019 14:14:50 +0200},
biburl = {https://dblp.org/rec/conf/icc/CheungJZ02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/ZaveJ02,
author = {Pamela Zave and
Michael Jackson},
editor = {Antonio Brogi and
Ernesto Pimentel},
title = {A Call Abstraction for Component Coordination},
booktitle = {Formal Methods and Component Interaction 2002, {ICALP} 2002 Satellite
Workshop, M{\'{a}}laga, Spain, July 12, 2002},
series = {Electronic Notes in Theoretical Computer Science},
volume = {66},
number = {4},
pages = {36--55},
publisher = {Elsevier},
year = {2002},
url = {https://doi.org/10.1016/S1571-0661(04)80448-1},
doi = {10.1016/S1571-0661(04)80448-1},
timestamp = {Tue, 06 Dec 2022 10:35:35 +0100},
biburl = {https://dblp.org/rec/journals/entcs/ZaveJ02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/re/Zave01,
author = {Pamela Zave},
title = {Requirements for Evolving Systems: {A} Telecommunications Perspective},
booktitle = {5th {IEEE} International Symposium on Requirements Engineering {(RE}
2001), 27-31 August 2001, Toronto, Canada},
pages = {2--9},
publisher = {{IEEE} Computer Society},
year = {2001},
url = {https://doi.org/10.1109/ISRE.2001.948535},
doi = {10.1109/ISRE.2001.948535},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/re/Zave01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/fm/2001,
editor = {Jos{\'{e}} Nuno Oliveira and
Pamela Zave},
title = {{FME} 2001: Formal Methods for Increasing Software Productivity, International
Symposium of Formal Methods Europe, Berlin, Germany, March 12-16,
2001, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2021},
publisher = {Springer},
year = {2001},
url = {https://doi.org/10.1007/3-540-45251-6},
doi = {10.1007/3-540-45251-6},
isbn = {3-540-41791-5},
timestamp = {Tue, 14 May 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/fm/2001.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sigsoft/GunterGZ00,
author = {Carl A. Gunter and
Elsa L. Gunter and
Pamela Zave},
title = {Formal software engineering},
journal = {{ACM} {SIGSOFT} Softw. Eng. Notes},
volume = {25},
number = {1},
pages = {54},
year = {2000},
url = {https://doi.org/10.1145/340855.340951},
doi = {10.1145/340855.340951},
timestamp = {Thu, 17 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/sigsoft/GunterGZ00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/software/GunterGJZ00,
author = {Carl A. Gunter and
Elsa L. Gunter and
Michael Jackson and
Pamela Zave},
title = {A Reference Model for Requirements and Specifications},
journal = {{IEEE} Softw.},
volume = {17},
number = {3},
pages = {37--43},
year = {2000},
url = {https://doi.org/10.1109/52.896248},
doi = {10.1109/52.896248},
timestamp = {Mon, 08 Jun 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/software/GunterGJZ00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fireworks/Zave00,
author = {Pamela Zave},
editor = {Stephen Gilmore and
Mark Ryan},
title = {Feature-Oriented Description, Formal Methods, and {DFC}},
booktitle = {Language Constructs for Describing Features, Proceedings of the FIREworks
Workshop, Glasgow, UK, May 2000},
pages = {11--26},
publisher = {Springer},
year = {2000},
url = {https://doi.org/10.1007/978-1-4471-0287-8\_2},
doi = {10.1007/978-1-4471-0287-8\_2},
timestamp = {Tue, 12 May 2020 14:48:07 +0200},
biburl = {https://dblp.org/rec/conf/fireworks/Zave00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fiw/ZaveJ00,
author = {Pamela Zave and
Michael Jackson},
editor = {Muffy Calder and
Evan H. Magill},
title = {New Feature Interactions in Mobile and Multimedia Telecommunications
Services},
booktitle = {Feature Interactions in Telecommunications and Software Systems VI,
May 17-19, 2000, Glasgow, Scotland, {UK}},
pages = {51--66},
publisher = {{IOS} Press},
year = {2000},
timestamp = {Mon, 05 Feb 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/fiw/ZaveJ00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icre/GunterGJZ00,
author = {Carl A. Gunter and
Elsa L. Gunter and
Michael Jackson and
Pamela Zave},
title = {A Reference Model for Requirements and Specifications-Extended Abstract},
booktitle = {Proceedings of the 4th International Conference on Requirements Engineering,
{ICRE} '00, Schaumburg, Illinois, USA, June 19-23, 2000},
pages = {189},
publisher = {{IEEE} Computer Society},
year = {2000},
url = {https://doi.org/10.1109/ICRE.2000.855609},
doi = {10.1109/ICRE.2000.855609},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/icre/GunterGJZ00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fmoods/Zave99,
author = {Pamela Zave},
editor = {Paolo Ciancarini and
Alessandro Fantechi and
Roberto Gorrieri},
title = {Distributed Feature Composition: An Architecture for Telecommunication
Services (Tutorial)},
booktitle = {Formal Methods for Open Object-Based Distributed Systems, {IFIF} {TC6/WG6.1}
Third International Conference on Formal Methods for Open Object-Based
Distributed Systems (FMOODS), February 15-18, 1999, Florence, Italy},
series = {{IFIP} Conference Proceedings},
volume = {139},
publisher = {Kluwer},
year = {1999},
timestamp = {Tue, 04 Mar 2003 07:57:24 +0100},
biburl = {https://dblp.org/rec/conf/fmoods/Zave99.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/software/ZaveJ98,
author = {Pamela Zave and
Michael Jackson},
title = {A Component-Based Approach to Telecommunication Software},
journal = {{IEEE} Softw.},
volume = {15},
number = {5},
pages = {70--78},
year = {1998},
url = {https://doi.org/10.1109/52.714823},
doi = {10.1109/52.714823},
timestamp = {Mon, 08 Jun 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/software/ZaveJ98.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tse/JacksonZ98,
author = {Michael Jackson and
Pamela Zave},
title = {Distributed Feature Composition: {A} Virtual Architecture for Telecommunications
Services},
journal = {{IEEE} Trans. Software Eng.},
volume = {24},
number = {10},
pages = {831--847},
year = {1998},
url = {https://doi.org/10.1109/32.729683},
doi = {10.1109/32.729683},
timestamp = {Mon, 05 Feb 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tse/JacksonZ98.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/amast/Zave98,
author = {Pamela Zave},
editor = {Armando Martin Haeberer},
title = {Systematic Design of Call-Coverage Features},
booktitle = {Algebraic Methodology and Software Technology, 7th International Conference,
{AMAST} '98, Amazonia, Brasil, January 4-8, 1999, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1548},
pages = {23--27},
publisher = {Springer},
year = {1998},
url = {https://doi.org/10.1007/3-540-49253-4\_4},
doi = {10.1007/3-540-49253-4\_4},
timestamp = {Tue, 14 May 2019 10:00:38 +0200},
biburl = {https://dblp.org/rec/conf/amast/Zave98.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fiw/Zave98,
author = {Pamela Zave},
editor = {Kristofer Kimbler and
Wiet Bouma},
title = {Architectural Solutions to Feature-Interaction Problems in Telecommunications},
booktitle = {Feature Interactions in Telecommunications and Software Systems V,
September 29 - October 1, 1998, Malm{\"{o}}, Sweden},
pages = {10--22},
publisher = {{IOS} Press},
year = {1998},
timestamp = {Tue, 16 Nov 2004 09:41:16 +0100},
biburl = {https://dblp.org/rec/conf/fiw/Zave98.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tacas/ZaveO98,
author = {Pamela Zave},
editor = {Tiziana Margaria and
Bernhard Steffen and
Roland R{\"{u}}ckert and
Joachim Posegga},
title = {'Calls Considered Harmful' and Other Observations: {A} Tutorial on
Telephony},
booktitle = {Services and Visualization: Towards User-Friendly Design, ACoS'98,
VISUAL'98, AIN'97, Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {1385},
pages = {8--27},
publisher = {Springer},
year = {1998},
url = {https://doi.org/10.1007/BFb0053493},
doi = {10.1007/BFB0053493},
timestamp = {Tue, 14 May 2019 10:00:53 +0200},
biburl = {https://dblp.org/rec/conf/tacas/ZaveO98.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tphol/BhargavanGGJOZ98,
author = {Karthikeyan Bhargavan and
Carl A. Gunter and
Elsa L. Gunter and
Michael Jackson and
Davor Obradovic and
Pamela Zave},
editor = {Jim Grundy and
Malcolm C. Newey},
title = {The Village Telephone System: {A} Case Study in Formal Software Engineering},
booktitle = {Theorem Proving in Higher Order Logics, 11th International Conference,
TPHOLs'98, Canberra, Australia, September 27 - October 1, 1998, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1479},
pages = {49--66},
publisher = {Springer},
year = {1998},
url = {https://doi.org/10.1007/BFb0055129},
doi = {10.1007/BFB0055129},
timestamp = {Tue, 14 May 2019 10:00:48 +0200},
biburl = {https://dblp.org/rec/conf/tphol/BhargavanGGJOZ98.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/csur/Zave97,
author = {Pamela Zave},
title = {Classification of Research Efforts in Requirements Engineering},
journal = {{ACM} Comput. Surv.},
volume = {29},
number = {4},
pages = {315--321},
year = {1997},
url = {https://doi.org/10.1145/267580.267581},
doi = {10.1145/267580.267581},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/csur/Zave97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/re/ZaveJ97,
author = {Pamela Zave and
Michael Jackson},
title = {Telecommunications Service Requirements: Principles for Managing Complexity},
journal = {Requir. Eng.},
volume = {2},
number = {2},
pages = {92--101},
year = {1997},
url = {https://doi.org/10.1007/BF02813028},
doi = {10.1007/BF02813028},
timestamp = {Mon, 05 Feb 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/re/ZaveJ97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tosem/ZaveJ97,
author = {Pamela Zave and
Michael Jackson},
title = {Four Dark Corners of Requirements Engineering},
journal = {{ACM} Trans. Softw. Eng. Methodol.},
volume = {6},
number = {1},
pages = {1--30},
year = {1997},
url = {https://doi.org/10.1145/237432.237434},
doi = {10.1145/237432.237434},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tosem/ZaveJ97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/re/ZaveJ97,
author = {Pamela Zave and
Michael Jackson},
title = {Requirements for Telecommunications Services: An Attack on Complexity},
booktitle = {3rd {IEEE} International Symposium on Requirements Engineering (RE'97),
January 5-8, 1997, Annapolis, MD, {USA}},
pages = {106--117},
publisher = {{IEEE} Computer Society},
year = {1997},
url = {https://doi.org/10.1109/ISRE.1997.566848},
doi = {10.1109/ISRE.1997.566848},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/re/ZaveJ97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/cn/CourtiatDHLRZ96,
author = {Jean{-}Pierre Courtiat and
Piotr Dembinski and
Gerard J. Holzmann and
Luigi Logrippo and
Harry Rudin and
Pamela Zave},
title = {Formal Methods after 15 Years: Status and Trends (Paper based on contributions
of the panelists at the FORmal TEchnique '95, Conference, Montreal,
October 1995)},
journal = {Comput. Networks {ISDN} Syst.},
volume = {28},
number = {13},
pages = {1845--1855},
year = {1996},
url = {https://doi.org/10.1016/0169-7552(96)00083-9},
doi = {10.1016/0169-7552(96)00083-9},
timestamp = {Thu, 14 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/cn/CourtiatDHLRZ96.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/computer/BowenBDGGHHHJJLPRWZ96,
author = {Jonathan P. Bowen and
Ricky W. Butler and
David L. Dill and
Robert L. Glass and
David Gries and
Anthony Hall and
Michael G. Hinchey and
C. Michael Holloway and
Daniel Jackson and
Cliff B. Jones and
Michael J. Lutz and
David Lorge Parnas and
John M. Rushby and
Jeannette M. Wing and
Pamela Zave},
title = {An Invitation to Formal Methods},
journal = {Computer},
volume = {29},
number = {4},
pages = {16--30},
year = {1996},
url = {https://doi.org/10.1109/MC.1996.488298},
doi = {10.1109/MC.1996.488298},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/computer/BowenBDGGHHHJJLPRWZ96.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tse/ZaveJ96,
author = {Pamela Zave and
Michael Jackson},
title = {Where Do Operations Come From: {A} Multiparadigm Specification Technique},
journal = {{IEEE} Trans. Software Eng.},
volume = {22},
number = {7},
pages = {508--528},
year = {1996},
url = {https://doi.org/10.1109/32.538607},
doi = {10.1109/32.538607},
timestamp = {Mon, 05 Feb 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tse/ZaveJ96.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/infsof/MatagaZ95,
author = {Peter Mataga and
Pamela Zave},
title = {Using {Z} to specify telephone features},
journal = {Inf. Softw. Technol.},
volume = {37},
number = {5-6},
pages = {277--283},
year = {1995},
url = {https://doi.org/10.1016/0950-5849(95)99363-R},
doi = {10.1016/0950-5849(95)99363-R},
timestamp = {Tue, 16 Aug 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/infsof/MatagaZ95.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/forte/Zave95,
author = {Pamela Zave},
editor = {Gregor von Bochmann and
Rachida Dssouli and
Omar Rafiq},
title = {Secrets of Call Forwarding: {A} Specification Case Study},
booktitle = {Formal Description Techniques VIII, Proceedings of the {IFIP} {TC6}
Eighth International Conference on Formal Description Techniques,
Montreal, Canada, October 1995},
series = {{IFIP} Conference Proceedings},
volume = {43},
pages = {169--184},
publisher = {Chapman {\&} Hall},
year = {1995},
timestamp = {Thu, 03 Jan 2002 11:58:39 +0100},
biburl = {https://dblp.org/rec/conf/forte/Zave95.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icse/JacksonZ95,
author = {Michael Jackson and
Pamela Zave},
editor = {Dewayne E. Perry and
Ross Jeffery and
David Notkin},
title = {Deriving Specifications from Requirements: An Example},
booktitle = {17th International Conference on Software Engineering, Seattle, Washington,
USA, April 23-30, 1995, Proceedings},
pages = {15--24},
publisher = {{ACM}},
year = {1995},
url = {https://doi.org/10.1145/225014.225016},
doi = {10.1145/225014.225016},
timestamp = {Sun, 02 Jun 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icse/JacksonZ95.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/re/Zave95,
author = {Pamela Zave},
title = {Classification of research efforts in requirements engineering},
booktitle = {Second {IEEE} International Symposium on Requirements Engineering,
March 27 - 29, 1995, York, England, {UK}},
pages = {214--216},
publisher = {{IEEE} Computer Society},
year = {1995},
url = {https://doi.org/10.1109/ISRE.1995.512563},
doi = {10.1109/ISRE.1995.512563},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/re/Zave95.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/zum/MatagaZ94,
author = {Peter Mataga and
Pamela Zave},
editor = {Jonathan P. Bowen and
J. Anthony Hall},
title = {Formal Specification of Telephone Features},
booktitle = {Z User Workshop, Cambridge, UK, 29-30 June 1994, Proceedings},
series = {Workshops in Computing},
pages = {29--50},
publisher = {Springer/BCS},
year = {1994},
url = {https://doi.org/10.1007/978-1-4471-3452-7\_3},
doi = {10.1007/978-1-4471-3452-7\_3},
timestamp = {Mon, 24 Jun 2019 12:03:37 +0200},
biburl = {https://dblp.org/rec/conf/zum/MatagaZ94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/computer/Zave93,
author = {Pamela Zave},
title = {Feature Interactions and Formal Specifications in Telecommunications},
journal = {Computer},
volume = {26},
number = {8},
pages = {20--30},
year = {1993},
url = {https://doi.org/10.1109/2.223539},
doi = {10.1109/2.223539},
timestamp = {Wed, 12 Aug 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/computer/Zave93.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tosem/ZaveJ93,
author = {Pamela Zave and
Michael Jackson},
title = {Conjunction as Composition},
journal = {{ACM} Trans. Softw. Eng. Methodol.},
volume = {2},
number = {4},
pages = {379--411},
year = {1993},
url = {https://doi.org/10.1145/158431.158438},
doi = {10.1145/158431.158438},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tosem/ZaveJ93.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/re/JacksonZ93,
author = {Michael Jackson and
Pamela Zave},
title = {Domain descriptions},
booktitle = {Proceedings of {IEEE} International Symposium on Requirements Engineering,
{RE} 1993, San Diego, California, USA, January 4-6, 1993},
pages = {56--64},
publisher = {{IEEE} Computer Society},
year = {1993},
url = {https://doi.org/10.1109/ISRE.1993.324836},
doi = {10.1109/ISRE.1993.324836},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/re/JacksonZ93.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:books/sp/93/Zave093,
author = {Pamela Zave and
Michael Jackson},
editor = {Peter Ryan and
Chris T. Sennett},
title = {Composition of Descriptions : {A} Progress Report},
booktitle = {Formal Methods in Systems Engineering},
pages = {41--50},
publisher = {Springer},
year = {1993},
url = {https://doi.org/10.1007/978-1-4471-1975-3\_5},
doi = {10.1007/978-1-4471-1975-3\_5},
timestamp = {Tue, 02 Jun 2020 17:03:16 +0200},
biburl = {https://dblp.org/rec/books/sp/93/Zave093.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tse/Zave91,
author = {Pamela Zave},
title = {An Insider's Evaluation of PAISLey},
journal = {{IEEE} Trans. Software Eng.},
volume = {17},
number = {3},
pages = {212--225},
year = {1991},
url = {https://doi.org/10.1109/32.75412},
doi = {10.1109/32.75412},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tse/Zave91.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fm/ZaveJ91,
author = {Pamela Zave and
Michael Jackson},
editor = {S{\o}ren Prehn and
W. J. Toetenel},
title = {Techniques for Partial Specification and Specification of Switching
Systems},
booktitle = {{VDM} '91 - Formal Software Development, 4th International Symposium
of {VDM} Europe, Noordwijkerhout, The Netherlands, October 21-25,
1991, Proceedings, Volume 1: Conference Contributions},
series = {Lecture Notes in Computer Science},
volume = {551},
pages = {511--525},
publisher = {Springer},
year = {1991},
url = {https://doi.org/10.1007/3-540-54834-3\_30},
doi = {10.1007/3-540-54834-3\_30},
timestamp = {Tue, 14 May 2019 10:00:46 +0200},
biburl = {https://dblp.org/rec/conf/fm/ZaveJ91.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/zum/ZaveJ91,
author = {Pamela Zave and
Michael Jackson},
editor = {John E. Nicholls},
title = {Techniques for Partial Specification and Specification of Switching
Systems},
booktitle = {Z User Workshop, York, UK, 16-17 December 1991, Proceedings},
series = {Workshops in Computing},
pages = {205--219},
publisher = {Springer},
year = {1991},
timestamp = {Fri, 21 Jun 2019 13:08:59 +0200},
biburl = {https://dblp.org/rec/conf/zum/ZaveJ91.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/software/Zave89,
author = {Pamela Zave},
title = {A Compositional Approach to Multiparadigm Programming},
journal = {{IEEE} Softw.},
volume = {6},
number = {5},
pages = {15--25},
year = {1989},
url = {https://doi.org/10.1109/52.35586},
doi = {10.1109/52.35586},
timestamp = {Mon, 08 Jun 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/software/Zave89.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ifip/ZaveJ89,
author = {Pamela Zave and
Daniel Jackson},
editor = {Gerhard X. Ritter},
title = {Practical Specification Techniques for Control-Oriented Systems},
booktitle = {Information Processing 89, Proceedings of the {IFIP} 11th World Computer
Congress, San Francisco, USA, August 28 - September 1, 1989},
pages = {83--88},
publisher = {North-Holland/IFIP},
year = {1989},
timestamp = {Wed, 02 Feb 2022 21:17:54 +0100},
biburl = {https://dblp.org/rec/conf/ifip/ZaveJ89.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/infocom/McCoyZ89,
author = {Earl E. McCoy and
Pamela Zave},
title = {Multistage, Multifaceted Analysis of Telecommunications Network Architectures},
booktitle = {Proceedings {IEEE} {INFOCOM} '89, The Conference on Computer Communications,
Eigth Annual Joint Conference of the {IEEE} Computer and Communications
Societies, Technology: Emerging or Converging? Ottawa, Ontario, Canada,
April 23-27, 1989},
pages = {91--95},
publisher = {{IEEE} Computer Society},
year = {1989},
url = {https://doi.org/10.1109/INFCOM.1989.101438},
doi = {10.1109/INFCOM.1989.101438},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/infocom/McCoyZ89.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ispw/Zave89,
author = {Pamela Zave},
editor = {Dewayne E. Perry},
title = {Domain understanding and the software process},
booktitle = {Proceedings of the Fifth International Software Process Workshop {(ISPW}
'89), October 1989, Kennebunkport, Maine, {USA}},
pages = {145--147},
publisher = {{IEEE} Computer Society},
year = {1989},
url = {https://doi.org/10.1109/ISPW.1989.690453},
doi = {10.1109/ISPW.1989.690453},
timestamp = {Tue, 10 May 2022 15:27:57 +0200},
biburl = {https://dblp.org/rec/conf/ispw/Zave89.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sigsoft/Zave88,
author = {Pamela Zave},
title = {Assessment},
journal = {{ACM} {SIGSOFT} Softw. Eng. Notes},
volume = {13},
number = {1},
pages = {40--43},
year = {1988},
url = {https://doi.org/10.1145/43857.43871},
doi = {10.1145/43857.43871},
timestamp = {Mon, 14 Feb 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/sigsoft/Zave88.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icse/BerlinerZ87,
author = {E. F. Berliner and
Pamela Zave},
editor = {William E. Riddle and
Robert M. Balzer and
Kouichi Kishida},
title = {An Experiment in Technology Transfer: PAISLey Specification of Requirements
for an Undersea Lightwave Cable System},
booktitle = {Proceedings, 9th International Conference on Software Engineering,
Monterey, California, USA, March 30 - April 2, 1987},
pages = {42--50},
publisher = {{ACM} Press},
year = {1987},
url = {http://dl.acm.org/citation.cfm?id=41771},
timestamp = {Tue, 15 May 2012 07:19:05 +0200},
biburl = {https://dblp.org/rec/conf/icse/BerlinerZ87.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/cl/Zave86,
author = {Pamela Zave},
title = {Case Study: The Paisley Approach Applied to Its Own Software Tools},
journal = {Comput. Lang.},
volume = {11},
number = {1},
pages = {15--28},
year = {1986},
url = {https://doi.org/10.1016/0096-0551(86)90014-7},
doi = {10.1016/0096-0551(86)90014-7},
timestamp = {Thu, 18 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/cl/Zave86.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sigsoft/Zave86,
author = {Pamela Zave},
title = {Found poetry of software engineering},
journal = {{ACM} {SIGSOFT} Softw. Eng. Notes},
volume = {11},
number = {2},
pages = {20},
year = {1986},
url = {https://doi.org/10.1145/382248.382813},
doi = {10.1145/382248.382813},
timestamp = {Wed, 02 Feb 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/sigsoft/Zave86.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tse/BerglandZ86,
author = {Glenn David Bergland and
Pamela Zave},
title = {Guest Editor's Prologue Special Issue on Software Design Methods},
journal = {{IEEE} Trans. Software Eng.},
volume = {12},
number = {2},
pages = {185--191},
year = {1986},
url = {https://doi.org/10.1109/TSE.1986.6312934},
doi = {10.1109/TSE.1986.6312934},
timestamp = {Thu, 30 Jul 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tse/BerglandZ86.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tse/ZaveS86,
author = {Pamela Zave and
William M. Schell},
title = {Salient Features of an Executable Specification Language and Its Environment},
journal = {{IEEE} Trans. Software Eng.},
volume = {12},
number = {2},
pages = {312--325},
year = {1986},
url = {https://doi.org/10.1109/TSE.1986.6312946},
doi = {10.1109/TSE.1986.6312946},
timestamp = {Wed, 25 Aug 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tse/ZaveS86.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/toplas/Zave85,
author = {Pamela Zave},
title = {A Distributed Alternative to Finite-State-Machine Specifications},
journal = {{ACM} Trans. Program. Lang. Syst.},
volume = {7},
number = {1},
pages = {10--36},
year = {1985},
url = {https://doi.org/10.1145/2363.2365},
doi = {10.1145/2363.2365},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/toplas/Zave85.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/cacm/Zave84,
author = {Pamela Zave},
title = {The Operational versus the Conventional Approach to Software Development},
journal = {Commun. {ACM}},
volume = {27},
number = {2},
pages = {104--118},
year = {1984},
url = {https://doi.org/10.1145/69610.357982},
doi = {10.1145/69610.357982},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/cacm/Zave84.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sigsoft/Zave84,
author = {Pamela Zave},
title = {Report to {SIGSOFT} membership fiscal year 1983 actual income and
expenses},
journal = {{ACM} {SIGSOFT} Softw. Eng. Notes},
volume = {9},
number = {1},
pages = {8},
year = {1984},
url = {https://doi.org/10.1145/1005968.1005969},
doi = {10.1145/1005968.1005969},
timestamp = {Tue, 15 Feb 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/sigsoft/Zave84.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sigsoft/Zave84a,
author = {Pamela Zave},
title = {An overview of the PAISLey project-1984},
journal = {{ACM} {SIGSOFT} Softw. Eng. Notes},
volume = {9},
number = {4},
pages = {12--19},
year = {1984},
url = {https://doi.org/10.1145/1012339.1012340},
doi = {10.1145/1012339.1012340},
timestamp = {Tue, 15 Feb 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/sigsoft/Zave84a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sigsoft/Zave84b,
author = {Pamela Zave},
title = {Correction},
journal = {{ACM} {SIGSOFT} Softw. Eng. Notes},
volume = {9},
number = {5},
pages = {10},
year = {1984},
url = {https://doi.org/10.1145/1010941.1010943},
doi = {10.1145/1010941.1010943},
timestamp = {Tue, 15 Feb 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/sigsoft/Zave84b.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/toms/ZaveC83,
author = {Pamela Zave and
George E. Cole Jr.},
title = {A Quantitative Evaluation of the Feasibility of, and Suitable Hardware
Architectures for, an Adaptive, Parallel Finite-Element System},
journal = {{ACM} Trans. Math. Softw.},
volume = {9},
number = {3},
pages = {271--292},
year = {1983},
url = {https://doi.org/10.1145/356044.356045},
doi = {10.1145/356044.356045},
timestamp = {Mon, 28 Aug 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/toms/ZaveC83.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/acm/Zave83,
author = {Pamela Zave},
editor = {Thomas A. D'Auria and
John Tartar},
title = {Operational specification languages},
booktitle = {Proceedings of the 1983 Annual Conference on Computers: extending
the human resource, {ACM} '83, Sheraton Centre Hotel, New York City,
USA, October 24-26, 1983},
pages = {214--222},
publisher = {{ACM}},
year = {1983},
url = {https://doi.org/10.1145/800173.809737},
doi = {10.1145/800173.809737},
timestamp = {Wed, 14 Apr 2021 11:40:49 +0200},
biburl = {https://dblp.org/rec/conf/acm/Zave83.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/sigplan/LintonBCGSSSZ83,
author = {Mark A. Linton and
Robert Balzer and
R. J. Cunningham and
C. Cordell Green and
Robert L. Sedlmeyer and
Elliott Solloway and
William R. Swartout and
Pamela Zave},
editor = {Richard E. Fairley and
Mark Scott Johnson},
title = {Knowledge-based debugging: session summary},
booktitle = {Proceedings of the symposium on High-level debugging, {SIGSOFT} 1983,
Pacific Grove, California, USA, March 20-23, 1983},
pages = {23--24},
publisher = {{ACM}},
year = {1983},
url = {https://doi.org/10.1145/1006147.1006153},
doi = {10.1145/1006147.1006153},
timestamp = {Sun, 06 Aug 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/sigplan/LintonBCGSSSZ83.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tse/Zave82,
author = {Pamela Zave},
title = {An Operational Approach to Requirements Specification for Embedded
Systems},
journal = {{IEEE} Trans. Software Eng.},
volume = {8},
number = {3},
pages = {250--269},
year = {1982},
url = {https://doi.org/10.1109/TSE.1982.235254},
doi = {10.1109/TSE.1982.235254},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tse/Zave82.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/podc/Zave82,
author = {Pamela Zave},
editor = {Robert L. Probert and
Michael J. Fischer and
Nicola Santoro},
title = {Testing Incomplete Specifications of Distributed Systems},
booktitle = {{ACM} {SIGACT-SIGOPS} Symposium on Principles of Distributed Computing,
Ottawa, CanadaAugust 18-20, 1982},
pages = {42--48},
publisher = {{ACM}},
year = {1982},
url = {https://doi.org/10.1145/800220.806680},
doi = {10.1145/800220.806680},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/podc/Zave82.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icse/ZaveY81,
author = {Pamela Zave and
Raymond T. Yeh},
editor = {Seymour Jeffrey and
Leon G. Stucki},
title = {Executable Requirements for Embedded Systems},
booktitle = {Proceedings of the 5th International Conference on Software Engineering,
San Diego, California, USA, March 9-12, 1981},
pages = {295--304},
publisher = {{IEEE} Computer Society},
year = {1981},
url = {http://dl.acm.org/citation.cfm?id=802542},
timestamp = {Mon, 14 May 2012 18:17:19 +0200},
biburl = {https://dblp.org/rec/conf/icse/ZaveY81.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sigsoft/Zave79,
author = {Pamela Zave},
title = {Panel session: approaches to specification-various models {\textless}u{\textgreater}an
informal report{\textless}/u{\textgreater}},
journal = {{ACM} {SIGSOFT} Softw. Eng. Notes},
volume = {4},
number = {3},
pages = {17--18},
year = {1979},
url = {https://doi.org/10.1145/1005896.1005904},
doi = {10.1145/1005896.1005904},
timestamp = {Wed, 23 Feb 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/sigsoft/Zave79.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/toms/ZaveR79,
author = {Pamela Zave and
Werner C. Rheinboldt},
title = {Design of an Adaptive, Parallel Finite-Element System},
journal = {{ACM} Trans. Math. Softw.},
volume = {5},
number = {1},
pages = {1--17},
year = {1979},
url = {https://doi.org/10.1145/355815.355816},
doi = {10.1145/355815.355816},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/toms/ZaveR79.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/compsac/Zave79,
author = {Pamela Zave},
title = {A comprehensive approach to requirements problems},
booktitle = {The {IEEE} Computer Society's Third International Computer Software
and Applications Conference, {COMPSAC} 1979, 6-8 November, 1979, Chicago,
Illinois, {USA}},
pages = {117--122},
publisher = {{IEEE}},
year = {1979},
url = {https://doi.org/10.1109/CMPSAC.1979.762477},
doi = {10.1109/CMPSAC.1979.762477},
timestamp = {Wed, 16 Oct 2019 14:14:53 +0200},
biburl = {https://dblp.org/rec/conf/compsac/Zave79.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
a service of 
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.
last updated on 2023-12-02 23:07 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
