Formal Techniques for Distributed Systems Joint 12th IFIP WG 6.1 International Conference, FMOODS 2010 and 30th IFIP WG 6.1 International Conference, FORTE 2010, Amsterdam, The Netherlands, June 7-9, 2010. Proceedings /

• Συγγραφή απο Οργανισμό/Αρχή: SpringerLink (Online service)
• Άλλοι συγγραφείς: Hatcliff, John (Επιμελητής έκδοσης), Zucca, Elena (Επιμελητής έκδοσης)
• Μορφή: Ηλεκτρονική πηγή Ηλ. βιβλίο
• Γλώσσα: English
• Έκδοση: Berlin, Heidelberg : Springer Berlin Heidelberg, 2010.
• Σειρά: Lecture Notes in Computer Science, 6117
• Θέματα: Computer science.; Computer communication systems.; Computer programming.; Software engineering.; Programming languages (Electronic computers).; Computer logic.; Mathematical logic.; Computer Science.; Computer Communication Networks.; Programming Techniques.; Software Engineering.; Programming Languages, Compilers, Interpreters.; Logics and Meanings of Programs.; Mathematical Logic and Formal Languages.

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

• Invited Talk
• Formal Software Verification: How Close Are We?
• Formal UML Modeling
• Exploiting the Hierarchical Structure of Rule-Based Specifications for Decision Planning
• Reactive Semantics for Distributed UML Activities
• Components and Architecture
• Statistical Abstraction and Model-Checking of Large Heterogeneous Systems
• Formal Semantics and Analysis of Behavioral AADL Models in Real-Time Maude
• Testing Probabilistic Distributed Systems
• Specification and Testing of E-Commerce Agents Described by Using UIOLTSs
• Testing Attribute-Based Transactions in SOC
• Joint DisCoTec Session
• Grouping Nodes in Wireless Sensor Networks Using Coalitional Game Theory
• Timed Process Algebra
• Forgetting the Time in Timed Process Algebra
• Theory and Implementation of a Real-Time Extension to the ?-Calculus
• Timed and Hybrid Automata
• Fuzzy-Timed Automata
• Model Checking of Hybrid Systems Using Shallow Synchronization
• Program Logics and Analysis
• Heap-Dependent Expressions in Separation Logic
• Static Type Analysis of Pattern Matching by Abstract Interpretation
• Reasoning about Distributed Systems
• On-the-Fly Trace Generation and Textual Trace Analysis and Their Applications to the Analysis of Cryptographic Protocols
• On Efficient Models for Model Checking Message-Passing Distributed Protocols
• Logics for Contravariant Simulations.