Stefania Gnesi – författare
Visar alla böcker från författaren Stefania Gnesi. Handla med fri frakt och snabb leverans.
19 produkter
19 produkter
Häftad, Engelska, 2013
1 110 kr
Skickas inom 5-8 vardagar
Today, formal methods are widely recognized as an essential step in the design process of industrial safety-critical systems. In its more general definition, the term formal methods encompasses all notations having a precise mathematical semantics, together with their associated analysis methods, that allow description and reasoning about the behavior of a system in a formal manner. Growing out of more than a decade of award-winning collaborative work within the European Research Consortium for Informatics and Mathematics, Formal Methods for Industrial Critical Systems: A Survey of Applications presents a number of mainstream formal methods currently used for designing industrial critical systems, with a focus on model checking. The purpose of the book is threefold: to reduce the effort required to learn formal methods, which has been a major drawback for their industrial dissemination; to help designers to adopt the formal methods which are most appropriate for their systems; and to offer a panel of state-of-the-art techniques and tools for analyzing critical systems.
E-bok
PDF, Engelska, 20121 281 kr
Läs direkt efter köp
Today, formal methods are widely recognized as an essential step in the design process of industrial safety-critical systems. In its more general definition, the term formal methods encompasses all notations having a precise mathematical semantics, together with their associated analysis methods, that allow description and reasoning about the behavior of a system in a formal manner.
Growing out of more than a decade of award-winning collaborative work within the European Research Consortium for Informatics and Mathematics, Formal Methods for Industrial Critical Systems: A Survey of Applications presents a number of mainstream formal methods currently used for designing industrial critical systems, with a focus on model checking. The purpose of the book is threefold: to reduce the effort required to learn formal methods, which has been a major drawback for their industrial dissemination; to help designers to adopt the formal methods which are most appropriate for their systems; and to offer a panel of state-of-the-art techniques and tools for analyzing critical systems.
E-bok
Engelska, 20121 247 kr
Läs direkt efter köp
Today, formal methods are widely recognized as an essential step in the design process of industrial safety-critical systems. In its more general definition, the term formal methods encompasses all notations having a precise mathematical semantics, together with their associated analysis methods, that allow description and reasoning about the behavior of a system in a formal manner.
Growing out of more than a decade of award-winning collaborative work within the European Research Consortium for Informatics and Mathematics, Formal Methods for Industrial Critical Systems: A Survey of Applications presents a number of mainstream formal methods currently used for designing industrial critical systems, with a focus on model checking. The purpose of the book is threefold: to reduce the effort required to learn formal methods, which has been a major drawback for their industrial dissemination; to help designers to adopt the formal methods which are most appropriate for their systems; and to offer a panel of state-of-the-art techniques and tools for analyzing critical systems.
Del 12045 - Lecture Notes in Computer Science
Requirements Engineering: Foundation for Software Quality
26th International Working Conference, REFSQ 2020, Pisa, Italy, March 24–27, 2020, Proceedings
Häftad, Engelska, 2020
559 kr
Skickas inom 10-15 vardagar
This book constitutes the proceedings of the 26th International Working Conference on Requirements Engineering - Foundation for Software Quality, REFSQ 2020, which was due to be held in Pisa, Italy, in March 2020. Due to the COVID-19 pandemic the conference was held virtually in June 2020.The 14 full papers and 7 short papers in this volume were carefully reviewed and selected from 84 submissions. The papers are organized in the following topical sections: requirements specification; requirements documentation; privacy and legal requirements; stakeholders feedback and training; agile methods and requirements comprehension; requirements modelling; requirements visualization.
E-bok
Engelska, 2020734 kr
Läs direkt efter köp
This book constitutes the proceedings of the 26th International Working Conference on Requirements Engineering - Foundation for Software Quality, REFSQ 2020, which was due to be held in Pisa, Italy, in March 2020. Due to the COVID-19 pandemic the conference was held virtually in June 2020.
The 14 full papers and 7 short papers in this volume were carefully reviewed and selected from 84 submissions. The papers are organized in the following topical sections: requirements specification; requirements documentation; privacy and legal requirements; stakeholders feedback and training; agile methods and requirements comprehension; requirements modelling; requirements visualization.
Häftad, Engelska, 2026
1 090 kr
Skickas inom 10-15 vardagar
Alessandro Fantechi earned a Laurea Degree in Computer Science from the University of Pisa and a Diploma from the Scuola Normale Superiore di Pisa, both in 1978. He has lectured at the University of Florence for decades on the foundations of Computer Science and Software Engineering, where he was also responsible for the curriculum of the PhD school in Information Engineering, coordinator of the Bachelor’s and Master’s curricula in Computer Engineering, and President of the School of Engineering. He has collaborated with CNR-ISTI Pisa, Télécom ParisTech, and the Technical University of Denmark, and he has had many research, teaching, and consulting projects in leading companies and state enterprises.Prof. Fantechi’s main area of research is Software Engineering, in particular the application of formal specification and verification methods in industrial, safety-critical applications such as the railway domain, where he has been a leading practitioner for many years. He has been an active member of the ERCIM working group Formal Methods for Industrial Critical Systems (FMICS), he has chaired scientific events such as FMOODS, SPLC, SERENE, RSSRail and VaMoS, he is a member of IFIP WG 6.1, and he is one of the expert members of the Scientific Steering Group of Europe’s Rail Joint Undertaking.This volume contains chapters from leading scientists and engineers, their contributions honor an influential researcher, practitioner, and educator.
E-bok
Engelska, 20261 377 kr
Läs direkt efter köp
Alessandro Fantechi earned a Laurea Degree in Computer Science from the University of Pisa and a Diploma from the Scuola Normale Superiore di Pisa, both in 1978. He has lectured at the University of Florence for decades on the foundations of Computer Science and Software Engineering, where he was also responsible for the curriculum of the PhD school in Information Engineering, coordinator of the Bachelor’s and Master’s curricula in Computer Engineering, and President of the School of Engineering. He has collaborated with CNR-ISTI Pisa, Télécom ParisTech, and the Technical University of Denmark, and he has had many research, teaching, and consulting projects in leading companies and state enterprises.Prof. Fantechi’s main area of research is Software Engineering, in particular the application of formal specification and verification methods in industrial, safety-critical applications such as the railway domain, where he has been a leading practitioner for many years. He has been an active member of the ERCIM working group Formal Methods for Industrial Critical Systems (FMICS), he has chaired scientific events such as FMOODS, SPLC, SERENE, RSSRail and VaMoS, he is a member of IFIP WG 6.1, and he is one of the expert members of the Scientific Steering Group of Europe’s Rail Joint Undertaking.This volume contains chapters from leading scientists and engineers, their contributions honor an influential researcher, practitioner, and educator.
Del 9933 - Lecture Notes in Computer Science
Critical Systems: Formal Methods and Automated Verification
Joint 21st International Workshop on Formal Methods for Industrial Critical Systems and 16th International Workshop on Automated Verification of Critical Systems, FMICS-AVoCS 2016, Pisa, Italy, September 26-28, 2016, Proceedings
Häftad, Engelska, 2016
559 kr
Skickas inom 10-15 vardagar
This book constitutes the refereed proceedings of the Joint 21st International Workshop on Formal Methods for Industrial Critical Systems and the 16th International Workshop on Automated Verification of Critical Systems, FMICS-AVoCS 2016, held in Pisa, Italy, in September 2016.The 11 full papers and 4 short papers presented together with one invited talk were carefully reviewed and selected from 24 submissions. They are organized in the following sections: automated verification techniques; model-based system analysis; and applications and case studies.
708 kr
Läs direkt efter köp
This book constitutes the refereed proceedings of the Joint 21st International Workshop on Formal Methods for Industrial Critical Systems and the 16th International Workshop on Automated Verification of Critical Systems, FMICS-AVoCS 2016, held in Pisa, Italy, in September 2016.The 11 full papers and 4 short papers presented together with one invited talk were carefully reviewed and selected from 24 submissions. They are organized in the following sections: automated verification techniques; model-based system analysis; and applications and case studies.
Häftad, Engelska, 2016
559 kr
Skickas inom 10-15 vardagar
This book constitutes the refereed proceedings of the 21st International Symposium on Formal Methods, FM 2016, held in Limassol, Cyprus, in November 2016. The 38 full papers and 11 short papers presented together with one abstract of an invited talk and one invited presentation were carefully reviewed and selected from 162 submissions. The broad topics of interest for FM include: interdisciplinary formal methods; formal methods in practice; tools for formal methods; role of formal methods in software and systems engineering; theoretical foundations.
E-bok
PDF, Engelska, 2016734 kr
Läs direkt efter köp
This book constitutes the refereed proceedings of the 21st International Symposium on Formal Methods, FM 2016, held in Limassol, Cyprus, in November 2016. The 38 full papers and 11 short papers presented together with one abstract of an invited talk and one invited presentation were carefully reviewed and selected from 162 submissions. The broad topics of interest for FM include: interdisciplinary formal methods; formal methods in practice; tools for formal methods; role of formal methods in software and systems engineering; theoretical foundations.
Häftad, Engelska, 2003
1 112 kr
Skickas inom 10-15 vardagar
ThisvolumecontainstheproceedingsofFM2003,the12thInternationalFormal Methods Europe Symposium which was held in Pisa, Italy on September 8–14, 2003. Formal Methods Europe (FME, www. fmeurope. org) is an independent - sociation which aims to stimulate the use of and research on formal methods for system development. FME conferences began with a VDM Europe symposium in 1987. Since then, the meetings have grown and have been held about once - ery 18 months. Throughout the years the symposia have been notably successful in bringing together researchers, tool developers, vendors, and users, both from academia and from industry. Unlike previous symposia in the series, FM 2003 was not given a speci?c theme. Rather, its main goal could be synthesized as “widening the scope. ” Indeed, the organizers aimed at enlarging the audience and impact of the symposium along several directions. Dropping the su?x ‘E’ from the title of the conference re?ects the wish to welcome participation and contribution from every country; also,contributionsfromoutsidethetraditionalFormalMethodscommunitywere solicited. The recent innovation of including an Industrial Day as an important part of the symposium shows the strong commitment to involve industrial p- ple more and more within the Formal Methods community. Even the traditional and rather fuzzy borderline between “software engineering formal methods” and methods and formalisms exploited in di?erent ?elds of engineering was so- what challenged.
E-bok
PDF, Engelska, 20031 408 kr
Läs direkt efter köp
ThisvolumecontainstheproceedingsofFM2003,the12thInternationalFormal Methods Europe Symposium which was held in Pisa, Italy on September 8–14, 2003. Formal Methods Europe (FME, www. fmeurope. org) is an independent - sociation which aims to stimulate the use of and research on formal methods for system development. FME conferences began with a VDM Europe symposium in 1987. Since then, the meetings have grown and have been held about once - ery 18 months. Throughout the years the symposia have been notably successful in bringing together researchers, tool developers, vendors, and users, both from academia and from industry. Unlike previous symposia in the series, FM 2003 was not given a speci?c theme. Rather, its main goal could be synthesized as “widening the scope. ” Indeed, the organizers aimed at enlarging the audience and impact of the symposium along several directions. Dropping the su?x ‘E’ from the title of the conference re?ects the wish to welcome participation and contribution from every country; also,contributionsfromoutsidethetraditionalFormalMethodscommunitywere solicited. The recent innovation of including an Industrial Day as an important part of the symposium shows the strong commitment to involve industrial p- ple more and more within the Formal Methods community. Even the traditional and rather fuzzy borderline between “software engineering formal methods” and methods and formalisms exploited in di?erent ?elds of engineering was so- what challenged.
Häftad, Engelska, 2012
559 kr
Skickas inom 10-15 vardagar
This book constitutes the refereed proceedings of the 9th International Conference on Integrated Formal Methods, IFM 2012, held Pisa, Italy, in June 2012. The 20 revised full papers presented together with 2 invited papers were carefully reviewed and selected from 59 submissions. The papers cover the spectrum of integrated formal methods, ranging from formal and semiformal notations, semantics, proof frameworks, refinement, verification, timed systems, as well as tools and case studies.
E-bok
PDF, Engelska, 2012708 kr
Läs direkt efter köp
This book constitutes the refereed proceedings of the 9th International Conference on Integrated Formal Methods, IFM 2012, held Pisa, Italy, in June 2012. The 20 revised full papers presented together with 2 invited papers were carefully reviewed and selected from 59 submissions. The papers cover the spectrum of integrated formal methods, ranging from formal and semiformal notations, semantics, proof frameworks, refinement, verification, timed systems, as well as tools and case studies.
Häftad, Engelska, 2012
543 kr
Skickas inom 10-15 vardagar
This book constitutes the proceedings of the Third International Conference on Abstract State Machines, B, VDM, and Z, which took place in Pisa, Italy, in June 2012. The 20 full papers presented together with 2 invited talks and 13 short papers were carefully reviewed and selected from 59 submissions. The ABZ conference series is dedicated to the cross-fertilization of five related state-based and machine-based formal methods: Abstract State Machines (ASM), Alloy, B, VDM, and Z. They share a common conceptual foundation and are widely used in both academia and industry for the design and analysis of hardware and software systems. The main goal of this conference series is to contribute to the integration of these formal methods, clarifying their commonalities and differences to better understand how to combine different approaches for accomplishing the various tasks in modeling, experimental validation and mathematical verification of reliable high-quality hardware/software systems.
E-bok
PDF, Engelska, 2012712 kr
Läs direkt efter köp
This book constitutes the proceedings of the Third International Conference on Abstract State Machines, B, VDM, and Z, which took place in Pisa, Italy, in June 2012. The 20 full papers presented together with 2 invited talks and 13 short papers were carefully reviewed and selected from 59 submissions. The ABZ conference series is dedicated to the cross-fertilization of five related state-based and machine-based formal methods: Abstract State Machines (ASM), Alloy, B, VDM, and Z. They share a common conceptual foundation and are widely used in both academia and industry for the design and analysis of hardware and software systems. The main goal of this conference series is to contribute to the integration of these formal methods, clarifying their commonalities and differences to better understand how to combine different approaches for accomplishing the various tasks in modeling, experimental validation and mathematical verification of reliable high-quality hardware/software systems.
559 kr
Skickas inom 10-15 vardagar
This book constitutes the proceedings of the 17th International Conference on Fundamental Approaches to Software Engineering, FASE 2014, held as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2014, which took place in Grenoble, France, in April 2014. The 28 papers included in this volume, together with one invited talk, were carefully reviewed and selected from 125 submissions. They have been organized in topical sections on: modeling and model transformation; time and performance; static analysis; scenario-based specification; software verification; analysis and repair; verification and validation; graph transformation and debugging and testing.
734 kr
Läs direkt efter köp
This book constitutes the proceedings of the 17th International Conference on Fundamental Approaches to Software Engineering, FASE 2014, held as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2014, which took place in Grenoble, France, in April 2014. The 28 papers included in this volume, together with one invited talk, were carefully reviewed and selected from 125 submissions. They have been organized in topical sections on: modeling and model transformation; time and performance; static analysis; scenario-based specification; software verification; analysis and repair; verification and validation; graph transformation and debugging and testing.