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