Pamela Zave's Research Home Page

Research Interests (Papers Included)

Compositional Telecommunication Services

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

Software Engineering for the Next Internet

• Why and How Software Engineering Is Needed
• Recommended Reading About the Internet for Software Engineers
• Early Modeling Results

Formal Methods

Coming soon: an exciting book with reprints of Michael Jackson's best papers and new contributions from the speakers at the ICSE 2009 workshop A Tribute to Michael Jackson.

• 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.
• Thoughts on Domain Modeling
• 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 June 2009.