Pamela Zave
Pamela Zave
AT&T Labs--Research
Email verificata su research.att.com - Home page
Titolo
Citata da
Citata da
Anno
Four dark corners of requirements engineering
P Zave, M Jackson
ACM transactions on Software Engineering and Methodology (TOSEM) 6 (1), 1-30, 1997
9361997
Classification of research efforts in requirements engineering
P Zave
ACM Computing Surveys (CSUR) 29 (4), 315-321, 1997
7661997
An operational approach to requirements specification for embedded systems
P Zave
IEEE transactions on Software Engineering, 250-269, 1982
3981982
The operational versus the conventional approach to software development
P Zave
Communications of the ACM 27 (2), 104-118, 1984
3611984
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
3442007
A reference model for requirements and specifications
CA Gunter, EL Gunter, M Jackson, P Zave
IEEE Software 17 (3), 37-43, 2000
3422000
Conjunction as composition
P Zave, M Jackson
ACM Transactions on Software Engineering and Methodology (TOSEM) 2 (4), 379-411, 1993
3131993
Distributed feature composition: A virtual architecture for telecommunications services
M Jackson, P Zave
IEEE Transactions on Software Engineering 24 (10), 831-847, 1998
3121998
Deriving specifications from requirements: an example
M Jackson, P Zave
Proceedings of the 17th international conference on Software engineering, 15-24, 1995
2361995
Feature interactions and formal specifications in telecommunications
P Zave
Computer 26 (8), 20-28, 1993
2071993
Domain descriptions
M Jackson, P Zave
[1993] Proceedings of the IEEE International Symposium on Requirements …, 1993
1531993
Salient features of an executable specification language and its environment
P Zave, W Schell
IEEE Transactions on Software Engineering, 312-325, 1986
1531986
A compositional approach to multiparadigm programming
P Zave
IEEE software 6 (5), 15-25, 1989
1251989
Where do operations come from? A multiparadigm specification technique
P Zave, M Jackson
IEEE transactions on software engineering 22 (7), 508-528, 1996
1081996
An insider's evaluation of PAISLey
P Zave
IEEE Transactions on Software Engineering 17 (3), 212, 1991
1051991
Telecommunications network system and method
MA Jackson, P Zave
US Patent 6,160,883, 2000
1022000
Using lightweight modeling to understand Chord
P Zave
ACM SIGCOMM Computer Communication Review 42 (2), 49-57, 2012
982012
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
871985
Faq sheet on feature interaction
P Zave
851999
Il sistema al momento non può eseguire l'operazione. Riprova più tardi.
Articoli 1–20