Artículos relacionados a Distributed Abstract State Machine for Grid Services:...

Distributed Abstract State Machine for Grid Services: A formal method for studying complex systems - Tapa blanda

 
9783330781771: Distributed Abstract State Machine for Grid Services: A formal method for studying complex systems

Sinopsis

This book presents and studies a modern formal method for the description and the analysis of the requirements and for the design and the verification of highly dynamic and complex modern information systems. In fact, the study of modern information systems needs new models, methodologies and tools for professional and scientific research in the field of software engineering. The book analyses the development of Distributed Abstract State Machines for Grid Services using CoreASM. Grid technology makes available a lot of computational power for solving many application problems. ASM methodology is used for the analysis and the verification of a set of middleware services and can help to better understand Grid behaviour and to improve the efficiency and the reduction of development costs. The book starts from the informal description of the Job Execution Management Services in Grid systems and the specification of requirements. Then, it highlights the design of the software agents and the ASM rules and states. The model is implemented using CoreASM and dynamically validated. Finally, some properties and interoperability concepts are analysed.

"Sinopsis" puede pertenecer a otra edición de este libro.

Acerca del autor

Luciano Manelli was born in 1975 in Taranto (Italy). He graduated in Electronic Engineering at the Polytechnic of Bari at 24 years of age and then he received a PhD in Computer Science from the Department of Informatics, University of Bari Aldo Moro in 2012. He is a contract Professor at University and author of several IT technical books.

"Sobre este título" puede pertenecer a otra edición de este libro.

  • EditorialEdizioni Accademiche Italiane
  • Año de publicación2017
  • ISBN 10 3330781777
  • ISBN 13 9783330781771
  • EncuadernaciónTapa blanda
  • IdiomaInglés
  • Número de páginas116
  • Contacto del fabricanteno disponible

Comprar nuevo

Ver este artículo

EUR 11,00 gastos de envío desde Alemania a España

Destinos, gastos y plazos de envío

Resultados de la búsqueda para Distributed Abstract State Machine for Grid Services:...

Imagen del vendedor

Luciano Manelli
ISBN 10: 3330781777 ISBN 13: 9783330781771
Nuevo Taschenbuch
Impresión bajo demanda

Librería: BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, Alemania

Calificación del vendedor: 5 de 5 estrellas Valoración 5 estrellas, Más información sobre las valoraciones de los vendedores

Taschenbuch. Condición: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -This book presents and studies a modern formal method for the description and the analysis of the requirements and for the design and the verification of highly dynamic and complex modern information systems. In fact, the study of modern information systems needs new models, methodologies and tools for professional and scientific research in the field of software engineering. The book analyses the development of Distributed Abstract State Machines for Grid Services using CoreASM. Grid technology makes available a lot of computational power for solving many application problems. ASM methodology is used for the analysis and the verification of a set of middleware services and can help to better understand Grid behaviour and to improve the efficiency and the reduction of development costs. The book starts from the informal description of the Job Execution Management Services in Grid systems and the specification of requirements. Then, it highlights the design of the software agents and the ASM rules and states. The model is implemented using CoreASM and dynamically validated. Finally, some properties and interoperability concepts are analysed. 116 pp. Englisch. Nº de ref. del artículo: 9783330781771

Contactar al vendedor

Comprar nuevo

EUR 32,90
Convertir moneda
Gastos de envío: EUR 11,00
De Alemania a España
Destinos, gastos y plazos de envío

Cantidad disponible: 2 disponibles

Añadir al carrito

Imagen del vendedor

Luciano Manelli
Publicado por Edizioni Accademiche Italiane, 2017
ISBN 10: 3330781777 ISBN 13: 9783330781771
Nuevo Taschenbuch
Impresión bajo demanda

Librería: AHA-BUCH GmbH, Einbeck, Alemania

Calificación del vendedor: 5 de 5 estrellas Valoración 5 estrellas, Más información sobre las valoraciones de los vendedores

Taschenbuch. Condición: Neu. nach der Bestellung gedruckt Neuware - Printed after ordering - This book presents and studies a modern formal method for the description and the analysis of the requirements and for the design and the verification of highly dynamic and complex modern information systems. In fact, the study of modern information systems needs new models, methodologies and tools for professional and scientific research in the field of software engineering. The book analyses the development of Distributed Abstract State Machines for Grid Services using CoreASM. Grid technology makes available a lot of computational power for solving many application problems. ASM methodology is used for the analysis and the verification of a set of middleware services and can help to better understand Grid behaviour and to improve the efficiency and the reduction of development costs. The book starts from the informal description of the Job Execution Management Services in Grid systems and the specification of requirements. Then, it highlights the design of the software agents and the ASM rules and states. The model is implemented using CoreASM and dynamically validated. Finally, some properties and interoperability concepts are analysed. Nº de ref. del artículo: 9783330781771

Contactar al vendedor

Comprar nuevo

EUR 32,90
Convertir moneda
Gastos de envío: EUR 11,99
De Alemania a España
Destinos, gastos y plazos de envío

Cantidad disponible: 1 disponibles

Añadir al carrito

Imagen del vendedor

Luciano Manelli
Publicado por Edizioni Accademiche Italiane, 2017
ISBN 10: 3330781777 ISBN 13: 9783330781771
Nuevo Tapa blanda
Impresión bajo demanda

Librería: moluna, Greven, Alemania

Calificación del vendedor: 5 de 5 estrellas Valoración 5 estrellas, Más información sobre las valoraciones de los vendedores

Condición: New. Dieser Artikel ist ein Print on Demand Artikel und wird nach Ihrer Bestellung fuer Sie gedruckt. Autor/Autorin: Manelli LucianoLuciano Manelli was born in 1975 in Taranto (Italy). He graduated in Electronic Engineering at the Polytechnic of Bari at 24 years of age and then he received a PhD in Computer Science from the Department of Informatic. Nº de ref. del artículo: 151242564

Contactar al vendedor

Comprar nuevo

EUR 29,02
Convertir moneda
Gastos de envío: EUR 19,49
De Alemania a España
Destinos, gastos y plazos de envío

Cantidad disponible: Más de 20 disponibles

Añadir al carrito

Imagen del vendedor

Luciano Manelli
ISBN 10: 3330781777 ISBN 13: 9783330781771
Nuevo Taschenbuch

Librería: buchversandmimpf2000, Emtmannsberg, BAYE, Alemania

Calificación del vendedor: 5 de 5 estrellas Valoración 5 estrellas, Más información sobre las valoraciones de los vendedores

Taschenbuch. Condición: Neu. Neuware -This book presents and studies a modern formal method for the description and the analysis of the requirements and for the design and the verification of highly dynamic and complex modern information systems. In fact, the study of modern information systems needs new models, methodologies and tools for professional and scientific research in the field of software engineering. The book analyses the development of Distributed Abstract State Machines for Grid Services using CoreASM. Grid technology makes available a lot of computational power for solving many application problems. ASM methodology is used for the analysis and the verification of a set of middleware services and can help to better understand Grid behaviour and to improve the efficiency and the reduction of development costs. The book starts from the informal description of the Job Execution Management Services in Grid systems and the specification of requirements. Then, it highlights the design of the software agents and the ASM rules and states. The model is implemented using CoreASM and dynamically validated. Finally, some properties and interoperability concepts are analysed.VDM Verlag, Dudweiler Landstraße 99, 66123 Saarbrücken 116 pp. Englisch. Nº de ref. del artículo: 9783330781771

Contactar al vendedor

Comprar nuevo

EUR 32,90
Convertir moneda
Gastos de envío: EUR 35,00
De Alemania a España
Destinos, gastos y plazos de envío

Cantidad disponible: 2 disponibles

Añadir al carrito

Imagen de archivo

Luciano Manelli
Publicado por Edizioni Accademiche Italiane, 2017
ISBN 10: 3330781777 ISBN 13: 9783330781771
Nuevo Paperback

Librería: Revaluation Books, Exeter, Reino Unido

Calificación del vendedor: 5 de 5 estrellas Valoración 5 estrellas, Más información sobre las valoraciones de los vendedores

Paperback. Condición: Brand New. 116 pages. 8.66x5.91x0.27 inches. In Stock. Nº de ref. del artículo: 3330781777

Contactar al vendedor

Comprar nuevo

EUR 57,51
Convertir moneda
Gastos de envío: EUR 11,81
De Reino Unido a España
Destinos, gastos y plazos de envío

Cantidad disponible: 1 disponibles

Añadir al carrito