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

Dynamic program analysis

• Andreas Zeller:
  Isolating cause-effect chains from computer programs. 1-10
  
• Jeremy W. Nimmer, Michael D. Ernst:
  Invariant inference for static checking. 11-20
  

Mobility

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

Static program analysis

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

Award ceremony and keynote

• Gerard J. Holzmann:
  The logic of bugs. 81-87
  

Aspect-oriented programming

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

Requirements analysis

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

Modelling

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

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
  
• Bikram Sengupta, Rance Cleaveland:
  Triggered message sequence charts. 167-176
  

Last update Fri May 25 08:39:13 2012 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page