Follow
Pamela Zave
Pamela Zave
AT&T Labs--Research
Verified email at research.att.com - Homepage
Title
Cited by
Cited by
Year
Four dark corners of requirements engineering
P Zave, M Jackson
ACM transactions on Software Engineering and Methodology (TOSEM) 6 (1), 1-30, 1997
10981997
Classification of research efforts in requirements engineering
P Zave
ACM Computing Surveys (CSUR) 29 (4), 315-321, 1997
9221997
An operational approach to requirements specification for embedded systems
P Zave
IEEE transactions on Software Engineering, 250-269, 1982
4421982
A reference model for requirements and specifications
CA Gunter, EL Gunter, M Jackson, P Zave
IEEE Software 17 (3), 37-43, 2000
4022000
The operational versus the conventional approach to software development
P Zave
Communications of the ACM 27 (2), 104-118, 1984
3821984
Matching and merging of statecharts specifications
S Nejati, M Sabetzadeh, M Chechik, S Easterbrook, P Zave
29th International Conference on Software Engineering (ICSE'07), 54-64, 2007
3802007
Distributed feature composition: A virtual architecture for telecommunications services
M Jackson, P Zave
IEEE Transactions on Software Engineering 24 (10), 831-847, 1998
3361998
Conjunction as composition
P Zave, M Jackson
ACM Transactions on Software Engineering and Methodology (TOSEM) 2 (4), 379-411, 1993
3301993
Deriving specifications from requirements: an example
M Jackson, P Zave
Proceedings of the 17th international conference on Software engineering, 15-24, 1995
2561995
Feature interactions and formal specifications in telecommunications
P Zave
Computer 26 (8), 20-28, 1993
2341993
Salient features of an executable specification language and its environment
P Zave, W Schell
IEEE Transactions on Software Engineering, 312-325, 1986
1711986
Domain descriptions
M Jackson, P Zave
[1993] Proceedings of the IEEE International Symposium on Requirements …, 1993
1651993
A compositional approach to multiparadigm programming
P Zave
IEEE software 6 (5), 15-25, 1989
1411989
Using lightweight modeling to understand Chord
P Zave
ACM SIGCOMM Computer Communication Review 42 (2), 49-57, 2012
1372012
An insider's evaluation of PAISLey
P Zave
IEEE transactions on Software Engineering 17 (3), 212, 1991
1201991
Where do operations come from? A multiparadigm specification technique
P Zave, M Jackson
IEEE transactions on software engineering 22 (7), 508-528, 1996
1171996
Telecommunications network system and method
MA Jackson, P Zave
US Patent 6,160,883, 2000
1052000
Faq sheet on feature interaction
P Zave
1011999
Telecommunications network system and method
MA Jackson, P Zave
US Patent 6,404,878, 2002
982002
Specifying software requirements
RT Yeh, P Zave
Proceedings of the IEEE 68 (9), 1077-1085, 1980
951980
The system can't perform the operation now. Try again later.
Articles 1–20