Description |
1 online resource (x, 321 pages) : illustrations |
Series |
Lecture notes in computer science, 0302-9743 ; 3535 |
|
Lecture notes in computer science ; 3535. 0302-9743
|
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 |
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." |
Notes |
"7th IFIP WG 6.1 International Conference on Formal Methods for Open Object-Based Distributed Systems"--Preface |
Bibliography |
Includes bibliographical references and index |
Notes |
Print version record |
Subject |
Electronic data processing -- Distributed processing -- Congresses
|
|
Object-oriented programming (Computer science) -- Congresses
|
|
Formal methods (Computer science) -- Congresses
|
|
COMPUTERS -- Reference.
|
|
COMPUTERS -- Machine Theory.
|
|
COMPUTERS -- Computer Literacy.
|
|
COMPUTERS -- Information Technology.
|
|
COMPUTERS -- Data Processing.
|
|
COMPUTERS -- Computer Science.
|
|
COMPUTERS -- Hardware -- General.
|
|
Informatique.
|
|
Formal methods (Computer science)
|
|
Electronic data processing -- Distributed processing
|
|
Object-oriented programming (Computer science)
|
|
Informatique répartie.
|
|
Méthode formelle.
|
|
Programmation orientée objet.
|
|
Système orienté objet.
|
|
Traitement des données.
|
Genre/Form |
proceedings (reports)
|
|
Conference papers and proceedings
|
|
Conference papers and proceedings.
|
|
Actes de congrès.
|
Form |
Electronic book
|
Author |
Steffen, Martin.
|
|
Zavattaro, Gianluigi.
|
|
IFIP Working Group 6.1.
|
ISBN |
9783540315568 |
|
354031556X |
|
3540261818 |
|
9783540261810 |
|