| |||||
Note: the contents of this newsletter are available free online to SIGSOFT members through the ACM Digital Library. | |||||
SIGSOFT 2002 / FSE 10 Proceedings of the Tenth ACM SIGSOFT Symposium on the Foundations of Software Engineering (FSE-10) Charleston, South Carolina November 18 - 22, 2002 |
|||||
Edited by William G. Griswold | |||||
| TABLE OF CONTENTS |
|||||
| Session 1: Keynote | |||||
| Programming Environments: Literally Ubicomp's Grand Challenge for Software Engineering, Gregory Abowd | |||||
Session 2: Dynamic Program Analysis | |||||
| Isolating cause-effect chains from computer programs, Andreas Zeller | 1 | ||||
| Invariant inference for static checking: an empirical evaluation, Jeremy W. Nimmer, Michael D. Ernst | 11 | ||||
Session 3: Mobility | |||||
| Egocentric context-aware programming in ad hoc mobile environments, Christine Julien, Gruia Catalin Roman | 21 | ||||
| A micro-economic approach to conflict resolution in mobile computing, Licia Capra, Wolfgang Emmerich, Cecilia Mascolo | 31 | ||||
| Architectural primitives for distribution and mobility, Antonia Lopes, Jose Luiz Fiadeiro, Michel Wermelinger | 41 | ||||
Session 4: Static Program Analysis | |||||
| Using redundancies to find errors, Yichen Xie, Dawson Engler | 51 | ||||
| Searching for points-to analysis, Glenn Bruns, Satish Chandra | 61 | ||||
| Improving program slicing with dynamic points-to data, Markus Mock, Darren C. Atkinson, Craig Chambers, Susan J. Eggers | 71 | ||||
Session 5: Award Ceremony and Keynote | |||||
| The logic of bugs, Gerard J. Holzmann | 81 | ||||
Session 6: Aspect-Oriented Programming | |||||
| Verifying cross-cutting features as open systems, Harry Li, Shriram Krishnamurthi, Kathi Fisler | 89 | ||||
| Supporting aggregation in fine grained software configuration management, Mark C. Chu-Carroll, James Wright, David Shields | 99 | ||||
Session 7: Requirements Analysis | |||||
| Negative scenarios for implied scenario elicitation, Sebastian Uchitel, Jeff Kramer, Jeff Magee | 109 | ||||
| Deriving operational software specifications from system goals, Emmanuel Letier, Axel van Lamsweerde | 119 | ||||
| Secure systems development based on the common criteria: the PalME project, Monika Vetterling, Guido Wimmel, Alexander Wisspeintner | 129 | ||||
Session 8: Modelling | |||||
| Model exploration with temporal logic query checking, Arie Gurfinkel, Benet Devereux, Marsha Chechik | 139 | ||||
| Composable semantics for model-based notations, Jianwei Niu, Joanne M. Atlee, Nancy A. Day | 149 | ||||
Session 9: Keynote | |||||
| Building secure software: why the standard approach doesn't work, and what software engineering can do about it, Gary McGraw | |||||
Session 10: Dynamic Response Systems | |||||
| Containment units: a hierarchically composable architecture for adaptive systems, Jamieson M. Cobleigh, Leon J. Osterweil, Alexander Wise, Barbara Staudt Lerner | 159 | ||||
| Triggered message sequence charts, Bikram Sengupta, Rance Cleaveland | 167 | ||||
Author Index | 177 | ||||