Formal methods for open object-based distributed systems 9th IFIP WG 6.1 international conference, FMOODS 2007, Paphos, Cyprus, June 6-8, 2007 : proceedings /

Invited talks -- Asynchronous session types and progress for object oriented languages -- KeY: a formal method for object-oriented systems -- Model checking -- Verifying distributed, event-based middleware applications using domain-specific software model checking -- Model checking of extended OCL...

ver descrição completa

Na minha lista:
Detalhes bibliográficos
Main Authors: International Conference on Formal Methods for Open Object-Based Distributed Systems, Bonsangue, Marcello M., Johnsen, Einar Broch.
Formato: Livro
Idioma:Inglês
Publicado em: Springer, c200
Colecção:Lecture notes in computer science
Assuntos:
Processamento eletrônico de dados Processamento distribuído Congressos.
Programação orientada a objetos (Computação) Congressos.
Acesso em linha:https://minerva.ufrj.br/F/?func=direct&doc_number=000898204&local_base=UFR01
Tags: Adicionar Tag
Sem tags, seja o primeiro a adicionar uma tag!

Registos relacionados