Formal Techniques for Networked and Distributed Systems - FORTE 2003 23rd IFIP WG 6.1 International Conference, Berlin, Germany, September 29 -- October 2, 2003 /

• Συγγραφή απο Οργανισμό/Αρχή: SpringerLink (Online service)
• Άλλοι συγγραφείς: König, Hartmut (Επιμελητής έκδοσης, http://id.loc.gov/vocabulary/relators/edt), Heiner, Monika (Επιμελητής έκδοσης, http://id.loc.gov/vocabulary/relators/edt), Wolisz, Adam (Επιμελητής έκδοσης, http://id.loc.gov/vocabulary/relators/edt)
• Μορφή: Ηλεκτρονική πηγή Ηλ. βιβλίο
• Γλώσσα: English
• Έκδοση: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2003.
• Έκδοση: 1st ed. 2003.
• Σειρά: Lecture Notes in Computer Science, 2767
• Θέματα: Computer communication systems.; Software engineering.; Operating systems (Computers).; Computer logic.; Computer Communication Networks.; Software Engineering.; Operating Systems.; Logics and Meanings of Programs.

This volume contains the proceedings of FORTE 2003, the 23rd IFIP TC 6/ WG 6.1 International Conference on Formal Techniques for Networked and D- tributed Systems, held in Berlin, Germany, September 29-October 2, 2003. FORTE denotes a series of international working conferences on formal descr- tion...

Πίνακας περιεχομένων:

• UNIX STREAMS Generation from a Formal Specification
• Specifying and Realising Interactive Voice Services
• Vertical Reuse in the Development of Distributed Systems with FDTs
• Service-Oriented Systems Engineering: Modeling Services and Layered Architectures
• Validation of the Sessionless Mode of the HTTPR Protocol
• Generation of All Counter-Examples for Push-Down Systems
• Modeling and Model Checking Mobile Phone Payment Systems
• Behavioural Contracts for a Sound Assembly of Components
• Automatic Verification of Annotated Code
• Combating Infinite State Using Ergo
• Numerical Coverage Estimation for the Symbolic Simulation of Real-Time Systems
• Discrete Timed Automata and MONA: Description, Specification and Verification of a Multimedia Stream
• Can Decision Diagrams Overcome State Space Explosion in Real-Time Verification?
• How Stop and Wait Protocols Can Fail over the Internet
• Introducing Commutative and Associative Operators in Cryptographic Protocol Analysis
• A Lightweight Formal Analysis of a Multicast Key Management Scheme
• Formal Security Policy Verification of Distributed Component-Structured Software
• Towards Testing SDL Specifications: Models and Fault Coverage for Concurrent Timers
• Concerning the Ordering of Adaptive Test Sequences
• Correct Passive Testing Algorithms and Complete Fault Coverage
• QoS Functional Testing for Multi-media Systems
• Towards Testing Stochastic Timed Systems
• Formal Design of Interactive Multimedia Documents
• Progressive Solutions to a Parallel Automata Equation
• Type Abstraction in Formal Protocol Specifications with Container Types
• Decomposing Service Definition in Predicate/Transition-Nets for Designing Distributed Systems
• Towards an Efficient Performance Evaluation of Communication Systems Described by Message Sequence Charts.