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
10811997
Classification of research efforts in requirements engineering
P Zave
ACM Computing Surveys (CSUR) 29 (4), 315-321, 1997
9001997
An operational approach to requirements specification for embedded systems
P Zave
IEEE transactions on Software Engineering, 250-269, 1982
4471982
A reference model for requirements and specifications
CA Gunter, EL Gunter, M Jackson, P Zave
IEEE Software 17 (3), 37-43, 2000
3972000
The operational versus the conventional approach to software development
P Zave
Communications of the ACM 27 (2), 104-118, 1984
3811984
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
3371998
Conjunction as composition
P Zave, M Jackson
ACM Transactions on Software Engineering and Methodology (TOSEM) 2 (4), 379-411, 1993
3251993
Deriving specifications from requirements: an example
M Jackson, P Zave
Proceedings of the 17th international conference on Software engineering, 15-24, 1995
2521995
Feature interactions and formal specifications in telecommunications
P Zave
Computer 26 (8), 20-28, 1993
2331993
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
1621993
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
1332012
An insider's evaluation of PAISLey
P Zave
IEEE transactions on Software Engineering 17 (3), 212, 1991
1231991
Where do operations come from? A multiparadigm specification technique
P Zave, M Jackson
IEEE transactions on software engineering 22 (7), 508-528, 1996
1151996
Telecommunications network system and method
MA Jackson, P Zave
US Patent 6,160,883, 2000
1052000
Faq sheet on feature interaction
P Zave
1031999
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
941980
The system can't perform the operation now. Try again later.
Articles 1–20