Fundamental approaches to software engineering. 6th international conference FASE 2003, held as part of the joint European conferences on theory and practice of software, ETAPS 2003, Warsaw, Poland, April 7--11, 2003. Proceedings (Q1398131)

The articles of this volume will be reviewed individually. The preceding conference has been reviewed (see Zbl 0989.00047). Indexed articles: \textit{Young, Michal}, Symbiosis of static analysis and program testing, 1-5 [Zbl 1032.68554] \textit{Pahl, Claus}, An ontology for software component matching, 6-21 [Zbl 1032.68580] \textit{Sora, Ioana; Verbaeten, Pierre; Berbers, Yolande}, A description language for composable components, 22-36 [Zbl 1032.68581] \textit{Aguirre, Nazareno; Maibaum, Tom}, A logical basis for the specification of reconfigurable component-based systems, 37-51 [Zbl 1032.68056] \textit{Reichmann, Clemens; Kühl, Markus; Müller-Glaser, Klaus D.}, An overall system design approach doing object-oriented modeling to code-generation for embedded electronic systems, 52-66 [Zbl 1032.68565] \textit{Fenkam, Pascal; Gall, Harald; Jazayeri, Mehdi}, Composing specifications of event based applications, 67-86 [Zbl 1032.68049] \textit{Merz, Stephan; Wirsing, Martin; Zappe, Júlia}, A spatio-temporal logic for the specification and refinement of mobile systems, 87-101 [Zbl 1032.03028] \textit{Scott, David; Beresford, Alastair; Mycroft, Alan}, Spatial security policies for mobile agents in a sentient computing environment, 102-117 [Zbl 1032.68566] \textit{Del Bianco, Vieri; Lavazza, Luigi; Mauri, Marco; Occorso, Giuseppe}, Towards UML-based formal specifications of component-based real-time software, 118-134 [Zbl 1032.68560] \textit{Tenzer, Jennifer; Stevens, Perdita}, Modelling recursive calls with UML state diagrams, 135-149 [Zbl 1032.68567] \textit{Zhao, Jianjun; Rinard, Martin}, Pipa: A behavioral interface specification language for AspectJ, 150-165 [Zbl 1032.68569] \textit{Vanderperren, Wim; Suvée, Davy; Wydaeghe, Bart; Jonckers, Viviane}, PacoSuite and JAsCo: A visual component composition environment with advanced aspect separation features, 166-169 [Zbl 1032.68568] \textit{Heckel, Reiko; Lohmann, Marc}, Model-based development of web applications using graphical reaction rules, 170-183 [Zbl 1032.68563] \textit{Jin, Yan; Esser, Robert; Lakos, Charles; Janneck, Jörn W.}, Modular analysis of dataflow process networks, 184-199 [Zbl 1032.68110] \textit{Morasca, Sandro}, Foundations of a weak measurement-theoretic approach to software measurement, 200-215 [Zbl 1032.68065] \textit{Kelsen, Pierre}, An information-based view of representational coupling in object-oriented systems, 216-230 [Zbl 1032.68564] \textit{Kubica, Marcin}, A temporal approach to specification and verification of pointer data-structures, 231-245 [Zbl 1032.68102] \textit{Beckert, Bernhard; Mostowski, Wojciech}, A program logic for handling Java Card's transaction mechanism, 246-260 [Zbl 1032.68573] \textit{Schröder, Lutz; Mossakowski, Till}, Monad-independent Hoare logic in HasCasl, 261-277 [Zbl 1032.03029] \textit{Koch, Manuel; Parisi-Presicce, Francesco}, Visual specifications of policies and their verification, 278-293 [Zbl 1032.68665] \textit{Gargantini, Angelo; Riccobene, Elvinia}, Automatic model driven animation of SCR specifications, 294-309 [Zbl 1032.68664] \textit{Goel, Anita; Gupta, S. C.; Wasan, S. K.}, Probe mechanism for object-oriented software testing, 310-324 [Zbl 1032.68562] \textit{Sharygina, Natasha; Browne, James C.}, Model checking software via abstraction of loop transitions, 325-340 [Zbl 1032.68666] \textit{Attiogbé, Christian; Poizat, Pascal; Salaün, Gwen}, Integration of formal datatypes within state diagrams, 341-355 [Zbl 1032.68107] \textit{Della Penna, Giuseppe; Di Marco, Antinisca; Intrigila, Benedetto; Melatti, Igor; Pierantonio, Alfonso}, Xere: Towards a natural interoperability between XML and ER diagrams, 356-371 [Zbl 1032.68584] \textit{Muccini, Henry}, Detecting implied scenarios analyzing non-local branching choices, 372-386 [Zbl 1032.68579] \textit{Krüger, Ingolf H.}, Capturing overlapping, triggered, and preemptive collaborations using MSCs, 387-402 [Zbl 1032.68576]