Information Technology

This volume reports on several important and state-of-the-art topics in information technology, including: quality of service in information networks; risk-driven development of security-critical systems using umlsec; developing portable software; formal reasoning about systems, software and hardware using functionals, predicates and relations; the problematic of distributed systems supervision; software rejuvenation modeling and analysis; test and design-for-test of mixed-signal integrated circuits; web services; applications of multi-agent systems; discrete event simulation; human-centered automation. "Information Technology: Selected Tutorials" comprises papers presented at the IFIP 18th World Computer Congress, which was held in August 2004 in Toulouse, France and sponsored by the International Federation for Information Processing (IFIP).