Pamela Zave's Research Home Page

Research Interests (Papers Included)

Compositional Telecommunication Services

• Feature Interaction
• Distributed Feature Composition
• SIP-Based Technology for Compositional Services

Modeling the Internet From an Application Perspective

• Thoughts on Domain Modeling (In General)
• Early Results

Formal Methods

• I am honored to be chair of IFIP Working Group 2.3 (Programming Methodology). Six winners of the A. M. Turing Award are past or present members.
• I am on the steering committee of the International Symposia on Formal Methods. The 15th Symposium will be held May 2008 in Finland.
• Favorite Formal Methods

Other (Older) Research Interests

• Foundations of Requirements Engineering
• Multiparadigm Specification

Personal Information

• Professional Biography
• Interests Outside Work
• Derek A. Zave

Contact Information

AT&T Laboratories--Research
180 Park Avenue, Room D205
Florham Park, New Jersey 07932 USA

pamela AT research DOT att DOT com

+1 973 360 8676

Last updated September 2007.