Conferences in DBLP

Foundations of Software Engineering (SIGSOFT FSE) (sigsoft)
2002 ()

1. Andreas Zeller
   Isolating cause-effect chains from computer programs. [Citation Graph (0, 0)][DBLP]
   SIGSOFT FSE, 2002, pp:1-10 [Conf]
   
2. Jeremy W. Nimmer, Michael D. Ernst
   Invariant inference for static checking. [Citation Graph (0, 0)][DBLP]
   SIGSOFT FSE, 2002, pp:11-20 [Conf]
   
3. Christine Julien, Gruia-Catalin Roman
   Egocentric context-aware programming in ad hoc mobile environments. [Citation Graph (0, 0)][DBLP]
   SIGSOFT FSE, 2002, pp:21-30 [Conf]
   
4. Licia Capra, Wolfgang Emmerich, Cecilia Mascolo
   A micro-economic approach to conflict resolution in mobile computing. [Citation Graph (0, 0)][DBLP]
   SIGSOFT FSE, 2002, pp:31-40 [Conf]
   
5. Antónia Lopes, José Luiz Fiadeiro, Michel Wermelinger
   Architectural primitives for distribution and mobility. [Citation Graph (0, 0)][DBLP]
   SIGSOFT FSE, 2002, pp:41-50 [Conf]
   
6. Yichen Xie, Dawson R. Engler
   Using redundancies to find errors. [Citation Graph (0, 0)][DBLP]
   SIGSOFT FSE, 2002, pp:51-60 [Conf]
   
7. Glenn Bruns, Satish Chandra
   Searching for points-to analysis. [Citation Graph (0, 0)][DBLP]
   SIGSOFT FSE, 2002, pp:61-70 [Conf]
   
8. Markus Mock, Darren C. Atkinson, Craig Chambers, Susan J. Eggers
   Improving program slicing with dynamic points-to data. [Citation Graph (0, 0)][DBLP]
   SIGSOFT FSE, 2002, pp:71-80 [Conf]
   
9. Gerard J. Holzmann
   The logic of bugs. [Citation Graph (0, 0)][DBLP]
   SIGSOFT FSE, 2002, pp:81-87 [Conf]
   
10. Harry C. Li, Shriram Krishnamurthi, Kathi Fisler
    Verifying cross-cutting features as open systems. [Citation Graph (0, 0)][DBLP]
    SIGSOFT FSE, 2002, pp:89-98 [Conf]
    
11. Mark Chu-Carroll, James L. Wright, David Shields
    Supporting aggregation in fine grained software configuration management. [Citation Graph (0, 0)][DBLP]
    SIGSOFT FSE, 2002, pp:99-108 [Conf]
    
12. Sebastián Uchitel, Jeff Kramer, Jeff Magee
    Negative scenarios for implied scenario elicitation. [Citation Graph (0, 0)][DBLP]
    SIGSOFT FSE, 2002, pp:109-118 [Conf]
    
13. Emmanuel Letier, Axel van Lamsweerde
    Deriving operational software specifications from system goals. [Citation Graph (0, 0)][DBLP]
    SIGSOFT FSE, 2002, pp:119-128 [Conf]
    
14. Monika Vetterling, Guido Wimmel, Alexander K. Wißpeintner
    Secure systems development based on the common criteria: the PalME project. [Citation Graph (0, 0)][DBLP]
    SIGSOFT FSE, 2002, pp:129-138 [Conf]
    
15. Arie Gurfinkel, Benet Devereux, Marsha Chechik
    Model exploration with temporal logic query checking. [Citation Graph (0, 0)][DBLP]
    SIGSOFT FSE, 2002, pp:139-148 [Conf]
    
16. Jianwei Niu, Joanne M. Atlee, Nancy A. Day
    Composable semantics for model-based notations. [Citation Graph (0, 0)][DBLP]
    SIGSOFT FSE, 2002, pp:149-158 [Conf]
    
17. Jamieson M. Cobleigh, Leon J. Osterweil, Alexander E. Wise, Barbara Staudt Lerner
    Containment units: a hierarchically composable architecture for adaptive systems. [Citation Graph (0, 0)][DBLP]
    SIGSOFT FSE, 2002, pp:159-165 [Conf]
    
18. Bikram Sengupta, Rance Cleaveland
    Triggered message sequence charts. [Citation Graph (0, 0)][DBLP]
    SIGSOFT FSE, 2002, pp:167-176 [Conf]