default search action

combined dblp search
author search
venue search
publication search

ask others

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

> Home > Conferences and Workshops > SIGSOFT FSE

Refine list

refinements active!

zoomed in on ?? of ?? records

view refined list in

export refined list as

showing all ?? records

- view
  authority control:
- export record
  dblp key:
  - conf/sigsoft/2002
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sigsoft/2002
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

- view
  authority control:
- export record
  dblp key:
  - conf/sigsoft/Zeller02
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sigsoft/Zeller02
Andreas Zeller:
Isolating cause-effect chains from computer programs. 1-10
- view
  authority control:
- export record
  dblp key:
  - conf/sigsoft/NimmerE02
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sigsoft/NimmerE02
Jeremy W. Nimmer, Michael D. Ernst:
Invariant inference for static checking. 11-20

Mobility

- view
  authority control:
- export record
  dblp key:
  - conf/sigsoft/JulienR02
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sigsoft/JulienR02
Christine Julien, Gruia-Catalin Roman:
Egocentric context-aware programming in ad hoc mobile environments. 21-30
- view
  authority control:
- export record
  dblp key:
  - conf/sigsoft/CapraEM02
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sigsoft/CapraEM02
Licia Capra, Wolfgang Emmerich, Cecilia Mascolo:
A micro-economic approach to conflict resolution in mobile computing. 31-40
- view
  authority control:
- export record
  dblp key:
  - conf/sigsoft/LopesFW02
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sigsoft/LopesFW02
Antónia Lopes, José Luiz Fiadeiro, Michel Wermelinger:
Architectural primitives for distribution and mobility. 41-50

Static program analysis

- view
  authority control:
- export record
  dblp key:
  - conf/sigsoft/XieE02
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sigsoft/XieE02
Yichen Xie, Dawson R. Engler:
Using redundancies to find errors. 51-60
- view
  authority control:
- export record
  dblp key:
  - conf/sigsoft/BrunsC02
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sigsoft/BrunsC02
Glenn Bruns, Satish Chandra:
Searching for points-to analysis. 61-70
- view
  authority control:
- export record
  dblp key:
  - conf/sigsoft/MockACE02
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sigsoft/MockACE02
Markus Mock, Darren C. Atkinson, Craig Chambers, Susan J. Eggers:
Improving program slicing with dynamic points-to data. 71-80

Award ceremony and keynote

- view
  authority control:
- export record
  dblp key:
  - conf/sigsoft/Holzmann02
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sigsoft/Holzmann02
Gerard J. Holzmann:
The logic of bugs. 81-87

Aspect-oriented programming

- view
  authority control:
- export record
  dblp key:
  - conf/sigsoft/LiKF02
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sigsoft/LiKF02
Harry C. Li, Shriram Krishnamurthi, Kathi Fisler:
Verifying cross-cutting features as open systems. 89-98
- view
  authority control:
- export record
  dblp key:
  - conf/sigsoft/Chu-CarrollWS02
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sigsoft/Chu-CarrollWS02
Mark Chu-Carroll, James L. Wright, David Shields:
Supporting aggregation in fine grained software configuration management. 99-108

Requirements analysis

- view
  authority control:
- export record
  dblp key:
  - conf/sigsoft/UchitelKM02
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sigsoft/UchitelKM02
Sebastián Uchitel, Jeff Kramer, Jeff Magee:
Negative scenarios for implied scenario elicitation. 109-118
- view
  authority control:
- export record
  dblp key:
  - conf/sigsoft/LetierL02
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sigsoft/LetierL02
Emmanuel Letier, Axel van Lamsweerde:
Deriving operational software specifications from system goals. 119-128
- view
  authority control:
- export record
  dblp key:
  - conf/sigsoft/VetterlingWW02
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sigsoft/VetterlingWW02
Monika Vetterling, Guido Wimmel, Alexander K. Wißpeintner:
Secure systems development based on the common criteria: the PalME project. 129-138

Modelling

- view
  authority control:
- export record
  dblp key:
  - conf/sigsoft/GurfinkelDC02
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sigsoft/GurfinkelDC02
Arie Gurfinkel, Benet Devereux, Marsha Chechik:
Model exploration with temporal logic query checking. 139-148
- view
  authority control:
- export record
  dblp key:
  - conf/sigsoft/NiuAD02
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sigsoft/NiuAD02
Jianwei Niu, Joanne M. Atlee, Nancy A. Day:
Composable semantics for model-based notations. 149-158

Dynamic response systems

- view
  authority control:
- export record
  dblp key:
  - conf/sigsoft/CobleighOWL02
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sigsoft/CobleighOWL02
Jamieson M. Cobleigh, Leon J. Osterweil, Alexander E. Wise, Barbara Staudt Lerner:
Containment units: a hierarchically composable architecture for adaptive systems. 159-165
- view
  authority control:
- export record
  dblp key:
  - conf/sigsoft/SenguptaC02
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sigsoft/SenguptaC02
Bikram Sengupta, Rance Cleaveland:
Triggered message sequence charts. 167-176

manage site settings

To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.