Manuel Mazzara – författare
Visar alla böcker från författaren Manuel Mazzara. Handla med fri frakt och snabb leverans.
24 produkter
24 produkter
Inbunden, Engelska, 2017
2 557 kr
Skickas inom 5-8 vardagar
3 015 kr
Läs direkt efter köp
Del 11176 - Lecture Notes in Computer Science
Software Technologies: Applications and Foundations
STAF 2018 Collocated Workshops, Toulouse, France, June 25-29, 2018, Revised Selected Papers
Häftad, Engelska, 2018
559 kr
Skickas inom 10-15 vardagar
This book contains the thoroughly refereed technical papers presented in eight workshops collocated with the International Conference on Software Technologies: Applications and Foundations, STAF 2018, held in Toulouse, France, in June 2018. The 65 full papers presented were carefully reviewed and selected from 120 submissions.The events whose papers are included in this volume are:CoSim-CPS 2018: 2nd International Workshop on Formal Co-Simulation of Cyber-Physical SystemsDataMod 2018: 7th International Symposium From Data to Models and BackFMIS 2018: 7th International Workshop on Formal Methods for Interactive SystemsFOCLASA 2018: 16th International Workshop on Foundations of Coordination Languages and Self-adaptative SystemsGCM 2018: 9th International Workshop on Graph Computation ModelsMDE@DeRun 2018: 1st International Workshop on Model-Driven Engineering for Design-RuntimeInteraction in Complex SystemsMSE 2018: 3rd International Workshop on Microservices: Science and EngineeringSecureMDE 2018: 1st International Workshop on Security for and by Model-Driven Engineering
E-bok
Engelska, 2018734 kr
Läs direkt efter köp
This book contains the thoroughly refereed technical papers presented in eight workshops collocated with the International Conference on Software Technologies: Applications and Foundations, STAF 2018, held in Toulouse, France, in June 2018.
The 65 full papers presented were carefully reviewed and selected from 120 submissions.The events whose papers are included in this volume are:
CoSim-CPS 2018: 2nd International Workshop on Formal Co-Simulation of Cyber-Physical SystemsDataMod 2018: 7th International Symposium From Data to Models and BackFMIS 2018: 7th International Workshop on Formal Methods for Interactive SystemsFOCLASA 2018: 16th International Workshop on Foundations of Coordination Languages and Self-adaptative SystemsGCM 2018: 9th International Workshop on Graph Computation ModelsMDE@DeRun 2018: 1st International Workshop on Model-Driven Engineering for Design-RuntimeInteraction in Complex SystemsMSE 2018: 3rd International Workshop on Microservices: Science and EngineeringSecureMDE 2018: 1st International Workshop on Security for and by Model-Driven Engineering
Del 11350 - Lecture Notes in Computer Science
Software Engineering Aspects of Continuous Development and New Paradigms of Software Production and Deployment
First International Workshop, DEVOPS 2018, Chateau de Villebrumier, France, March 5-6, 2018, Revised Selected Papers
Häftad, Engelska, 2019
543 kr
Skickas inom 10-15 vardagar
This book constitutes revised selected papers from the First International Workshop on Software Engineering Aspects of Continuous Development and New Paradigms of Software Production and Deployment, DEVOPS 2018, hled at the hateau de Villebrumier, France, in March 2018. The 17 papers presented in this volume were carefully reviewed and selected from 23 submissions. They cover a wide range of problems arising from Devops and related approaches, current tools, rapid development-deployment processes, effects on team performance, analytics, trustworthiness, microservices and related topics.
734 kr
Läs direkt efter köp
This book constitutes revised selected papers from the First International Workshop on Software Engineering Aspects of Continuous Development and New Paradigms of Software Production and Deployment, DEVOPS 2018, hled at the hateau de Villebrumier, France, in March 2018. The 17 papers presented in this volume were carefully reviewed and selected from 23 submissions. They cover a wide range of problems arising from Devops and related approaches, current tools, rapid development-deployment processes, effects on team performance, analytics, trustworthiness, microservices and related topics.
Del 925 - Advances in Intelligent Systems and Computing
Proceedings of 6th International Conference in Software Engineering for Defence Applications
SEDA 2018
Häftad, Engelska, 2019
1 616 kr
Skickas inom 10-15 vardagar
This book presents high-quality original contributions on new software engineering models, approaches, methods, and tools and their evaluation in the context of defence and security applications. In addition, important business and economic aspects are discussed, with a particular focus on cost/benefit analysis, new business models, organizational evolution, and business intelligence systems. The contents are based on presentations delivered at SEDA 2018, the 6th International Conference in Software Engineering for Defence Applications, which was held in Rome, Italy, in June 2018. This conference series represents a targeted response to the growing need for research that reports and debates the practical implications of software engineering within the defence environment and also for software performance evaluation in real settings through controlled experiments as well as case and field studies. The book will appeal to all with an interest in modeling, managing, and implementingdefence-related software development products and processes in a structured and supportable way.
E-bok
Engelska, 20192 049 kr
Läs direkt efter köp
This book presents high-quality original contributions on new software engineering models, approaches, methods, and tools and their evaluation in the context of defence and security applications. In addition, important business and economic aspects are discussed, with a particular focus on cost/benefit analysis, new business models, organizational evolution, and business intelligence systems. The contents are based on presentations delivered at SEDA 2018, the 6th International Conference in Software Engineering for Defence Applications, which was held in Rome, Italy, in June 2018. This conference series represents a targeted response to the growing need for research that reports and debates the practical implications of software engineering within the defence environment and also for software performance evaluation in real settings through controlled experiments as well as case and field studies. The book will appeal to all with an interest in modeling, managing, and implementingdefence-related software development products and processes in a structured and supportable way.
Del 11771 - Lecture Notes in Computer Science
Software Technology: Methods and Tools
51st International Conference, TOOLS 2019, Innopolis, Russia, October 15–17, 2019, Proceedings
Häftad, Engelska, 2019
559 kr
Skickas inom 10-15 vardagar
This book constitutes the refereed proceedings of the 51st International Conference on Software Technology: Methods and Tools, TOOLS 2019, held in Innopolis, Russia, in October 2019.The 19 revised full papers and 13 short papers presented in this book were carefully reviewed and selected from 62 submissions. The papers discuss all aspects of software engineering and programming languages; machine learning; internet of things; security computer architectures and robotics; and projects.
E-bok
Engelska, 2019708 kr
Läs direkt efter köp
This book constitutes the refereed proceedings of the 51st International Conference on Software Technology: Methods and Tools, TOOLS 2019, held in Innopolis, Russia, in October 2019.The 19 revised full papers and 13 short papers presented in this book were carefully reviewed and selected from 62 submissions. The papers discuss all aspects of software engineering and programming languages; machine learning; internet of things; security computer architectures and robotics; and projects.
Inbunden, Engelska, 2020
1 664 kr
Skickas inom 10-15 vardagar
This book describes in contributions by scientists and practitioners the development of scientific concepts, technologies, engineering techniques and tools for a service-based society. The focus is on microservices, i.e cohesive, independent processes deployed in isolation and equipped with dedicated memory persistence tools, which interact via messages.The book is structured in six parts. Part 1 “Opening” analyzes the new (and old) challenges including service design and specification, data integrity, and consistency management and provides the introductory information needed to successfully digest the remaining parts. Part 2 “Migration” discusses the issue of migration from monoliths to microservices and their loosely coupled architecture. Part 3 “Modeling” introduces a catalog and a taxonomy of the most common microservices anti-patterns and identifies common problems. It also explains the concept of RESTful conversations and presents insights from studying and developing two further modeling approaches. Next , Part 4 is dedicated to various aspects of “Development and Deployment”. Part 5 then covers “Applications” of microservices, presenting case studies from Industry 4.0, Netflix, and customized SaaS examples. Eventually, Part 6 focuses on “Education” and reports on experiences made in special programs, both at academic level as a master program course and for practitioners in an industrial training.As only a joint effort between academia and industry can lead to the release of modern paradigm-based programming languages, and subsequently to the deployment of robust and scalable software systems, the book mainly targets researchers in academia and industry who develop tools and applications for microservices.
E-bok
PDF, Engelska, 20192 068 kr
Läs direkt efter köp
This book describes in contributions by scientists and practitioners the development of scientific concepts, technologies, engineering techniques and tools for a service-based society. The focus is on microservices, i.e cohesive, independent processes deployed in isolation and equipped with dedicated memory persistence tools, which interact via messages.The book is structured in six parts. Part 1 “Opening” analyzes the new (and old) challenges including service design and specification, data integrity, and consistency management and provides the introductory information needed to successfully digest the remaining parts. Part 2 “Migration” discusses the issue of migration from monoliths to microservices and their loosely coupled architecture. Part 3 “Modeling” introduces a catalog and a taxonomy of the most common microservices anti-patterns and identifies common problems. It also explains the concept of RESTful conversations and presents insights from studying and developing two further modeling approaches. Next , Part 4 is dedicated to various aspects of “Development and Deployment”. Part 5 then covers “Applications” of microservices, presenting case studies from Industry 4.0, Netflix, and customized SaaS examples. Eventually, Part 6 focuses on “Education” and reports on experiences made in special programs, both at academic level as a master program course and for practitioners in an industrial training.As only a joint effort between academia and industry can lead to the release of modern paradigm-based programming languages, and subsequently to the deployment of robust and scalable software systems, the book mainly targets researchers in academia and industry who develop tools and applications for microservices.
Häftad, Engelska, 2021
1 664 kr
Skickas inom 10-15 vardagar
This book describes in contributions by scientists and practitioners the development of scientific concepts, technologies, engineering techniques and tools for a service-based society. The focus is on microservices, i.e cohesive, independent processes deployed in isolation and equipped with dedicated memory persistence tools, which interact via messages.The book is structured in six parts. Part 1 “Opening” analyzes the new (and old) challenges including service design and specification, data integrity, and consistency management and provides the introductory information needed to successfully digest the remaining parts. Part 2 “Migration” discusses the issue of migration from monoliths to microservices and their loosely coupled architecture. Part 3 “Modeling” introduces a catalog and a taxonomy of the most common microservices anti-patterns and identifies common problems. It also explains the concept of RESTful conversations and presents insights from studying and developing two further modeling approaches. Next , Part 4 is dedicated to various aspects of “Development and Deployment”. Part 5 then covers “Applications” of microservices, presenting case studies from Industry 4.0, Netflix, and customized SaaS examples. Eventually, Part 6 focuses on “Education” and reports on experiences made in special programs, both at academic level as a master program course and for practitioners in an industrial training.As only a joint effort between academia and industry can lead to the release of modern paradigm-based programming languages, and subsequently to the deployment of robust and scalable software systems, the book mainly targets researchers in academia and industry who develop tools and applications for microservices.
Del 12055 - Lecture Notes in Computer Science
Software Engineering Aspects of Continuous Development and New Paradigms of Software Production and Deployment
Second International Workshop, DEVOPS 2019, Château de Villebrumier, France, May 6–8, 2019, Revised Selected Papers
Häftad, Engelska, 2020
559 kr
Skickas inom 10-15 vardagar
This book constitutes revised selected papers of the Second International Workshop on Software Engineering Aspects of Continuous Development and New Paradigms of Software Production and Deployment, DEVOPS 2019, held at the Château de Villebrumier, France, in May 2019.The 15 papers presented in this volume were carefully reviewed and selected from 19 submissions. They cover a wide range of problems arising from DevOps and related approaches: current tools, rapid development-deployment processes, modeling frameworks, anomaly detection in software releases, DevDataOps, microservices, and related topics.
734 kr
Läs direkt efter köp
This book constitutes revised selected papers of the Second International Workshop on Software Engineering Aspects of Continuous Development and New Paradigms of Software Production and Deployment, DEVOPS 2019, held at the Château de Villebrumier, France, in May 2019.
The 15 papers presented in this volume were carefully reviewed and selected from 19 submissions. They cover a wide range of problems arising from DevOps and related approaches: current tools, rapid development-deployment processes, modeling frameworks, anomaly detection in software releases, DevDataOps, microservices, and related topics.
Del 12271 - Lecture Notes in Computer Science
Frontiers in Software Engineering Education
First International Workshop, FISEE 2019, Villebrumier, France, November 11–13, 2019, Invited Papers
Häftad, Engelska, 2020
528 kr
Skickas inom 10-15 vardagar
This book constitutes invited papers from the First International Workshop on Frontiers in Software Engineering Education, FISEE 2019, which took place during November 11-13, 2019, at the Château de Villebrumier, France. The 25 papers included in this volume were considerably enhanced after the conference and during two different peer-review phases. The contributions cover a wide range of problems in teaching software engineering and are organized in the following sections: Course experience; lessons learnt; curriculum and course design; competitions and workshops; empirical studies, tools and automation; globalization of education; and learning by doing. The final part "TOOLS Workshop: Artificial and Natural Tools (ANT)" contains submissions presented at a different, but related, workshop run at Innopolis University (Russia) in the context of the TOOLS 2019 conference.FISEE 2019 is part of a series of scientific events held at the new LASER center in Villebrumier near Montauban and Toulouse, France.
E-bok
Engelska, 2020692 kr
Läs direkt efter köp
This book constitutes invited papers from the First International Workshop on Frontiers in Software Engineering Education, FISEE 2019, which took place during November 11-13, 2019, at the Château de Villebrumier, France.
The 25 papers included in this volume were considerably enhanced after the conference and during two different peer-review phases. The contributions cover a wide range of problems in teaching software engineering and are organized in the following sections: Course experience; lessons learnt; curriculum and course design; competitions and workshops; empirical studies, tools and automation; globalization of education; and learning by doing. The final part "TOOLS Workshop: Artificial and Natural Tools (ANT)" contains submissions presented at a different, but related, workshop run at Innopolis University (Russia) in the context of the TOOLS 2019 conference.
FISEE 2019 is part of a series of scientific events held at the new LASER center in Villebrumier near Montauban and Toulouse, France.
Häftad, Engelska, 2022
320 kr
Skickas inom 10-15 vardagar
This open access book describes the development of Innopolis, a young Russian university established in 2012 to focus on teaching excellence in computer science, engineering, and robotics. It reports on the problems that were faced in the first decade of its development, and the adopted solutions. It shows how the key aspects for the development of the faculty, the curricula, the university structure, and the challenge of internationalization have been successfully addressed by the university management and professors, and how the solutions are scalable for other newly founded research organizations.The book is divided in five parts: “The Beginning” describes the very early days in general, from the foundation and start-up of the university with the related processes. “The People” reports on the initial hiring of the faculty members, the selection of students, and the curriculum development. “The Activities” provide information about the creation of the single research institutions and labs, and their relation to industry. “The Future” gives an outlook on the planned internationalization and faculty strategy. Eventually, “A Visual Journey” shows a selection of photographs illustrating highlights of the whole process and the current achievements.The processes and the components described built the basis for the development of Innopolis, and many of them still have a big impact on its present and its future. The fewer mistakes are made at the beginning, the higher the probability to fully achieve the initial goals.
Del 9609 - Lecture Notes in Computer Science
Perspectives of System Informatics
10th International Andrei Ershov Informatics Conference, PSI 2015, in Memory of Helmut Veith, Kazan and Innopolis, Russia, August 24-27, 2015, Revised Selected Papers
Häftad, Engelska, 2016
559 kr
Skickas inom 10-15 vardagar
This book constitutes the refereed proceedings of the 10th International Andrei Ershov Informatics Conference, PSI 2015, held in Kazan and Innopolis, Russia, in August 2015. The 2 invited and 23 full papers presented in this volume were carefully reviewed and selected from 56 submissions. The papers cover various topics related to the foundations of program and system development and analysis, programming methodology and software engineering and information technologies.
E-bok
PDF, Engelska, 2016734 kr
Läs direkt efter köp
This book constitutes the refereed proceedings of the 10th International Andrei Ershov Informatics Conference, PSI 2015, held in Kazan and Innopolis, Russia, in August 2015. The 2 invited and 23 full papers presented in this volume were carefully reviewed and selected from 56 submissions. The papers cover various topics related to the foundations of program and system development and analysis, programming methodology and software engineering and information technologies.
Inbunden, Engelska, 2017
1 112 kr
Skickas inom 10-15 vardagar
This book provides an effective overview of the state-of-the art in software engineering, with a projection of the future of the discipline. It includes 13 papers, written by leading researchers in the respective fields, on important topics like model-driven software development, programming language design, microservices, software reliability, model checking and simulation.The papers are edited and extended versions of the presentations at the PAUSE symposium, which marked the completion of 14 years of work at the Chair of Software Engineering at ETH Zurich. In this inspiring context, some of the greatest minds in the field extensively discussed the past, present and future of software engineering.It guides readers on a voyage of discovery through the discipline of software engineering today, offering unique food for thought for researchers and professionals, and inspiring future research and development.
E-bok
PDF, Engelska, 20171 408 kr
Läs direkt efter köp
This book provides an effective overview of the state-of-the art in software engineering, with a projection of the future of the discipline. It includes 13 papers, written by leading researchers in the respective fields, on important topics like model-driven software development, programming language design, microservices, software reliability, model checking and simulation.The papers are edited and extended versions of the presentations at the PAUSE symposium, which marked the completion of 14 years of work at the Chair of Software Engineering at ETH Zurich. In this inspiring context, some of the greatest minds in the field extensively discussed the past, present and future of software engineering.It guides readers on a voyage of discovery through the discipline of software engineering today, offering unique food for thought for researchers and professionals, and inspiring future research and development.
Häftad, Engelska, 2018
1 112 kr
Skickas inom 10-15 vardagar
This book provides an effective overview of the state-of-the art in software engineering, with a projection of the future of the discipline. It includes 13 papers, written by leading researchers in the respective fields, on important topics like model-driven software development, programming language design, microservices, software reliability, model checking and simulation.The papers are edited and extended versions of the presentations at the PAUSE symposium, which marked the completion of 14 years of work at the Chair of Software Engineering at ETH Zurich. In this inspiring context, some of the greatest minds in the field extensively discussed the past, present and future of software engineering.It guides readers on a voyage of discovery through the discipline of software engineering today, offering unique food for thought for researchers and professionals, and inspiring future research and development.
Inbunden, Italienska, 2024
605 kr
Skickas inom 5-8 vardagar