| Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
| 1 | Pamela Zave |
Using lightweight modeling to understand chord.  |
Computer Communication Review  |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Pamela Zave |
How software architecture can make an application-friendly internet. |
QoSA/ISARCS |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Pamela Zave |
Modeling the Internet. |
MoDELS |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Pamela Zave |
Internet Evolution and the Role of Software Engineering. |
The Future of Software Engineering |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | 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 |
DBLP DOI BibTeX RDF |
|
| 1 | Pamela Zave, Eric Cheung |
Compositional Control of IP Media. |
IEEE Trans. Software Eng. |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Pamela Zave, Eric Cheung, Gregory W. Bond, Thomas M. Smith |
Abstractions for programming SIP back-to-back user agents. |
IPTComm |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Pamela Zave |
Software Engineering for the Next Internet. |
ICSE Companion |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Eric Cheung, Pamela Zave |
Generalized Third-Party Call Control in SIP Networks. |
IPTComm |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Pamela Zave |
Understanding SIP through Model-Checking. |
IPTComm |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Shiva Nejati, Mehrdad Sabetzadeh, Marsha Chechik, Sebastián Uchitel, Pamela Zave |
Towards compositional synthesis of evolving systems. |
SIGSOFT FSE |
2008 |
DBLP DOI BibTeX RDF |
behavioural design patterns, feature-based development, synthesis, pipelines, I/O automata |
| 1 | Pamela Zave |
Requirements for Routing in the Application Layer. |
COORDINATION |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Pamela Zave |
Audio feature interactions in Voice-over-IP. |
IPTComm |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Shiva Nejati, Mehrdad Sabetzadeh, Marsha Chechik, Steve M. Easterbrook, Pamela Zave |
Matching and Merging of Statecharts Specifications. |
ICSE |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Pamela Zave |
Compositional Binding in Network Domains. |
FM |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Pamela Zave, Eric Cheung |
Compositional control of IP media. |
CoNEXT |
2006 |
DBLP DOI BibTeX RDF |
protocol verification, protocol architecture, software/program verification |
| 1 | Pamela Zave |
A Formal Model of Addressing for Interoperating Networks. |
FM |
2005 |
DBLP DOI BibTeX RDF |
network requirements, networks, network design, Alloy |
| 1 | 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 |
DBLP DOI BibTeX RDF |
|
| 1 | Michael Jackson, Pamela Zave |
Where do you go when you're through the turnstile? |
ICSE |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | 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. |
2004 |
DBLP DOI BibTeX RDF |
Intelligent Network architecture, network addressing, network interoperation, Session Initiation Protocol, multimedia systems, instant messaging, network protocols, feature interaction, electronic mail, network optimization, Component architectures, service creation |
| 1 | Pamela Zave |
Address translation in telecommunication features. |
ACM Trans. Softw. Eng. Methodol. |
2004 |
DBLP DOI BibTeX RDF |
network addressing, formal methods, network security, requirements, telecommunications, network protocols, feature interaction, Component architecture |
| 1 | Pamela Zave, Healfdene Goguen, Thomas M. Smith |
Component coordination: a telecommunication case study. |
Computer Networks |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Pamela Zave |
Feature Disambiguation. |
FIW |
2003 |
DBLP BibTeX RDF |
|
| 1 | Pamela Zave |
Ideal Address Translation: Principles, Properties, and Applications. |
FIW |
2003 |
DBLP BibTeX RDF |
|
| 1 | Pamela Zave |
From Architecture to Requirements: A Success Story. |
STRAW |
2003 |
DBLP BibTeX RDF |
|
| 1 | Pamela Zave, Michael Jackson |
A Call Abstraction for Component Coordination. |
Electr. Notes Theor. Comput. Sci. |
2002 |
DBLP DOI BibTeX RDF |
|
| 1 | Pamela Zave |
Requirements for Evolving Systems: A Telecommunications Perspective. (PDF / PS) |
RE |
2001 |
DBLP DOI BibTeX RDF |
|
| 1 | José Nuno Oliveira, Pamela Zave (eds.) |
FME 2001: Formal Methods for Increasing Software Productivity, International Symposium of Formal Methods Europe, Berlin, Germany, March 12-16, 2001, Proceedings |
FME |
2001 |
DBLP BibTeX RDF |
|
| 1 | Carl A. Gunter, Elsa L. Gunter, Michael Jackson, Pamela Zave |
A Reference Model for Requirements and Specifications. |
IEEE Software |
2000 |
DBLP DOI BibTeX RDF |
|
| 1 | Pamela Zave, Michael Jackson |
New Feature Interactions in Mobile and Multimedia Telecommunications Services. |
FIW |
2000 |
DBLP BibTeX RDF |
|
| 1 | Carl A. Gunter, Elsa L. Gunter, Michael Jackson, Pamela Zave |
A Reference Model for Requirements and Specifications-Extended Abstract. (PDF / PS) |
ICRE |
2000 |
DBLP DOI BibTeX RDF |
formal methods, specifications, refinement, requirements, software engineering methodology |
| 1 | Pamela Zave |
Distributed Feature Composition: An Architecture for Telecommunication Services (Tutorial). |
FMOODS |
1999 |
DBLP BibTeX RDF |
|
| 1 | Michael Jackson, Pamela Zave |
Distributed Feature Composition: A Virtual Architecture for Telecommunications Services. |
IEEE Trans. Software Eng. |
1998 |
DBLP DOI BibTeX RDF |
feature specification, feature composition, pipe-and-filter, architecture, Feature interaction |
| 1 | Pamela Zave, Michael Jackson |
A Component-Based Approach to Telecommunication Software. |
IEEE Software |
1998 |
DBLP DOI BibTeX RDF |
|
| 1 | Pamela Zave |
`Calls Considered Harmful' and Other Observations: A Tutorial on Telephony. |
Services and Visualization: Towards User-Friendly Design |
1998 |
DBLP DOI BibTeX RDF |
|
| 1 | Pamela Zave |
Architectural Solutions to Feature-Interaction Problems in Telecommunications. |
FIW |
1998 |
DBLP BibTeX RDF |
|
| 1 | Pamela Zave |
Systematic Design of Call-Coverage Features. |
AMAST |
1998 |
DBLP DOI BibTeX RDF |
|
| 1 | 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 |
DBLP DOI BibTeX RDF |
|
| 1 | Pamela Zave, Michael Jackson |
Four Dark Corners of Requirements Engineering. |
ACM Trans. Softw. Eng. Methodol. |
1997 |
DBLP DOI BibTeX RDF |
real-time systems, graphical user interface, temporal logic, concurrent systems, automated deduction, formal specification and verification |
| 1 | Pamela Zave, Michael Jackson |
Telecommunications Service Requirements: Principles for Managing Complexity. |
Requir. Eng. |
1997 |
DBLP DOI BibTeX RDF |
|
| 1 | Pamela Zave |
Classification of Research Efforts in Requirements Engineering. |
ACM Comput. Surv. |
1997 |
DBLP DOI BibTeX RDF |
|
| 1 | Pamela Zave, Michael Jackson |
Requirements for Telecommunications Services: An Attack on Complexity. (PDF / PS) |
RE |
1997 |
DBLP DOI BibTeX RDF |
formal methods, requirements engineering, specification languages, telecommunications |
| 1 | Pamela Zave, Michael Jackson |
Where Do Operations Come From: A Multiparadigm Specification Technique. |
IEEE Trans. Software Eng. |
1996 |
DBLP DOI BibTeX RDF |
multiparadigm specification, graphical human-computer interfaces, Formal methods, telecommunications, Z, consistency analysis |
| 1 | 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). |
Computer Networks and ISDN Systems |
1996 |
DBLP DOI BibTeX RDF |
|
| 1 | Jonathan P. Bowen, Ricky W. Butler, David L. Dill, Robert L. Glass, David Gries, Anthony Hall, Michael G. Hinchey, C. Michael Holloway, Daniel Jackson, Cliff B. Jones, Michael J. Lutz, David Lorge Parnas, John M. Rushby, Jeannette M. Wing, Pamela Zave |
An Invitation to Formal Methods. |
IEEE Computer |
1996 |
DBLP DOI BibTeX RDF |
|
| 1 | Pamela Zave |
Secrets of Call Forwarding: A Specification Case Study. |
FORTE |
1995 |
DBLP BibTeX RDF |
|
| 1 | Pamela Zave |
Classification of research efforts in requirements engineering. (PDF / PS) |
RE |
1995 |
DBLP DOI BibTeX RDF |
research efforts, trial classification scheme, classification, classification, software engineering, formal specification, requirements engineering, systems analysis, knowledge, tasks, problems |
| 1 | Michael Jackson, Pamela Zave |
Deriving Specifications from Requirements: An Example. |
ICSE |
1995 |
DBLP DOI BibTeX RDF |
|
| 1 | Peter Mataga, Pamela Zave |
Formal Specification of Telephone Features. |
Z User Workshop |
1994 |
DBLP BibTeX RDF |
|
| 1 | Pamela Zave, Michael Jackson |
Conjunction as Composition. |
ACM Trans. Softw. Eng. Methodol. |
1993 |
DBLP DOI BibTeX RDF |
compositional specification, multiparadigm specification, practical specification |
| 1 | Pamela Zave |
Feature Interactions and Formal Specifications in Telecommunications. |
IEEE Computer |
1993 |
DBLP DOI BibTeX RDF |
|
| 1 | Pamela Zave |
An Insider's Evaluation of PAISLey. |
IEEE Trans. Software Eng. |
1991 |
DBLP DOI BibTeX RDF |
PAISLey, analysis techniques, formal specification, software tools, software tools, specification languages, executable specification, specification methods |
| 1 | Pamela Zave, Michael Jackson |
Techniques for Partial Specification and Specification of Switching Systems. |
Z User Workshop |
1991 |
DBLP BibTeX RDF |
|
| 1 | Pamela Zave, Michael Jackson |
Techniques for Partial Specification and Specification of Switching Systems. |
VDM Europe |
1991 |
DBLP DOI BibTeX RDF |
|
| 1 | Pamela Zave |
A Compositional Approach to Multiparadigm Programming. |
IEEE Software |
1989 |
DBLP DOI BibTeX RDF |
|
| 1 | Earl E. McCoy, Pamela Zave |
Multistage, Multifaceted Analysis of Telecommunications Network Architectures. |
INFOCOM |
1989 |
DBLP BibTeX RDF |
|
| 1 | Pamela Zave, Daniel Jackson |
Practical Specification Techniques for Control-Oriented Systems. |
IFIP Congress |
1989 |
DBLP BibTeX RDF |
|
| 1 | Pamela Zave |
Domain understanding and the software process. |
ISPW |
1989 |
DBLP BibTeX RDF |
|
| 1 | E. F. Berliner, Pamela Zave |
An Experiment in Technology Transfer: PAISLey Specification of Requirements for an Undersea Lightwave Cable System. |
ICSE |
1987 |
DBLP BibTeX RDF |
|
| 1 | Pamela Zave, William Schell |
Salient Features of an Executable Specification Language and Its Environment. |
IEEE Trans. Software Eng. |
1986 |
DBLP BibTeX RDF |
|
| 1 | G. D. Bergland, Pamela Zave |
Guest Editor's Prologue Special Issue on Software Design Methods. |
IEEE Trans. Software Eng. |
1986 |
DBLP BibTeX RDF |
|
| 1 | Pamela Zave |
Case Study: The Paisley Approach Applied to Its Own Software Tools. |
Comput. Lang. |
1986 |
DBLP DOI BibTeX RDF |
|
| 1 | Pamela Zave |
A Distributed Alternative to Finite-State-Machine Specifications. |
ACM Trans. Program. Lang. Syst. |
1985 |
DBLP DOI BibTeX RDF |
|
| 1 | Pamela Zave |
The Operational versus the Conventional Approach to Software Development. |
Commun. ACM |
1984 |
DBLP DOI BibTeX RDF |
|
| 1 | Pamela Zave, George E. Cole Jr. |
A Quantitative Evaluation of the Feasibility of, and Suitable Hardware Architectures for, an Adaptive, Parallel Finite-Element System. |
ACM Trans. Math. Softw. |
1983 |
DBLP DOI BibTeX RDF |
|
| 1 | Pamela Zave |
An Operational Approach to Requirements Specification for Embedded Systems. |
IEEE Trans. Software Eng. |
1982 |
DBLP DOI BibTeX RDF |
|
| 1 | Pamela Zave |
Testing Incomplete Specifications of Distributed Systems. |
PODC |
1982 |
DBLP DOI BibTeX RDF |
|
| 1 | Pamela Zave, Raymond T. Yeh |
Executable Requirements for Embedded Systems. |
ICSE |
1981 |
DBLP BibTeX RDF |
|
| 1 | Pamela Zave, Werner C. Rheinboldt |
Design of an Adaptive, Parallel Finite-Element System. |
ACM Trans. Math. Softw. |
1979 |
DBLP DOI BibTeX RDF |
|
| 1 | Pamela Zave |
A Comprehensive Approach to Requirements Problems. |
COMPSAC |
1979 |
DBLP BibTeX RDF |
|
![[Valid RSS]](Pics/valid-rss.png "Validate my RSS feed")