Formal Methods for Open Object-Based Distributed Systems

10th IFIP WG 6.1 International Conference, FMOODS 2008, Oslo, Norway, June 4-6, 2008 Proceedings

AvGilles Barthe

Häftad, Engelska, 2008

Del i serien Lecture Notes in Computer Science

571 kr

Beställningsvara. Skickas inom 10-15 vardagar. Fri frakt över 249 kr.

Fler format och utgåvor

2 862 kr

2 862 kr

2 948 kr

2 262 kr

2 262 kr

2 262 kr

571 kr

571 kr

571 kr

Beskrivning

This book constitutes the refereed proceedings of the 10th IFIP WG 6.1 International Conference on Formal Methods for Open Object-Based Distributed Systems, FMOODS 2008, held in Oslo, Norway, in June 2008. The 14 revised full papers presented together with 1 invited lecture were carefully reviewed and selected from 35 submissions. The papers cover topcics such as semantics of object-oriented programming; formal techniques for specification, analysis, and refinement; model checking; theorem proving and deductive verification; type systems and behavioral typing; formal methods for service-oriented computing; integration of quality of service requirements into formal models; formal approaches to component-based design; and applications of formal methods.

Produktinformation

Utgivningsdatum:2008-05-29
Mått:155 x 235 x 16 mm
Vikt:423 g
Format:Häftad
Språk:Engelska
Serie:Lecture Notes in Computer Science
Antal sidor:259
Upplaga:2008
Förlag:Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
ISBN:9783540688624

Utforska kategorier

Innehållsförteckning

Formal Methods for Open Object-Based Distributed Systems.- Guiding Distributed Systems Synthesis with Language-Based Security Policies.- Termination Analysis of Java Bytecode.- Sessions and Pipelines for Structured Service Programming.- Modular Preservation of Safety Properties by Cookie-Based DoS-Protection Wrappers.- Behavioural Theory at Work: Program Transformations in a Service-Centred Calculus.- Mechanizing a Correctness Proof for a Lock-Free Concurrent Stack.- Symbolic Step Encodings for Object Based Communicating State Machines.- Modeling and Model Checking Software Product Lines.- Semantic Foundations and Inference of Non-null Annotations.- Redesign of the LMST Wireless Sensor Protocol through Formal Modeling and Statistical Model Checking.- A Minimal Set of Refactoring Rules for Object-Z.- Formal Modeling of a Generic Middleware to Ensure Invariant Properties.- CoBoxes: Unifying Active Objects and Structured Heaps.- VeriCool: An Automatic Verifier for a Concurrent Object-Oriented Language.- A Caller-Side Inline Reference Monitor for an Object-Oriented Intermediate Language.

Mer från samma författare

Foundations of Probabilistic Programming

Gilles Barthe, Joost-Pieter Katoen, Alexandra Silva

Inbunden, 2020

859 kr

Foundations of Probabilistic Programming

Alexandra Silva, Joost-Pieter Katoen, Gilles Barthe

E-bok

2020

1 002 kr

Del 9871

Security and Trust Management

Gilles Barthe, Evangelos Markatos, Pierangela Samarati

Häftad, 2016

571 kr

Security and Trust Management

Pierangela Samarati, Evangelos Markatos, Gilles Barthe

E-bok

2016

739 kr

Construction and Analysis of Safe, Secure, and Interoperable Smart Devices

Gilles Barthe, Lilian Burdy, Marieke Huisman, Jean-Louis Lanet, Traian Muntean

Häftad, 2005

571 kr

Construction and Analysis of Safe, Secure, and Interoperable Smart Devices

Traian Muntean, Jean-Louis Lanet, Marieke Huisman, Lilian Burdy, Gilles Barthe

E-bok

2005

739 kr

Construction and Analysis of Safe, Secure, and Interoperable Smart Devices

Gilles Barthe, Benjamin Gregoire, Marieke Huisman, Jean-Luis Lanet

Häftad, 2006

571 kr

Construction and Analysis of Safe, Secure, and Interoperable Smart Devices

Jean-Luis Lanet, Marieke Huisman, Benjamin Gregoire, Gilles Barthe

E-bok

2006

739 kr

Applied Semantics

Gilles Barthe, Peter Dybjer, Luis Pinto, João Saraiva

Häftad, 2002

571 kr

Applied Semantics

Joao Saraiva, Luis Pinto, Peter Dybjer, Gilles Barthe

E-bok

2003

739 kr

Mer från samma serie

Multiobjective Optimization

Jürgen Branke, Kalyanmoy Deb, Kaisa Miettinen, Roman Slowiński

Häftad, 2008

554 kr

Hideaki Takeda, Yannis Tzitzikas, Giorgos Flouris, Shizhu He, Dimitris Plexousakis, Sébastien Ferré, Ran Yu, Vasilis Efthymiou, Eleni Ilkou, Ernesto Jiménez-Ruiz, Xin Wang - Knowledge Graphs, Häftad

Del 16297

Knowledge Graphs

Hideaki Takeda, Yannis Tzitzikas, Giorgos Flouris, Shizhu He, Dimitris Plexousakis, Sébastien Ferré, Ran Yu, Vasilis Efthymiou, Eleni Ilkou, Ernesto Jiménez-Ruiz, Xin Wang

Häftad, 2026

932 kr

Agent Mediated Electronic Commerce II

Alexandros Moukas, Carles Sierra, Fredrik Ygge

Häftad, 2000

571 kr

Extended Reality

Lucio Tommaso De Paolis, Pasquale Arpaia, Marco Sacco

Häftad, 2026

1 164 kr

Reliable Software Technologies - Ada-Europe '98

Lars Asplund

Häftad, 1998

571 kr

Lieven Eeckhout, Chao Li, Zhibin Yu, Avi Mendelson - Advanced Parallel Processing Technologies, Häftad

Nyhet

Del 16693

Advanced Parallel Processing Technologies

Lieven Eeckhout, Chao Li, Zhibin Yu, Avi Mendelson

Häftad, 2026

1 022 kr

Del 16832

Progress in Cryptology - AFRICACRYPT 2026

Nadia El Mrabet, Loubna Ghammam, Francisco Rodríguez-Henríquez

Häftad, 2026

932 kr

David Duenas-Cid, Gregor Eibl, Lieselot Danneels, Michael Koddebusch, Edimara Mezzomo Luciano, Gianluca Carlo Misuraca, Gerhard Schwabe, Teta Stamati, Leif Sundberg, Peter Parycek - Electronic Participation, Häftad

Nyhet

Electronic Participation

David Duenas-Cid, Gregor Eibl, Lieselot Danneels, Michael Koddebusch, Edimara Mezzomo Luciano, Gianluca Carlo Misuraca, Gerhard Schwabe, Teta Stamati, Leif Sundberg, Peter Parycek

Häftad, 2026

730 kr

Del 12051

Sustainable Digital Communities

Anneli Sundqvist, Gerd Berget, Jan Nolin, Kjell Ivar Skjerdingstad

Häftad, 2020

1 071 kr

Types for Proofs and Programs

Thierry Coquand, Peter Dybjer, Bengt Nordström, Jan Smith

Häftad, 2000

571 kr

Du kanske också är intresserad av

10% rabatt på allt

Adventskalender Ravensburger pussel 2026

Ravensburger

319 kr