BibSLEIGH — Proceedings of the 11th Symposium on Foundations of Software Engineering held jointly with the Ninth European Software Engineering Conference

Proceedings of the 11th Symposium on Foundations of Software Engineering held jointly with the Ninth European Software Engineering Conference
ESEC/FSE, 2003.

@proceedings{ESEC-FSE-2003,
	address       = "Helsinki, Finland",
	publisher     = "{ACM}",
	title         = "{Proceedings of the 11th Symposium on Foundations of Software Engineering held jointly with the Ninth European Software Engineering Conference}",
	year          = 2003,
}

Contents (45 items)

ESEC-FSE-2003-Longo #modelling: Computer modelling and natural phenomena (GL), pp. 1–5.
ESEC-FSE-2003-Osterweil #comprehension #process #re-engineering #research: Understanding process and the quest for deeper questions in software engineering research (LJO), pp. 6–14.
ESEC-FSE-2003-Jaaksi #tool support: Assessing software projects: tools for business owners (AJ), pp. 15–18.
ESEC-FSE-2003-UchitelKM #behaviour #lts #using: Behaviour model elaboration using partial labelled transition systems (SU, JK, JM), pp. 19–27.
ESEC-FSE-2003-JeffordsH #requirements #verification: A strategy for efficiently verifying requirements (RDJ, CLH), pp. 28–37.
ESEC-FSE-2003-GieseTBF #composition #design #realtime #towards #uml #verification: Towards the compositional verification of real-time UML designs (HG, MT, SB, SF), pp. 38–47.
ESEC-FSE-2003-BatoryLS #multi: Refinements and multi-dimensional separation of concerns (DSB, JL, JNS), pp. 48–57.
ESEC-FSE-2003-SelonenX #architecture #modelling #uml #validation: Validating UML models against architectural profiles (PS, JX), pp. 58–67.
ESEC-FSE-2003-BaresiHTV #architecture #modelling #validation: Modeling and validation of service-oriented architectures: application vs. style (LB, RH, ST, DV), pp. 68–77.
ESEC-FSE-2003-BradburyD #analysis #automation: Evaluating and improving the automatic analysis of implicit invocation systems (JSB, JD), pp. 78–87.
ESEC-FSE-2003-VignaVK #design #detection #implementation #product line: Designing and implementing a family of intrusion detection systems (GV, FV, RAK), pp. 88–97.
ESEC-FSE-2003-KapfhammerS #product line #test coverage #testing: A family of test adequacy criteria for database-driven applications (GMK, MLS), pp. 98–107.
ESEC-FSE-2003-SyD #consistency #generative #interprocedural #testing: Consistency techniques for interprocedural test data generation (NTS, YD), pp. 108–117.
ESEC-FSE-2003-MemonS #testing #user interface: Regression testing of GUIs (AMM, MLS), pp. 118–127.
ESEC-FSE-2003-OrsoAH #impact analysis #testing: Leveraging field data for impact analysis and regression testing (AO, TA, MJH), pp. 128–137.
ESEC-FSE-2003-HerbslebM #coordination #empirical #re-engineering: Formulation and preliminary test of an empirical theory of coordination in software engineering (JDH, AM), pp. 138–137.
ESEC-FSE-2003-Dyba #empirical #process #scalability: Factors of software process improvement success in small and large organizations: an empirical study in the scandinavian context (TD), pp. 148–157.
ESEC-FSE-2003-CangussuDM #approach #monitoring #process #statistics #testing #using: Monitoring the software test process using statistical process control: a logarithmic approach (JWC, RAD, APM), pp. 158–167.
ESEC-FSE-2003-MullerP #agile #evaluation #on the: On the economic evaluation of XP projects (MMM, FP), pp. 168–177.
ESEC-FSE-2003-Krinke #concurrent #slicing #source code: Context-sensitive slicing of concurrent programs (JK), pp. 178–187.
ESEC-FSE-2003-TkachukD #adaptation #analysis #composition #model checking: Adapting side effects analysis for modular program model checking (OT, MBD), pp. 188–197.
ESEC-FSE-2003-BrylowP #analysis: Deadline analysis of interrupt-driven software (DB, JP), pp. 198–207.
ESEC-FSE-2003-PahlC #ontology #process #web #web service: Ontology support for web service processes (CP, MC), pp. 208–216.
ESEC-FSE-2003-Viljamaa #framework #interface #reuse #reverse engineering: Reverse engineering framework reuse interfaces (JV), pp. 217–226.
ESEC-FSE-2003-OhstWK #diagrams #difference #uml: Differences between versions of UML diagrams (DO, MW, UK), pp. 227–236.
ESEC-FSE-2003-JarzabekS #adaptation #composition #metaprogramming: Eliminating redundancies with a “composition with adaptation” meta-programming technique (SJ, SL), pp. 237–246.
ESEC-FSE-2003-ChengYHP #analysis #composition #design #modelling #refactoring #scalability #towards: Towards scalable compositional analysis by refactoring design models (YPC, MY, CLH, CYP), pp. 247–256.
ESEC-FSE-2003-GiannakopoulouM #model checking: Fluent model checking for event-based systems (DG, JM), pp. 257–266.
ESEC-FSE-2003-RobbyDH #framework #model checking #named: Bogor: an extensible and highly-modular software model checking framework (R, MBD, JH), pp. 267–276.
ESEC-FSE-2003-XieB #component #composition: Verified systems by composition from verified components (FX, JCB), pp. 277–286.
ESEC-FSE-2003-McCamantE #component #predict #problem: Predicting problems caused by component upgrades (SM, MDE), pp. 287–296.
ESEC-FSE-2003-RajanS #aspect-oriented #design #named: Eos: instance-level aspects for integrated system design (HR, KJS), pp. 291–306.
ESEC-FSE-2003-YongH #c #pointer #source code: Protecting C programs from attacks via invalid pointer dereferences (SHY, SH), pp. 307–316.
ESEC-FSE-2003-LivshitsL #c #context-sensitive grammar #debugging #detection #pointer #source code: Tracking pointers with path and context sensitivity for bug detection in C programs (VBL, MSL), pp. 317–326.
ESEC-FSE-2003-XieCE #analysis #detection #fault #memory management #named #using: ARCHER: using symbolic, path-sensitive analysis to detect memory access errors (YX, AC, DRE), pp. 327–336.
ESEC-FSE-2003-SenRA #analysis #parallel #runtime #safety #source code #thread: Runtime safety analysis of multithreaded programs (KS, GR, GA), pp. 337–346.
ESEC-FSE-2003-MehtaM #architecture: Composing architectural styles from architectural primitives (NRM, NM), pp. 347–350.
ESEC-FSE-2003-Thramboulidis #distributed #implementation #reuse #towards: Towards an engineering tool for implementing reusable distributed control systems (KT), pp. 351–354.
ESEC-FSE-2003-BertolinoG #case study #product line #testing: Use case-based testing of product lines (AB, SG), pp. 355–358.
ESEC-FSE-2003-EshuisBDGR #modelling #named #performance #set #validation: EFFICIENT: a tool set for supporting the modelling and validation of ebXML (RE, PB, ED, BG, SR), pp. 359–362.
ESEC-FSE-2003-BalsamoM #approach #modelling #performance: A simulation-based approach to software performance modeling (SB, MM), pp. 363–366.
ESEC-FSE-2003-RanL #architecture #mobile #runtime: Making sense of runtime architecture for mobile phone software (AR, RL), pp. 367–370.
ESEC-FSE-2003-LeeA #component: Policy-enforced linking of untrusted components (EL, AWA), pp. 371–374.
ESEC-FSE-2003-GuerraRRL #architecture #fault tolerance: A fault-tolerant software architecture for COTS-based software systems (PAdCG, CMFR, ABR, RdL), pp. 375–378.
ESEC-FSE-2003-HallC #named: Gravity: supporting dynamically available services in client-side applications (RSH, HC), pp. 379–382.

Proceedings of the 11th Symposium on Foundations of Software Engineering held jointly with the Ninth European Software Engineering ConferenceESEC/FSE, 2003.

Contents (45 items)

Proceedings of the 11th Symposium on Foundations of Software Engineering held jointly with the Ninth European Software Engineering Conference
ESEC/FSE, 2003.