Proceedings of the 10th Symposium on Foundations of Software Engineering
BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter

Proceedings of the 10th Symposium on Foundations of Software Engineering
FSE, 2002.

Full names Links ISxN
	address       = "Charleston, South Carolina, USA",
	isbn          = "1-58113-514-9",
	publisher     = "{ACM}",
	title         = "{Proceedings of the 10th Symposium on Foundations of Software Engineering}",
	year          = 2002,

Contents (18 items)

FSE-2002-Zeller #source code
Isolating cause-effect chains from computer programs (AZ), pp. 1–10.
FSE-2002-NimmerE #invariant #static analysis
Invariant inference for static checking (JWN, MDE), pp. 11–20.
FSE-2002-JulienR #ad hoc #mobile #programming
Egocentric context-aware programming in ad hoc mobile environments (CJ, GCR), pp. 21–30.
FSE-2002-CapraEM #approach #mobile
A micro-economic approach to conflict resolution in mobile computing (LC, WE, CM), pp. 31–40.
FSE-2002-LopesFW #architecture
Architectural primitives for distribution and mobility (AL, JLF, MW), pp. 41–50.
FSE-2002-XieE #fault #using
Using redundancies to find errors (YX, DRE), pp. 51–60.
FSE-2002-BrunsC #analysis #points-to
Searching for points-to analysis (GB, SC), pp. 61–70.
FSE-2002-MockACE #points-to #slicing
Improving program slicing with dynamic points-to data (MM, DCA, CC, SJE), pp. 71–80.
FSE-2002-Holzmann #debugging #logic
The logic of bugs (GJH), pp. 81–87.
FSE-2002-LiKF #verification
Verifying cross-cutting features as open systems (HCL, SK, KF), pp. 89–98.
FSE-2002-Chu-CarrollWS #configuration management #fine-grained
Supporting aggregation in fine grained software configuration management (MCC, JLW, DS), pp. 99–108.
FSE-2002-UchitelKM #elicitation
Negative scenarios for implied scenario elicitation (SU, JK, JM), pp. 109–118.
FSE-2002-LetierL #specification
Deriving operational software specifications from system goals (EL, AvL), pp. 119–128.
FSE-2002-VetterlingWW #development
Secure systems development based on the common criteria: the PalME project (MV, GW, AKW), pp. 129–138.
FSE-2002-GurfinkelDC #logic #query
Model exploration with temporal logic query checking (AG, BD, MC), pp. 139–148.
FSE-2002-NiuAD #composition #modelling #semantics
Composable semantics for model-based notations (JN, JMA, NAD), pp. 149–158.
FSE-2002-CobleighOWL #adaptation #architecture #composition
Containment units: a hierarchically composable architecture for adaptive systems (JMC, LJO, AEW, BSL), pp. 159–165.
FSE-2002-SenguptaC #sequence chart
Triggered message sequence charts (BS, RC), pp. 167–176.

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.