Four dark corners of requirements engineering P Zave, M Jackson ACM transactions on Software Engineering and Methodology (TOSEM) 6 (1), 1-30, 1997 | 1101 | 1997 |
Classification of research efforts in requirements engineering P Zave ACM Computing Surveys (CSUR) 29 (4), 315-321, 1997 | 926 | 1997 |
An operational approach to requirements specification for embedded systems P Zave IEEE transactions on Software Engineering, 250-269, 1982 | 443 | 1982 |
A reference model for requirements and specifications CA Gunter, EL Gunter, M Jackson, P Zave IEEE Software 17 (3), 37-43, 2000 | 404 | 2000 |
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 | 383 | 2007 |
The operational versus the conventional approach to software development P Zave Communications of the ACM 27 (2), 104-118, 1984 | 383 | 1984 |
Distributed feature composition: A virtual architecture for telecommunications services M Jackson, P Zave IEEE Transactions on Software Engineering 24 (10), 831-847, 1998 | 336 | 1998 |
Conjunction as composition P Zave, M Jackson ACM Transactions on Software Engineering and Methodology (TOSEM) 2 (4), 379-411, 1993 | 329 | 1993 |
Deriving specifications from requirements: an example M Jackson, P Zave Proceedings of the 17th international conference on Software engineering, 15-24, 1995 | 257 | 1995 |
Feature interactions and formal specifications in telecommunications P Zave Computer 26 (8), 20-28, 1993 | 235 | 1993 |
Salient features of an executable specification language and its environment P Zave, W Schell IEEE Transactions on Software Engineering, 312-325, 1986 | 171 | 1986 |
Domain descriptions M Jackson, P Zave [1993] Proceedings of the IEEE International Symposium on Requirements …, 1993 | 165 | 1993 |
A compositional approach to multiparadigm programming P Zave IEEE software 6 (5), 15-25, 1989 | 141 | 1989 |
Using lightweight modeling to understand Chord P Zave ACM SIGCOMM Computer Communication Review 42 (2), 49-57, 2012 | 139 | 2012 |
An insider's evaluation of PAISLey P Zave IEEE transactions on Software Engineering 17 (3), 212, 1991 | 121 | 1991 |
Where do operations come from? A multiparadigm specification technique P Zave, M Jackson IEEE transactions on software engineering 22 (7), 508-528, 1996 | 116 | 1996 |
Telecommunications network system and method MA Jackson, P Zave US Patent 6,160,883, 2000 | 105 | 2000 |
Faq sheet on feature interaction P Zave | 102 | 1999 |
Telecommunications network system and method MA Jackson, P Zave US Patent 6,404,878, 2002 | 98 | 2002 |
Specifying software requirements RT Yeh, P Zave Proceedings of the IEEE 68 (9), 1077-1085, 1980 | 95 | 1980 |