Pamela Zave
Pamela Zave
AT&T Labs--Research
Geverifieerd e-mailadres voor research.att.com - Homepage
Titel
Geciteerd door
Geciteerd door
Jaar
Four dark corners of requirements engineering
P Zave, M Jackson
ACM transactions on Software Engineering and Methodology (TOSEM) 6 (1), 1-30, 1997
10071997
Classification of research efforts in requirements engineering
P Zave
ACM Computing Surveys (CSUR) 29 (4), 315-321, 1997
8221997
An operational approach to requirements specification for embedded systems
P Zave
IEEE transactions on Software Engineering, 250-269, 1982
4251982
A reference model for requirements and specifications
CA Gunter, EL Gunter, M Jackson, P Zave
IEEE Software 17 (3), 37-43, 2000
3782000
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
3612007
The operational versus the conventional approach to software development
P Zave
Communications of the ACM 27 (2), 104-118, 1984
3561984
Distributed feature composition: A virtual architecture for telecommunications services
M Jackson, P Zave
IEEE Transactions on Software Engineering 24 (10), 831-847, 1998
3251998
Conjunction as composition
P Zave, M Jackson
ACM Transactions on Software Engineering and Methodology (TOSEM) 2 (4), 379-411, 1993
3151993
Deriving specifications from requirements: an example
M Jackson, P Zave
Proceedings of the 17th international conference on Software engineering, 15-24, 1995
2461995
Feature interactions and formal specifications in telecommunications
P Zave
Computer 26 (8), 20-28, 1993
2151993
Domain descriptions
M Jackson, P Zave
[1993] Proceedings of the IEEE International Symposium on Requirements …, 1993
1611993
Salient features of an executable specification language and its environment
P Zave, W Schell
IEEE Transactions on Software Engineering, 312-325, 1986
1601986
A compositional approach to multiparadigm programming
P Zave
IEEE software 6 (5), 15-25, 1989
1271989
An insider's evaluation of PAISLey
P Zave
IEEE Transactions on Software Engineering 17 (3), 212, 1991
1131991
Where do operations come from? A multiparadigm specification technique
P Zave, M Jackson
IEEE transactions on software engineering 22 (7), 508-528, 1996
1111996
Using lightweight modeling to understand Chord
P Zave
ACM SIGCOMM Computer Communication Review 42 (2), 49-57, 2012
1022012
Telecommunications network system and method
MA Jackson, P Zave
US Patent 6,160,883, 2000
1022000
Faq sheet on feature interaction
P Zave
961999
Telecommunications network system and method
MA Jackson, P Zave
US Patent 6,404,878, 2002
952002
A distributed alternative to finite-state-machine specifications
P Zave
ACM Transactions on Programming Languages and Systems (TOPLAS) 7 (1), 10-36, 1985
901985
Het systeem kan de bewerking nu niet uitvoeren. Probeer het later opnieuw.
Artikelen 1–20