Proceedings of the 11th Symposium on Foundations of Software Engineering held jointly with the Ninth European Software Engineering Conference
BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
EDIT!
CC-BY
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter


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

SE
DBLP
Scholar
Full names Links ISxN
@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.

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.