Formal methods for open object-based distributed systems 8th IFIP WG 6.1 International Conference, FMOODS 2006, Bologna, Italy, June 14-16, 2006: proceedings /

Invited speakers -- Security issues in service composition -- Separating distribution from coordination and computation as architectural dimensions -- The bisimulation proof method: enhancements and open problems -- Regular papers -- An approach to quality achievement at the architectural level: AQ...

Descripción completa

Guardado en:
Detalles Bibliográficos
Autores principales: International Conference on Formal Methods for Open Object-Based Distributed Systems, Gorrieri, Roberto., Wehrheim, Heike.
Formato: Livro
Lenguaje:Inglês
Publicado: Springer, 2006.
Colección:Lecture notes in computer science ;
Materias:
Processamento eletrônico de dados Congressos.
Programação orientada a objetos (ciência da computação) Congressos.
Acceso en línea:https://minerva.ufrj.br/F/?func=direct&doc_number=000907490&local_base=UFR01
Etiquetas: Agregar Etiqueta
Sin Etiquetas, Sea el primero en etiquetar este registro!

Ejemplares similares