Coverart for item
The Resource Formal methods for open object-based distributed systems : 6th IFIP WG 6.1 international conference, FMOODS 2003, Paris, France, November 19-21, 2003 : proceedings, Elie Najm, Uwe Nestmann, Perdita Stevens (eds.)

Formal methods for open object-based distributed systems : 6th IFIP WG 6.1 international conference, FMOODS 2003, Paris, France, November 19-21, 2003 : proceedings, Elie Najm, Uwe Nestmann, Perdita Stevens (eds.)

Label
Formal methods for open object-based distributed systems : 6th IFIP WG 6.1 international conference, FMOODS 2003, Paris, France, November 19-21, 2003 : proceedings
Title
Formal methods for open object-based distributed systems
Title remainder
6th IFIP WG 6.1 international conference, FMOODS 2003, Paris, France, November 19-21, 2003 : proceedings
Statement of responsibility
Elie Najm, Uwe Nestmann, Perdita Stevens (eds.)
Creator
Contributor
Subject
Genre
Language
eng
Summary
This book constitutes the refereed proceedings of the 6th IFIP WG 6.1 International Conference on Formal Methods for Open Object-Based Distributed Systems, FMOODS 2003, held in Paris, France in November 2003. The 18 revised full papers presented together with an invited paper were carefully reviewed and selected from 78 submissions. The papers are organized in topical sections on models, logic and verification, calculi, Java and .NET, UML, and composition and verification
Member of
Cataloging source
COO
Dewey number
005.13/1
Index
index present
LC call number
QA76.9.D5
LC item number
I573 2003
Literary form
non fiction
http://bibfra.me/vocab/lite/meetingDate
2003
http://bibfra.me/vocab/lite/meetingName
International Conference on Formal Methods for Open Object-Based Distributed Systems
Nature of contents
  • dictionaries
  • bibliography
http://library.link/vocab/relatedWorkOrContributorName
  • Najm, Elie
  • Nestmann, Uwe
  • Stevens, Perdita
Series statement
Lecture notes in computer science
Series volume
2884
http://library.link/vocab/subjectName
  • Electronic data processing
  • Object-oriented programming (Computer science)
  • Electronic data processing
  • Object-oriented programming (Computer science)
Label
Formal methods for open object-based distributed systems : 6th IFIP WG 6.1 international conference, FMOODS 2003, Paris, France, November 19-21, 2003 : proceedings, Elie Najm, Uwe Nestmann, Perdita Stevens (eds.)
Instantiates
Publication
Bibliography note
Includes bibliographical references and index
Carrier category
online resource
Carrier category code
  • cr
Carrier MARC source
rdacarrier
Content category
text
Content type code
  • txt
Content type MARC source
rdacontent
Contents
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
Control code
619611802
Dimensions
unknown
Extent
1 online resource (x, 292 pages).
Form of item
online
Isbn
9783540399582
Media category
computer
Media MARC source
rdamedia
Media type code
  • c
Specific material designation
remote
System control number
(OCoLC)619611802
Label
Formal methods for open object-based distributed systems : 6th IFIP WG 6.1 international conference, FMOODS 2003, Paris, France, November 19-21, 2003 : proceedings, Elie Najm, Uwe Nestmann, Perdita Stevens (eds.)
Publication
Bibliography note
Includes bibliographical references and index
Carrier category
online resource
Carrier category code
  • cr
Carrier MARC source
rdacarrier
Content category
text
Content type code
  • txt
Content type MARC source
rdacontent
Contents
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
Control code
619611802
Dimensions
unknown
Extent
1 online resource (x, 292 pages).
Form of item
online
Isbn
9783540399582
Media category
computer
Media MARC source
rdamedia
Media type code
  • c
Specific material designation
remote
System control number
(OCoLC)619611802

Library Locations

    • Ellis LibraryBorrow it
      1020 Lowry Street, Columbia, MO, 65201, US
      38.944491 -92.326012
Processing Feedback ...