Formal Methods for Open Object-Based Distributed Systems 6th IFIP WG 6.1 International Conference, FMOODS 2003, Paris, France, November 19.21, 2003, Proceedings /

• Συγγραφή απο Οργανισμό/Αρχή: SpringerLink (Online service)
• Άλλοι συγγραφείς: Najm, Elie (Επιμελητής έκδοσης, http://id.loc.gov/vocabulary/relators/edt), Nestmann, Uwe (Επιμελητής έκδοσης, http://id.loc.gov/vocabulary/relators/edt), Stevens, Perdita (Επιμελητής έκδοσης, http://id.loc.gov/vocabulary/relators/edt)
• Μορφή: Ηλεκτρονική πηγή Ηλ. βιβλίο
• Γλώσσα: English
• Έκδοση: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2003.
• Έκδοση: 1st ed. 2003.
• Σειρά: Lecture Notes in Computer Science, 2884
• Θέματα: Computer programming.; Computer communication systems.; Software engineering.; Programming languages (Electronic computers).; Operating systems (Computers).; Computer logic.; Programming Techniques.; Computer Communication Networks.; Software Engineering.; Programming Languages, Compilers, Interpreters.; Operating Systems.; Logics and Meanings of Programs.

This volume contains the proceedings of FMOODS 2003, the 6th IFIP WG 6. 1 International Conference on Formal Methods for Open Object-Based Distributed Systems. The conference was held in Paris, France on November 19-21, 2003. The event was the sixth meeting of this conference series, which is held r...

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

• Invited Talk
• Java's Integral Types in PVS
• Models
• Towards Object-Oriented Graphs and Grammars
• A Rewriting Based Model for Probabilistic Distributed Object Systems
• Engineering the SDL Formal Language Definition
• Logic and Verification
• A Syntax-Directed Hoare Logic for Object-Oriented Programming Concepts
• Inheritance of Temporal Logic Properties
• Temporal Logic Based Static Analysis for Non-uniform Behaviours
• Calculi
• The Kell Calculus: Operational Semantics and Type System
• A Calculus for Long-Running Transactions
• Formal Analysis of Some Timed Security Properties in Wireless Protocols
• Java and .NET
• Inductive Proof Outlines for Monitors in Java
• Proof Scores in the OTS/CafeOBJ Method
• Managing the Evolution of .NET Programs
• UML
• On Mobility Extensions of UML Statecharts. A Pragmatic Approach
• New Operators for the TURTLE Real-Time UML Profile
• Checking Consistency in UML Diagrams: Classes and State Machines
• Composition and Verification
• Compositional Verification Using CADP of the ScalAgent Deployment Protocol for Software Components
• Verification of Distributed Object-Based Systems
• Design and Verification of Distributed Multi-media Systems.