Coverart for item
The Resource Formal methods for open object-based distributed systems : 7th IFIP WG 6.1 international conference, FMOODS 2005, Athens, Greece, June 15-17, 2005 : proceedings, Martin Steffen, Gianluigi Zavattaro (eds.)

Formal methods for open object-based distributed systems : 7th IFIP WG 6.1 international conference, FMOODS 2005, Athens, Greece, June 15-17, 2005 : proceedings, Martin Steffen, Gianluigi Zavattaro (eds.)

Label
Formal methods for open object-based distributed systems : 7th IFIP WG 6.1 international conference, FMOODS 2005, Athens, Greece, June 15-17, 2005 : proceedings
Title
Formal methods for open object-based distributed systems
Title remainder
7th IFIP WG 6.1 international conference, FMOODS 2005, Athens, Greece, June 15-17, 2005 : proceedings
Statement of responsibility
Martin Steffen, Gianluigi Zavattaro (eds.)
Title variation
FMOODS 2005
Creator
Contributor
Subject
Genre
Language
eng
Summary
"This volume contains the proceedings of FMOODS 2005, the 7th IFIP WG6.1 International Conference on Formal Methods for Open Object-Based Distributed Systems. The conference was held in Athens, Greece on June 15 -17, 2005."
Member of
Cataloging source
GW5XE
Dewey number
004.36
Illustrations
  • illustrations
  • maps
Index
index present
LC call number
QA76.9.D5
LC item number
I573 2005
Literary form
non fiction
http://bibfra.me/vocab/lite/meetingDate
2005
http://bibfra.me/vocab/lite/meetingName
International Conference on Formal Methods for Open Object-Based Distributed Systems
Nature of contents
  • dictionaries
  • abstracts summaries
  • bibliography
http://library.link/vocab/relatedWorkOrContributorName
  • Steffen, Martin
  • Zavattaro, Gianluigi
  • IFIP Working Group 6.1
Series statement
Lecture notes in computer science,
Series volume
3535
http://library.link/vocab/subjectName
  • Electronic data processing
  • Object-oriented programming (Computer science)
  • Méthodes formelles (Informatique)
  • Traitement réparti
  • Programmation orientée objet (Informatique)
  • COMPUTERS
  • COMPUTERS
  • COMPUTERS
  • COMPUTERS
  • COMPUTERS
  • COMPUTERS
  • COMPUTERS
  • Informatique
  • Electronic data processing
  • Object-oriented programming (Computer science)
  • Informatique répartie
  • Méthode formelle
  • Programmation orientée objet
  • Système orienté objet
  • Traitement des données
Label
Formal methods for open object-based distributed systems : 7th IFIP WG 6.1 international conference, FMOODS 2005, Athens, Greece, June 15-17, 2005 : proceedings, Martin Steffen, Gianluigi Zavattaro (eds.)
Instantiates
Publication
Note
"7th IFIP WG 6.1 International Conference on Formal Methods for Open Object-Based Distributed Systems"--Preface
Bibliography note
Includes bibliographical references and index
Carrier category
online resource
Carrier category code
  • cr
Carrier MARC source
rdacarrier
Color
multicolored
Content category
text
Content type code
  • txt
Content type MARC source
rdacontent
Contents
Pattern matching over a dynamic network of tuple spaces / Rocco De Nicola, Daniele Gorla, and Rosario Pugliese -- A dynamic class construct for asynchronous concurrent objects / Einar Broch Johnsen, Olaf Owe, and Isabelle Simplot-Ryl -- An abstract machine for the Kell calculus / Philippe Bidinger, Alan Schmitt, and Jean-Bernard Stefani -- Xpi : a typed process calculus for XML messaging / Lucia Acciai and Michele Boreale -- Checking the validity of scenarios in UML / ModelsHolger Rasch and Heike Wehrheim -- An extended type system for OCL supporting templates and transformations / Marcel Kyas -- A semantics for UML-RT active classes via mapping into circus / Rodrigo Ramos, Augusto Sampaio, and Alexandre Mota -- Towards an integrated formal analysis for security and trust / Fabio Martinelli -- A formal security analysis of an OSA/Parlay Authentication Interface / Ricardo Corin -- Tracing integration analysis in component-based formal specifications / Martín López-Nores [and others] -- CompAr : ensuring safe around advice composition / Renaud Pawlak, Laurence Duchien, and Lionel Seinturier -- Guaranteeing resource bounds for component software / Hoang Truong -- Specification and verification of encapsulation in Java programs / Andreas Roth -- Detecting errors in multithreaded programs by generalized predictive analysis of executions / Koushik Sen, Grigore Rosu, and Gul Agha -- Transforming information in RDF to rewriting logic / Alberto Verdejo [and others] -- -- Modeling- and analysis techniques for web services and business processes / Wolfgang Reisig -- A distributed implementation of mobile nets as mobile agents Nadia Busi and Luca Padovani -- On correctness of dynamic protocol update / Pawel T. Wojciechowski and Olivier Rütti -- Property-driven development of a coordination model for distributed simulations / Rolf Hennicker and Matthias Ludwig -- A timing analysis of AODV / Sibusisiwe Chiyangwa and Marta Kwiatkowska
Control code
262680905
Dimensions
unknown
Extent
1 online resource (x, 321 pages)
Form of item
online
Isbn
9783540315568
Media category
computer
Media MARC source
rdamedia
Media type code
  • c
Other control number
9783540261810
Other physical details
illustrations.
http://library.link/vocab/ext/overdrive/overdriveId
978-3-540-26181-0
Specific material designation
remote
System control number
(OCoLC)262680905
Label
Formal methods for open object-based distributed systems : 7th IFIP WG 6.1 international conference, FMOODS 2005, Athens, Greece, June 15-17, 2005 : proceedings, Martin Steffen, Gianluigi Zavattaro (eds.)
Publication
Note
"7th IFIP WG 6.1 International Conference on Formal Methods for Open Object-Based Distributed Systems"--Preface
Bibliography note
Includes bibliographical references and index
Carrier category
online resource
Carrier category code
  • cr
Carrier MARC source
rdacarrier
Color
multicolored
Content category
text
Content type code
  • txt
Content type MARC source
rdacontent
Contents
Pattern matching over a dynamic network of tuple spaces / Rocco De Nicola, Daniele Gorla, and Rosario Pugliese -- A dynamic class construct for asynchronous concurrent objects / Einar Broch Johnsen, Olaf Owe, and Isabelle Simplot-Ryl -- An abstract machine for the Kell calculus / Philippe Bidinger, Alan Schmitt, and Jean-Bernard Stefani -- Xpi : a typed process calculus for XML messaging / Lucia Acciai and Michele Boreale -- Checking the validity of scenarios in UML / ModelsHolger Rasch and Heike Wehrheim -- An extended type system for OCL supporting templates and transformations / Marcel Kyas -- A semantics for UML-RT active classes via mapping into circus / Rodrigo Ramos, Augusto Sampaio, and Alexandre Mota -- Towards an integrated formal analysis for security and trust / Fabio Martinelli -- A formal security analysis of an OSA/Parlay Authentication Interface / Ricardo Corin -- Tracing integration analysis in component-based formal specifications / Martín López-Nores [and others] -- CompAr : ensuring safe around advice composition / Renaud Pawlak, Laurence Duchien, and Lionel Seinturier -- Guaranteeing resource bounds for component software / Hoang Truong -- Specification and verification of encapsulation in Java programs / Andreas Roth -- Detecting errors in multithreaded programs by generalized predictive analysis of executions / Koushik Sen, Grigore Rosu, and Gul Agha -- Transforming information in RDF to rewriting logic / Alberto Verdejo [and others] -- -- Modeling- and analysis techniques for web services and business processes / Wolfgang Reisig -- A distributed implementation of mobile nets as mobile agents Nadia Busi and Luca Padovani -- On correctness of dynamic protocol update / Pawel T. Wojciechowski and Olivier Rütti -- Property-driven development of a coordination model for distributed simulations / Rolf Hennicker and Matthias Ludwig -- A timing analysis of AODV / Sibusisiwe Chiyangwa and Marta Kwiatkowska
Control code
262680905
Dimensions
unknown
Extent
1 online resource (x, 321 pages)
Form of item
online
Isbn
9783540315568
Media category
computer
Media MARC source
rdamedia
Media type code
  • c
Other control number
9783540261810
Other physical details
illustrations.
http://library.link/vocab/ext/overdrive/overdriveId
978-3-540-26181-0
Specific material designation
remote
System control number
(OCoLC)262680905

Library Locations

    • Ellis LibraryBorrow it
      1020 Lowry Street, Columbia, MO, 65201, US
      38.944491 -92.326012
    • Engineering Library & Technology CommonsBorrow it
      W2001 Lafferre Hall, Columbia, MO, 65211, US
      38.946102 -92.330125
Processing Feedback ...