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

@proceedings{FSE-2002,
	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)

2 ×#architecture
2 ×#composition
2 ×#logic
2 ×#mobile
2 ×#points-to

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.