Pamela Zave
Pamela Zave
AT&T Labs--Research
Email verificata su research.att.com - Home page
TitoloCitata daAnno
Four dark corners of requirements engineering
P Zave, M Jackson
ACM transactions on Software Engineering and Methodology (TOSEM) 6 (1), 1-30, 1997
9201997
Classification of research efforts in requirements engineering
P Zave
ACM Computing Surveys (CSUR) 29 (4), 315-321, 1997
7291997
An operational approach to requirements specification for embedded systems
P Zave
IEEE transactions on Software Engineering, 250-269, 1982
3951982
The operational versus the conventional approach to software development
P Zave
Communications of the ACM 27 (2), 104-118, 1984
3641984
A reference model for requirements and specifications
CA Gunter, EL Gunter, M Jackson, P Zave
IEEE Software 17 (3), 37-43, 2000
3352000
Matching and merging of statecharts specifications
S Nejati, M Sabetzadeh, M Chechik, S Easterbrook, P Zave
Proceedings of the 29th international conference on Software Engineering, 54-64, 2007
3332007
Distributed feature composition: A virtual architecture for telecommunications services
M Jackson, P Zave
IEEE Transactions on Software Engineering 24 (10), 831-847, 1998
3101998
Conjunction as composition
P Zave, M Jackson
ACM Transactions on Software Engineering and Methodology (TOSEM) 2 (4), 379-411, 1993
3101993
Deriving specifications from requirements: an example
M Jackson, P Zave
1995 17th International Conference on Software Engineering, 15-15, 1995
2301995
Feature interactions and formal specifications in telecommunications
P Zave
Computer 26 (8), 20-28, 1993
2081993
Domain descriptions
M Jackson, P Zave
[1993] Proceedings of the IEEE International Symposium on Requirements …, 1993
1551993
Salient features of an executable specification language and its environment
P Zave, W Schell
IEEE Transactions on Software Engineering, 312-325, 1986
1541986
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
1091996
Telecommunications network system and method
MA Jackson, P Zave
US Patent 6,160,883, 2000
1032000
An Insider
P Zave
IEEE transactions on Software Engineering, 212-225, 1991
981991
Telecommunications network system and method
MA Jackson, P Zave
US Patent 6,404,878, 2002
962002
Using lightweight modeling to understand Chord
P Zave
ACM SIGCOMM Computer Communication Review 42 (2), 49-57, 2012
922012
A distributed alternative to finite-state-machine specifications
P Zave
ACM Transactions on Programming Languages and Systems (TOPLAS) 7 (1), 10-36, 1985
891985
Faq sheet on feature interaction
P Zave
Link: http://www. research. att. com/pamela/faq. html, 6, 1999
841999
Il sistema al momento non può eseguire l'operazione. Riprova più tardi.
Articoli 1–20