Articoli correlati a Distributed Abstract State Machine for Grid Services:...
Distributed Abstract State Machine for Grid Services: A formal method for studying complex systems - Brossura
Sinossi
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.
Le informazioni nella sezione "Riassunto" possono far riferimento a edizioni diverse di questo titolo.
Informazioni sull?autore
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.
Le informazioni nella sezione "Su questo libro" possono far riferimento a edizioni diverse di questo titolo.
- EditoreEdizioni Accademiche Italiane
- Data di pubblicazione2017
- ISBN 10 3330781777
- ISBN 13 9783330781771
- RilegaturaCopertina flessibile
- LinguaInglese
- Numero di pagine116
- Contatto del produttorenon disponibile
Compra nuovo
Visualizza questo articolo
EUR 29,02
EUR 9,70 per la spedizione da Germania a Italia
Destinazione, tempi e costiRisultati della ricerca per Distributed Abstract State Machine for Grid Services:...
Immagini fornite dal venditore
Distributed Abstract State Machine for Grid Services
Editore:
Edizioni Accademiche Italiane, 2017
ISBN 10: 3330781777
ISBN 13: 9783330781771
Nuovo
Brossura
Da: moluna, Greven, Germania
Valutazione del venditore 5 su 5 stelle
Condizione: 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. Codice articolo 151242564
Quantità: Più di 20 disponibili
Immagini fornite dal venditore
Distributed Abstract State Machine for Grid Services
Editore:
Edizioni Accademiche Italiane Mrz 2017, 2017
ISBN 10: 3330781777
ISBN 13: 9783330781771
Nuovo
Taschenbuch
Da: BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, Germania
Valutazione del venditore 5 su 5 stelle
Taschenbuch. Condizione: 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. Codice articolo 9783330781771
Quantità: 2 disponibili
Immagini fornite dal venditore
Distributed Abstract State Machine for Grid Services : A formal method for studying complex systems
Editore:
Edizioni Accademiche Italiane, 2017
ISBN 10: 3330781777
ISBN 13: 9783330781771
Nuovo
Taschenbuch
Da: AHA-BUCH GmbH, Einbeck, Germania
Valutazione del venditore 5 su 5 stelle
Taschenbuch. Condizione: 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. Codice articolo 9783330781771
Quantità: 1 disponibili
Immagini fornite dal venditore
Distributed Abstract State Machine for Grid Services
Editore:
Edizioni Accademiche Italiane Mär 2017, 2017
ISBN 10: 3330781777
ISBN 13: 9783330781771
Nuovo
Taschenbuch
Da: buchversandmimpf2000, Emtmannsberg, BAYE, Germania
Valutazione del venditore 5 su 5 stelle
Taschenbuch. Condizione: 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. Codice articolo 9783330781771
Quantità: 2 disponibili
Foto dell'editore
Distributed Abstract State Machine for Grid Services: A formal method for studying complex systems
Editore:
Edizioni Accademiche Italiane, 2017
ISBN 10: 3330781777
ISBN 13: 9783330781771
Nuovo
Paperback
Da: Revaluation Books, Exeter, Regno Unito
Valutazione del venditore 5 su 5 stelle
Paperback. Condizione: Brand New. 116 pages. 8.66x5.91x0.27 inches. In Stock. Codice articolo 3330781777
Quantità: 1 disponibili