Pamela Zave
发表
Eric Cheung,
Michael Jackson,
Pamela Zave,
2002,
2002 IEEE International Conference on Communications. Conference Proceedings. ICC 2002 (Cat. No.02CH37333).
Pamela Zave,
1986,
Comput. Lang..
Pamela Zave,
2015,
ArXiv.
Pamela Zave,
P. Zave,
2015,
Dependable Software Systems Engineering.
Michael Jackson,
Pamela Zave,
2005,
Proceedings. 27th International Conference on Software Engineering, 2005. ICSE 2005..
Pamela Zave,
1998,
AMAST.
Pamela Zave,
Raymond T. Yeh,
Alex Paul Conn,
1980
.
Pamela Zave,
P. Zave,
1982,
IEEE Transactions on Software Engineering.
Pamela Zave,
1981
.
Pamela Zave,
P. Zave,
2017,
Present and Ulterior Software Engineering.
Pamela Zave,
2000,
FIREworks.
Pamela Zave,
P. Zave,
1989,
IEEE Software.
Pamela Zave,
2006,
FM.
Pamela Zave,
2007,
IPTComm '07.
Pamela Zave,
P. Zave,
2012,
CCRV.
Pamela Zave,
P. Zave,
1986,
SOEN.
Pamela Zave,
Lana Yarosh,
L. Yarosh,
2017,
CHI.
Richard D. Schlichting,
Pamela Zave,
Bharath Balasubramanian,
2018,
PODC.
Pamela Zave,
Bashar Nuseibeh,
2013
.
Pamela Zave,
P. Zave,
1984,
CACM.
Pamela Zave,
Michael Jackson,
M. Jackson,
1993,
Formal Methods in Systems Engineering.
Michael Jackson,
Pamela Zave,
M. Jackson,
1993,
[1993] Proceedings of the IEEE International Symposium on Requirements Engineering.
Pamela Zave,
2016,
2016 IEEE/ACM 38th International Conference on Software Engineering Companion (ICSE-C).
Pamela Zave,
John Rushby,
C. Michael Holloway,
1996
.
Mehrdad Sabetzadeh,
Marsha Chechik,
Pamela Zave,
2007,
29th International Conference on Software Engineering (ICSE'07).
Pamela Zave,
2003,
FIW.
Pamela Zave,
George E. Cole,
P. Zave,
1983,
TOMS.
Pamela Zave,
2015
.
Pamela Zave,
1978
.
Michael Jackson,
Pamela Zave,
M. Jackson,
1993,
TSEM.
Pamela Zave,
P. Zave,
1979,
COMPSAC.
José Nuno Oliveira,
Pamela Zave,
2001,
Lecture Notes in Computer Science.
Pamela Zave,
P. Zave,
2004,
TSEM.
Pamela Zave,
2010,
MODELS'10.
Pamela Zave,
P. Zave,
1995,
FORTE.
Pamela Zave,
E. F. Berliner,
1987,
ICSE '87.
Pamela Zave,
Jennifer Rexford,
J. Rexford,
2012,
MW4NG '12.
Michael Jackson,
Pamela Zave,
M. Jackson,
1997,
TSEM.
Michael Jackson,
Pamela Zave,
M. Jackson,
2000,
FIW.
Pamela Zave,
P. Zave,
1991,
IEEE Trans. Software Eng..
Pamela Zave,
P. Zave,
1984,
ACM SIGSOFT Softw. Eng. Notes.
Pamela Zave,
1998,
FIW.
Pamela Zave,
Jennifer Rexford,
Ronaldo Alves Ferreira,
2017,
SIGCOMM.
Pamela Zave,
P. Zave,
2007,
COORDINATION.
Pamela Zave,
P. Zave,
2011,
QoSA-ISARCS '11.
Pamela Zave,
ゼイヴ パメラ,
1996
.
Pamela Zave,
P. Zave,
1982,
PODC '82.
Michael Jackson,
Pamela Zave,
M. Jackson,
1998,
IEEE Trans. Software Eng..
Eric Cheung,
Pamela Zave,
2008,
IPTComm.
Michael Jackson,
Pamela Zave,
2002,
Electron. Notes Theor. Comput. Sci..
Eric Cheung,
Pamela Zave,
Svetlana Yarosh,
2015,
ArXiv.
Harry Rudin,
Gerard J. Holzmann,
Pamela Zave,
1996,
Comput. Networks ISDN Syst..
Pamela Zave,
1979
.
Pamela Zave,
Peter Mataga,
1995,
Inf. Softw. Technol..
Pamela Zave,
Michael Jackson,
M. Jackson,
1995,
1995 17th International Conference on Software Engineering.
Pamela Zave,
Mark A. Linton,
Robert Balzer,
1983,
ACM SIGPLAN Notices.
Pamela Zave,
W. Gregory Hoboken Bond,
Thomas Westfield Smith,
2005
.
Eric Cheung,
Pamela Zave,
Gregory W. Bond,
2010,
IPTComm.
Nate Foster,
Nikolaj Bjørner,
Brighten Godfrey,
2015,
Dagstuhl Reports.
Mehrdad Sabetzadeh,
Marsha Chechik,
Sebastián Uchitel,
2008,
SIGSOFT '08/FSE-16.
Eric Cheung,
Pamela Zave,
Gregory W. Bond,
2009,
IPTComm.
Pamela Zave,
P. Zave,
1993,
Computer.
Luciano Baresi,
Sven Apel,
Pamela Zave,
2014
.
Pamela Zave,
P. Zave,
2010,
The Future of Software Engineering.
Pamela Zave,
2008,
ICSE '08.
Pamela Zave,
Michael Jackson,
1999
.
Pamela Zave,
P. Zave,
2009,
2009 31st International Conference on Software Engineering - Companion Volume.
Pamela Zave,
1979,
SOEN.
David Lorge Parnas,
Robert L. Glass,
Cliff B. Jones,
1996,
Computer.
Luciano Baresi,
Sven Apel,
Pamela Zave,
2014,
Dagstuhl Reports.
Pamela Zave,
P. Zave,
2016,
IEEE Transactions on Software Engineering.
Pamela Zave,
1981
.
Pamela Zave,
1997,
ACM Comput. Surv..
Pamela Zave,
William Schell,
W. M. Schell,
1986,
IEEE Transactions on Software Engineering.
Pamela Zave,
Jennifer Rexford,
John Sonchack,
2020,
ArXiv.
Michael Jackson,
Pamela Zave,
1998,
IEEE Software.
Pamela Zave,
1986,
SOEN.
Pamela Zave,
1989,
[1989] Proceedings of the 5th International Software Process Workshop.
Pamela Zave,
P. Zave,
2003
.
Pamela Zave,
P. Zave,
2001
.
Pamela Zave,
Carl A. Gunter,
Elsa L. Gunter,
2000
.
Pamela Zave,
2014,
Formal Aspects of Computing.
Pamela Zave,
Jennifer Rexford,
2013,
VSTTE.
Pamela Zave,
2001,
Proceedings Fifth IEEE International Symposium on Requirements Engineering.
Eric Cheung,
Pamela Zave,
G. W. Bond,
2005,
CBSE'05.
Pamela Zave,
Thomas M. Smith,
Healfdene Goguen,
2004,
Comput. Networks.
Pamela Zave,
1989
.
Michael Jackson,
Pamela Zave,
Carl A. Gunter,
2000,
Proceedings Fourth International Conference on Requirements Engineering. ICRE 2000. (Cat. No.98TB100219).
Pamela Zave,
Glenn D. Bergland,
1986,
IEEE Transactions on Software Engineering.
Mehrdad Sabetzadeh,
Marsha Chechik,
Pamela Zave,
2012,
IEEE Transactions on Software Engineering.
Michael Jackson,
Pamela Zave,
M. Jackson,
1997,
Proceedings of ISRE '97: 3rd IEEE International Symposium on Requirements Engineering.
Michael Jackson,
Pamela Zave,
Carl A. Gunter,
2000,
IEEE Softw..
Michael Jackson,
Pamela Zave,
Carl A. Gunter,
1998,
TPHOLs.
Pamela Zave,
Raymond T. Yeh,
P. Zave,
1981,
ICSE '81.
Pamela Zave,
P. Zave,
2008,
IPTComm.
Pamela Zave,
1998,
Services and Visualization: Towards User-Friendly Design.
Pamela Zave,
P. Zave,
1995,
Proceedings of 1995 IEEE International Symposium on Requirements Engineering (RE'95).
Michael Jackson,
Pamela Zave,
1991,
Z User Workshop.
Pamela Zave,
Peter Mataga,
1994,
Z User Workshop.
Pamela Zave,
1979
.
Michael Jackson,
Pamela Zave,
M. Jackson,
1996,
IEEE Trans. Software Eng..
Pamela Zave,
Earl E. McCoy,
1989,
IEEE INFOCOM '89, Proceedings of the Eighth Annual Joint Conference of the IEEE Computer and Communications Societies.
Pamela Zave,
Jennifer Rexford,
J. Rexford,
2013,
CCRV.
Eric Cheung,
Pamela Zave,
G. W. Bond,
2004,
TOIT.
Pamela Zave,
P. Zave,
1985,
TOPL.
Pamela Zave,
Jennifer Rexford,
J. Rexford,
2019,
ACM Comput. Surv..
Pamela Zave,
2003,
FIW.
Pamela Zave,
2011,
IPTComm 2011.
Pamela Zave,
Jennifer Rexford,
J. Rexford,
2019,
Commun. ACM.
Pamela Zave,
Carl A. Gunter,
Elsa L. Gunter,
2000,
SOEN.
Eric Cheung,
Pamela Zave,
2009,
IEEE Trans. Software Eng..
Pamela Zave,
1999,
FMOODS.
Pamela Zave,
Jennifer Rexford,
Rob Harrison,
2013
.
Pamela Zave,
Jennifer Rexford,
Ronaldo A. Ferreira,
2021,
IEEE/ACM Transactions on Networking.
Pamela Zave,
P. Zave,
1983,
ACM '83.
José Nuno Oliveira,
Pamela Zave,
P. Zave,
2001
.
Pamela Zave,
2015,
2015 IEEE/ACM 2nd International Workshop on Software Engineering Research and Industrial Practice.
Pamela Zave,
Daniel Jackson,
P. Zave,
1989,
IFIP Congress.
Pamela Zave,
Werner C. Rheinboldt,
W. Rheinboldt,
1979,
TOMS.
Pamela Zave,
2005,
FM.
Michael Jackson,
Pamela Zave,
M. Jackson,
1997,
Requirements Engineering.
Eric Cheung,
Pamela Zave,
2009,
IEEE Transactions on Software Engineering.
Eric Cheung,
Pamela Zave,
Gregory W. Bond,
2011,
IPTComm 2011.
Pamela Zave,
2009
.
Li Li,
Pamela Zave,
P. Zave,
2007
.
Pamela Zave,
2009
.
Pamela Zave,
2012
.