Information Technology: Selected Tutorials

Reis R. (ed.)1402081596

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).

---

Table of contents :
Team DDU……Page 1
Contents……Page 6
Preface……Page 8
Quality of Service in Information Networks……Page 10
Risk-Driven Development Of Security-Critical Systems Using UMLsec……Page 30
Developing Portable Software……Page 64
Formal Reasoning About Systems, Software and Hardware Using Functionals, Predicates and Relations……Page 94
The Problematic of Distributed Systems Supervision – An Example: Genesys……Page 124
Software Rejuvenation – Modeling and Analysis……Page 160
Test and Design-for-Test of Mixed-Signal Integrated Circuits……Page 192
Web Services……Page 222
Applications of Multi-Agent Systems……Page 248
Discrete Event Simulation with Applications to Computer Communication Systems Performance……Page 280
Human-Centered Automation: A Matter of Agent Design and Cognitive Function Allocation……Page 314