Reliable software technologies -- Ada-Europe 2003. 8th Ada-Europe international conference on reliable software technologies, Toulouse, France, June 16--20, 2003. Proceedings (Q1407727)

The articles of this volume will be reviewed individually. The preceding conference has been reviewed (see Zbl 0995.68622). Indexed articles: \textit{Leroy, Pascal}, An invitation to Ada 2005, 1-23 [Zbl 1032.68901] \textit{Mezini, Mira; Ostermann, Klaus}, Modules for crosscutting models, 24-44 [Zbl 1032.68916] \textit{Kienzle, Jörg}, Software fault tolerance: An overview, 45-67 [Zbl 1032.68883] \textit{Amey, Peter; Dobbing, Brian}, High integrity Ravenscar, 68-79 [Zbl 1032.68817] \textit{Burns, Alan; Lin, Tse-Min}, Adding temporal annotations and associated verification to Ravenscar profile, 80-91 [Zbl 1032.68835] \textit{Holsti, Niklas; Långbacka, Thomas}, Impact of a restricted tasking profile: The case of the GOCE platform application software, 92-101 [Zbl 1032.68869] \textit{Lamm, Ehud}, Booch's Ada vs. Liskov's Java: Two approaches to teaching software design, 102-112 [Zbl 1032.68895] \textit{Brosgol, Benjamin M.; Wellings, Andy}, A comparison of the asynchronous transfer of control features in Ada and the real-time specification for Java, 113-128 [Zbl 1032.68833] \textit{Briot, Emmanuel; Gasperoni, Franco; Dewar, Robert; Craeynest, Dirk; Waroquiers, Philippe}, Exposing memory corruption and finding leaks: Advanced mechanisms in Ada, 129-141 [Zbl 1032.68832] \textit{Blieberger, Johann; Burgstaller, Bernd; Scholz, Bernhard}, Busy wait analysis, 142-152 [Zbl 1032.68828] \textit{Blieberger, Johann; Burgstaller, Bernd}, Eliminating redundant range checks in GNAT using symbolic evaluation, 153-167 [Zbl 1032.68829] \textit{Evangelista, Sami; Kaiser, Claude; Pradat-Peyre, Jean-François; Rousseau, Pierre}, Quasar: A new tool for concurrent Ada programs analysis, 168-181 [Zbl 1032.68849] \textit{Martel, Ernestina; Guerra, Francisco; Miranda, Javier; Hernández, Luis}, A graphical environment for GLADE, 182-195 [Zbl 1032.68911] \textit{Alves, Mário Amado; Jorge, Alípio; Heaney, Matthew}, The use of Ada, GNAT. Spitbol, and XML in the Sol-Eu-Net project, 196-207 [Zbl 1032.68816] \textit{Patiño-Martínez, Marta; Jiménez-Peris, Ricardo; Romanovsky, Alexander}, Transactions and groups as generic building blocks for software fault tolerance, 208-219 [Zbl 1032.68931] \textit{Espinosa Minguet, Agustín; Lorente Garcés, Vicente; García Fornes, Ana; Crespo i Lorente, Alfons}, Getting system metrics using POSIX tracing services, 220-231 [Zbl 1032.68847] \textit{Evanco, William M.; Verner, June}, Some architectural features of Ada systems affecting defects, 232-245 [Zbl 1032.68848] \textit{Kuball, Silke; Hughes, Gordon}, Evidential volume approach for certification, 246-257 [Zbl 1032.68888] \textit{Grein, Christoph; Kazakov, Dmitry A.; Wilson, Fraser}, A survey of physical unit handling techniques in Ada, 258-270 [Zbl 1032.68862] \textit{Heaney, Matthew}, Charles: A data structure library for Ada95, 271-282 [Zbl 1032.68865] \textit{Franch, Xavier; Marco, Jordi}, A quality model for the Ada standard container library, 283-296 [Zbl 1032.68854] \textit{Mikkonen, Tommi}, Experiences on developing and using a tool support for formal specification, 297-308 [Zbl 1032.68917] \textit{Lin, Tse-Min; McDermid, John A.}, A behavioural notion of subtyping for object-oriented programming in SPARK95, 309-321 [Zbl 1032.68906] \textit{Masmano, Miguel; Real, Jorge; Ripoll, Ismael; Crespo, Alfons}, Running Ada on real-time Linux, 322-333 [Zbl 1032.68912] \textit{Burns, A.; González Harbour, M.; Wellings, A. J.}, A round robin scheduling policy for Ada, 334-343 [Zbl 1032.68834] \textit{Miranda, Javier; González Harbour, M.}, A proposal to integrate the POSIX execution-time clocks into Ada 95, 344-358 [Zbl 1032.68919] \textit{Alonso, Alejandro; de la Puente, Juan Antonio; Zamorano, Juan}, A test environment for high integrity software development, 359-367 [Zbl 1032.68815] \textit{Chan, Kwok Ping; Chen, Tsong Yueh; Towey, Dave}, Normalized restricted random testing, 368-381 [Zbl 1032.68840] \textit{Jeppu, Y. V.; Karunakar, K.; Subramanyam, P. S.}, Testing safety critical Ada code using non real time testing, 382-393 [Zbl 1032.68872] \textit{Thom, Francis}, The standard UML-Ada profile, 394-404 [Zbl 1032.68956] \textit{Mazzini, Silvia; D'Alessandro, Massimo; Di Natale, Marco; Domenici, Andrea; Lipari, Giuseppe; Vardanega, Tullio}, HRT-UML: Taking HRT-HOOD onto UML, 405-416 [Zbl 1032.68914] \textit{Ortiz, Francisco; Álvarez, Bárbara; Pastor, Juan Á.; Sánchez, Pedro}, A case study in performance evaluation of real-time teleoperation software architectures using UML-MAST, 417-428 [Zbl 1032.68927]