Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCID10th 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 - 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
a service of 
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.
last updated on 2024-04-15 20:33 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
