Fundamental approaches to software engineering. 5th international conference, FASE 2002. Held as part of the joint European conferences on theory and practice of software, ETAPS 2002, Grenoble, France, April 8--12, 2002. Proceedings (Q1604127)

The articles of mathematical interest will be reviewed individually. The preceding conference (4th, 2001) has been reviewed (see Zbl 0977.68805). Indexed articles: \textit{Charpentier, Michel}, An approach to composition motivated by \textit{wp}, 1-14 [Zbl 1059.68541] \textit{Barthe, Gilles; Gurov, Dilian; Huisman, Marieke}, Compositional verification of secure applet interactions, 15-32 [Zbl 1059.68538] \textit{Ehrig, Hartmut; Orejas, Fernando; Braatz, Benjamin; Klein, Markus; Piirainen, Martti}, A generic component framework for system modeling, 33-48 [Zbl 1059.68543] \textit{Cerone, Antonio}, Implementing condition/event nets in the Circal process algebra, 49-63 [Zbl 1059.68593] \textit{Xie, Fei; Browne, James C.}, Integrated state space reduction for model checking executable object-oriented software system designs, 64-79 [Zbl 1059.68547] \textit{Hagerer, Andreas; Hungar, Hardi; Niese, Oliver; Steffen, Bernhard}, Model generation by moderated regular extrapolation, 80-95 [Zbl 1059.68534] \textit{Kumar, Sumit; Horwitz, Susan}, Better slicing of programs with jumps and switches, 96-112 [Zbl 1059.68545] \textit{Bernardo, Marco; Franzè, Francesco}, Architectural types revisited: Extensible and/or connections, 113-127 [Zbl 1059.68539] \textit{de Paula, Virginia C. C.; Batista, Thais V.}, Mapping an ADL to a component-based application development environment, 128-142 [Zbl 1059.68562] \textit{Belaunde, Mariano; Peltier, Mikael}, From EDOC components to CCM components: A precise mapping specification, 143-158 [Zbl 1059.68551] \textit{Clark, Tony; Evans, Andy; Kent, Stuart}, Engineering modelling languages: A precise meta-modelling approach, 159-173 [Zbl 1059.68553] \textit{de Lara, Juan; Vangheluwe, Hans}, AToM\({}^3\): A tool for multi-formalism and meta-modelling, 174-188 [Zbl 1059.68561] \textit{Baresi, Luciano; Pezzè, Mauro}, A toolbox for automating visual software engineering, 189-202 [Zbl 1059.68550] \textit{Bradfield, Julian; Filipe, Juliana Küster; Stevens, Perdita}, Enriching OCL using observational mu-calculus, 203-217 [Zbl 1059.68540] \textit{David, Alexandre; Möller, M. Oliver; Yi, Wang}, Formal verification of UML statecharts with real-time extensions, 218-232 [Zbl 1059.68542] \textit{Hähnle, Reiner; Johannisson, Kristofer; Ranta, Aarne}, An authoring tool for informal and formal requirements specifications, 233-248 [Zbl 1059.68557] \textit{Bübl, Felix}, Introducing context-based constraints, 249-263 [Zbl 1059.68552] \textit{Nonnengart, Andreas; Rock, Georg; Stephan, Werner}, Formal requirements engineering using observer models, 264-278 [Zbl 1059.68559] \textit{López, Oscar; Laguna, Miguel A.; García, Francisco J.}, Automatic generation of use cases from workflows: A Petri net based approach, 279-293 [Zbl 1059.68546] \textit{Baresi, Luciano; Garzotto, Franca; Mainetti, Luca; Paolini, Paolo}, Meta-modeling techniques meet web application design tools, 294-307 [Zbl 1059.68549] \textit{Navarro, Antonio; Fernandez-Manjon, Baltasar; Fernandez-Valmayor, Alfredo; Sierra, Jose Luis}, Formal-driven conceptualization and prototyping of hypermedia applications, 308-322 [Zbl 1059.68558] \textit{Gouveia, João; Koutsoukos, Georgios; Wermelinger, Michel; Andrade, Luís; Fiadeiro, José Luiz}, The coordination development environment, 323-326 [Zbl 1059.68555] \textit{Ahrendt, Wolfgang; Baar, Thomas; Beckert, Bernhard; Giese, Martin; Habermalz, Elmar; Hähnle, Reiner; Menzel, Wolfram; Mostowski, Wojciech; Schmitt, Peter H.}, The KEY system: Integrating object-oriented design and formal methods, 327-330 [Zbl 1059.68548] \textit{Xie, Fei; Levin, Vladimir; Browne, James C.}, ObjectCheck: A model checking tool for executable object-oriented software system designs, 331-335 [Zbl 1059.68560] \textit{Hagerer, Andreas; Hungar, Hardi; Margaria, Tiziana; Niese, Oliver; Steffen, Bernhard; Ide, Hans-Dieter}, Demonstration of an operational procedure for the model-based testing of CTI systems, 336-339 [Zbl 1059.68556]