10. SIGSOFT FSE 2002: Charleston, South Carolina, USA

Proceedings of the Tenth ACM SIGSOFT Symposium on Foundations of Software Engineering 2002, Charleston, South Carolina, USA, November 18 - 22, 2002. ACM, 2002, ISBN 1-58113-514-9

Dynamic program analysis

Andreas Zeller:
Isolating cause-effect chains from computer programs. 1-10
Electronic Edition (ACM DL) BibTeX
Jeremy W. Nimmer, Michael D. Ernst:
Invariant inference for static checking. 11-20
Electronic Edition (ACM DL) BibTeX

Mobility

Christine Julien, Gruia-Catalin Roman:
Egocentric context-aware programming in ad hoc mobile environments. 21-30
Electronic Edition (ACM DL) BibTeX
Licia Capra, Wolfgang Emmerich, Cecilia Mascolo:
A micro-economic approach to conflict resolution in mobile computing. 31-40
Electronic Edition (ACM DL) BibTeX
Antónia Lopes, José Luiz Fiadeiro, Michel Wermelinger:
Architectural primitives for distribution and mobility. 41-50
Electronic Edition (ACM DL) BibTeX

Static program analysis

Yichen Xie, Dawson R. Engler:
Using redundancies to find errors. 51-60
Electronic Edition (ACM DL) BibTeX
Glenn Bruns, Satish Chandra:
Searching for points-to analysis. 61-70
Electronic Edition (ACM DL) BibTeX
Markus Mock, Darren C. Atkinson, Craig Chambers, Susan J. Eggers:
Improving program slicing with dynamic points-to data. 71-80
Electronic Edition (ACM DL) BibTeX

Award ceremony and keynote

Gerard J. Holzmann:
The logic of bugs. 81-87
Electronic Edition (ACM DL) BibTeX

Aspect-oriented programming

Harry C. Li, Shriram Krishnamurthi, Kathi Fisler:
Verifying cross-cutting features as open systems. 89-98
Electronic Edition (ACM DL) BibTeX
Mark Chu-Carroll, James L. Wright, David Shields:
Supporting aggregation in fine grained software configuration management. 99-108
Electronic Edition (ACM DL) BibTeX

Requirements analysis

Sebastián Uchitel, Jeff Kramer, Jeff Magee:
Negative scenarios for implied scenario elicitation. 109-118
Electronic Edition (ACM DL) BibTeX
Emmanuel Letier, Axel van Lamsweerde:
Deriving operational software specifications from system goals. 119-128
Electronic Edition (ACM DL) BibTeX
Monika Vetterling, Guido Wimmel, Alexander K. Wißpeintner:
Secure systems development based on the common criteria: the PalME project. 129-138
Electronic Edition (ACM DL) BibTeX

Modelling

Arie Gurfinkel, Benet Devereux, Marsha Chechik:
Model exploration with temporal logic query checking. 139-148
Electronic Edition (ACM DL) BibTeX
Jianwei Niu, Joanne M. Atlee, Nancy A. Day:
Composable semantics for model-based notations. 149-158
Electronic Edition (ACM DL) BibTeX

Dynamic response systems

Jamieson M. Cobleigh, Leon J. Osterweil, Alexander E. Wise, Barbara Staudt Lerner:
Containment units: a hierarchically composable architecture for adaptive systems. 159-165
Electronic Edition (ACM DL) BibTeX
Bikram Sengupta, Rance Cleaveland:
Triggered message sequence charts. 167-176
Electronic Edition (ACM DL) BibTeX