|
Showing 1 - 7 of
7 matches in All Departments
|
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 (Paperback, 1st ed. 2016)
Maurice H. ter Beek, Stefania Gnesi, Alexander Knapp
|
R2,319
Discovery Miles 23 190
|
Ships in 10 - 15 working days
|
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.
|
Fundamental Approaches to Software Engineering - 17th International Conference, FASE 2014, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2014, Grenoble, France, April 5-13, 2014, Proceedings (Paperback, 2014 ed.)
Stefania Gnesi, Arend Rensink
|
R1,605
Discovery Miles 16 050
|
Ships in 10 - 15 working days
|
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.
|
Abstract State Machines, Alloy, B, VDM, and Z - Third International Conference, ABZ 2012, Pisa, Italy, June 18-21, 2012. Proceedings (Paperback, 2012 ed.)
John Derrick, John Fitzgerald, Stefania Gnesi, Sarfraz Khurshid, Michael Leuschel, …
|
R1,587
Discovery Miles 15 870
|
Ships in 10 - 15 working days
|
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.
|
Integrated Formal Methods - 9th International Conference, IFM 2012, Pisa, Italy, June 18-21, 2012. Proceedings (Paperback, 2012 ed.)
John Derrick, Stefania Gnesi, Diego Latella, Helen Treharne
|
R1,580
Discovery Miles 15 800
|
Ships in 10 - 15 working days
|
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.
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.
|
Requirements Engineering: Foundation for Software Quality - 26th International Working Conference, REFSQ 2020, Pisa, Italy, March 24-27, 2020, Proceedings (Paperback, 1st ed. 2020)
Nazim Madhavji, Liliana Pasquale, Alessio Ferrari, Stefania Gnesi
|
R1,567
Discovery Miles 15 670
|
Ships in 10 - 15 working days
|
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.
|
FM 2016: Formal Methods - 21st International Symposium, Limassol, Cyprus, November 9-11, 2016, Proceedings (Paperback, 1st ed. 2016)
John Fitzgerald, Constance Heitmeyer, Stefania Gnesi, Anna Philippou
|
R1,721
Discovery Miles 17 210
|
Ships in 10 - 15 working days
|
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.
|
|