Ana Cavalcanti – författare
Visar alla böcker från författaren Ana Cavalcanti. Handla med fri frakt och snabb leverans.
24 produkter
Software Engineering for Robotics
Av Ana Cavalcanti, Brijesh Dongol m. fl.
Inbunden, 2021
1314 kr
Lägg i varukorg
The topics covered in this book range from modeling and programming languages and environments, via approaches for design and verification, to issues of ethics and regulation. In terms of techniques, there are results on model-based engineering, product lines, mission specification, component-based …
Software Engineering for Robotics
Av Jim Woodcock, Jon Timmis m. fl.
E-bok, 2021
1682 kr
Lägg i varukorg
The topics covered in this book range from modeling and programming languages and environments, via approaches for design and verification, to issues of ethics and regulation. In terms of techniques, there are results on model-based engineering, product lines, mission specification, component-based …
Software Engineering for Robotics
Av Ana Cavalcanti, Brijesh Dongol m. fl.
Häftad, 2022
1314 kr
Lägg i varukorg
The topics covered in this book range from modeling and programming languages and environments, via approaches for design and verification, to issues of ethics and regulation. In terms of techniques, there are results on model-based engineering, product lines, mission specification, component-based …
Fundamental Approaches to Software Engineering
27th International Conference, FASE 2024, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2024, Luxembourg City, Luxembourg, April 6–11, 2024, Proceedings
Häftad, 2024
456 kr
Lägg i varukorg
This open access book constitutes the proceedings of the 27th International Conference on Fundamental Approaches to Software Engineering, FASE 2024, held in conjunction with ETAPS 2024 which took place in Luxembourg in April 2024. The 14 full papers included in this book were carefully reviewed and …
Practice of Formal Methods
Essays in Honour of Cliff Jones, Part II
Av Ana Cavalcanti, James Baxter
Häftad, 2024
747 kr
Lägg i varukorg
This Festschrift, dedicated to Cliff Jones, contains papers written by many of his closest collaborators. Cliff has an exceptional international standing for his groundbreaking research and leadership within the practice of formal methods, his career encompasses significant contributions to …
Practice of Formal Methods
Essays in Honour of Cliff Jones, Part II
Av James Baxter, Ana Cavalcanti
E-bok, 2024
1846 kr
Lägg i varukorg
This Festschrift, dedicated to Cliff Jones, contains papers written by many of his closest collaborators. Cliff has an exceptional international standing for his groundbreaking research and leadership within the practice of formal methods, his career encompasses significant contributions to …
Practice of Formal Methods
Essays in Honour of Cliff Jones, Part I
Av Ana Cavalcanti, James Baxter
Häftad, 2024
747 kr
Lägg i varukorg
This Festschrift, dedicated to Cliff Jones, contains papers written by many of his closest collaborators. Cliff has an exceptional international standing for his groundbreaking research and leadership within the practice of formal methods, his career encompasses significant contributions to …
Practice of Formal Methods
Essays in Honour of Cliff Jones, Part I
Av James Baxter, Ana Cavalcanti
E-bok, 2024
1642 kr
Lägg i varukorg
This Festschrift, dedicated to Cliff Jones, contains papers written by many of his closest collaborators. Cliff has an exceptional international standing for his groundbreaking research and leadership within the practice of formal methods, his career encompasses significant contributions to …
Towards Autonomous Robotic Systems
26th Annual Conference, TAROS 2025, York, UK, August 20–22, 2025, Proceedings
Av Ana Cavalcanti, Simon Foster m. fl.
Häftad, 2025
837 kr
Lägg i varukorg
This LNAI 16045 volume constitutes the proceedings of the 26th Annual Conference on Towards Autonomous Robotic Systems, TAROS 2025, held in York, UK, duing August 20–22, 2025.The 32 full papers and 4 short papers, together with 4 invited papers presented in these volumes were carefully reviewed and …
Towards Autonomous Robotic Systems
26th Annual Conference, TAROS 2025, York, UK, August 20-22, 2025, Proceedings
Av Robert Richardson, Simon Foster m. fl.
E-bok, 2025
1091 kr
Lägg i varukorg
This LNAI 16045 volume constitutes the proceedings of the 26th Annual Conference on Towards Autonomous Robotic Systems, TAROS 2025, held in York, UK, duing August 20–22, 2025.The 32 full papers and 4 short papers, together with 4 invited papers presented in these volumes were carefully reviewed and …
Critical Systems: Formal Methods and Automated Verification
Joint 22nd International Workshop on Formal Methods for Industrial Critical Systems and 17th International Workshop on Automated Verification of Critical Systems, FMICS-AVoCS 2017, Turin, Italy, September 18–20, 2017, Proceedings
Av Laure Petrucci, Cristina Seceleanu m. fl.
Häftad, 2017
568 kr
Lägg i varukorg
This book constitutes the refereed proceedings of the Joint 22nd International Workshop on Formal Methods for Industrial Critical Systems and the 17th International Workshop on Automated Verification of Critical Systems, FMICS-AVoCS 2017, held in Turin, Italy, in September 2017.The 14 full papers …
Critical Systems: Formal Methods and Automated Verification
Joint 22nd International Workshop on Formal Methods for Industrial Critical Systems and 17th International Workshop on Automated Verification of Critical Systems, FMICS-AVoCS 2017, Turin, Italy, September 18–20, 2017, Proceedings
Av Ana Cavalcanti, Cristina Seceleanu m. fl.
E-bok, 2017
755 kr
Lägg i varukorg
This book constitutes the refereed proceedings of the Joint 22nd International Workshop on Formal Methods for Industrial Critical Systems and the 17th International Workshop on Automated Verification of Critical Systems, FMICS-AVoCS 2017, held in Turin, Italy, in September 2017. The 14 full papers …
Refinement Techniques in Software Engineering
First Pernambuco Summer School on Software Engineering, PSSE 2004, Recife, Brazil, November 23-December 5, 2004, Revised Lectures
Av Ana Cavalcanti, Augusto Sampaio m. fl.
Häftad, 2006
568 kr
Lägg i varukorg
The Pernambuco School on Software Engineering (PSSE) 2004 was the ?rst in a series of events devoted to the study of advanced computer science and to the promotion of international scienti?c collaboration. The main theme in 2004 was re?nement (or rei?cation). Re?nement describes the veri?able …
Refinement Techniques in Software Engineering
First Pernambuco Summer School on Software Engineering, PSSE 2004, Recife, Brazil, November 23-December 5, 2004, Revised Lectures
Av Jim Woodcock, Augusto Sampaio m. fl.
E-bok, 2006
755 kr
Lägg i varukorg
The Pernambuco School on Software Engineering (PSSE) 2004 was the ?rst in a series of events devoted to the study of advanced computer science and to the promotion of international scienti?c collaboration. The main theme in 2004 was re?nement (or rei?cation). Re?nement describes the veri?able …
Theoretical Aspects of Computing - ICTAC 2006
Third International Colloquium, Tunis, Tunisia, November 20-24, 2006 Proceedings
Av Kamel Barkaoui, Ana Cavalcanti m. fl.
Häftad, 2006
568 kr
Lägg i varukorg
The International Colloquium on Theoretical Aspects of Computing (ICTAC) held in 2006 in Tunis, Tunisia, was the third of a series of events created by the InternationalInstituteforSoftwareTechnologyoftheUnitedNationsUniversity. The aim of the colloquium is to bring together researchers from …
Theoretical Aspects of Computing - ICTAC 2006
Third International Colloquium, Tunis, Tunisia, November 20-24, 2006 Proceedings
Av Antonio Cerone, Ana Cavalcanti m. fl.
E-bok, 2006
755 kr
Lägg i varukorg
The International Colloquium on Theoretical Aspects of Computing (ICTAC) held in 2006 in Tunis, Tunisia, was the third of a series of events created by the InternationalInstituteforSoftwareTechnologyoftheUnitedNationsUniversity. The aim of the colloquium is to bring together researchers from …
FM 2009: Formal Methods
Second World Congress, Eindhoven, The Netherlands, November 2-6, 2009, Proceedings
Av Ana Cavalcanti, Dennis Dams
Häftad, 2009
1129 kr
Lägg i varukorg
th FM 2009, the 16 International Symposium on Formal Methods, marked the 10th an- versary of the First World Congress on Formal Methods that was held in 1999 in Toulouse, France. We wished to celebrate this by advertising and organizing FM 2009 as the Second World Congress in the FM series, aiming …
FM 2009: Formal Methods
Second World Congress, Eindhoven, The Netherlands, November 2-6, 2009, Proceedings
Av Dennis Dams, Ana Cavalcanti
E-bok, 2009
1502 kr
Lägg i varukorg
th FM 2009, the 16 International Symposium on Formal Methods, marked the 10th an- versary of the First World Congress on Formal Methods that was held in 1999 in Toulouse, France. We wished to celebrate this by advertising and organizing FM 2009 as the Second World Congress in the FM series, aiming …
Formal Methods and Software Engineering
11th International Conference on Formal Engineering Methods ICFEM 2009, Rio de Janeiro, Brazil, December 9-12, 2009, Proceedings
Av Karin Breitman, Ana Cavalcanti
Häftad, 2009
1129 kr
Lägg i varukorg
Formal methods for development of computer systems have been extensively studied over the years. A range of semantic theories, speci?cation languages, design techniques, and veri?cation methods and tools have been developed and applied to the construction of programs used in critical applications. …
Formal Methods and Software Engineering
11th International Conference on Formal Engineering Methods ICFEM 2009, Rio de Janeiro, Brazil, December 9-12, 2009, Proceedings
Av Ana Cavalcanti, Karin Breitman
E-bok, 2009
1502 kr
Lägg i varukorg
Formal methods for development of computer systems have been extensively studied over the years. A range of semantic theories, speci?cation languages, design techniques, and veri?cation methods and tools have been developed and applied to the construction of programs used in critical applications. …
Testing Techniques in Software Engineering
Second Pernambuco Summer School on Software Engineering, PSSE 2007, Recife, Brazil, December 3-7, 2007, Revised Lectures
Av Paulo Borba, Ana Cavalcanti m. fl.
Häftad, 2010
568 kr
Lägg i varukorg
The Pernambuco School on Software Engineering (PSSE) 2007 was the second in a series of events devoted to the study of advanced computer science and to the promotion of international scienti?c collaboration. The main theme in 2007 was testing. Testing is nowadays a key activity for assuring …
Testing Techniques in Software Engineering
Second Pernambuco Summer School on Software Engineering, PSSE 2007, Recife, Brazil, December 3-7, 2007, Revised Lectures
Av Jim Woodcook, Augusto Sampaio m. fl.
E-bok, 2010
755 kr
Lägg i varukorg
The Pernambuco School on Software Engineering (PSSE) 2007 was the second in a series of events devoted to the study of advanced computer science and to the promotion of international scienti?c collaboration. The main theme in 2007 was testing. Testing is nowadays a key activity for assuring …
Theoretical Aspects of Computing
7th International Colloquium, Natal, Rio Grande do Norte, Brazil, September 1-3, 2010, Proceedings
Av Ana Cavalcanti, David Deharbe m. fl.
Häftad, 2010
568 kr
Lägg i varukorg
The now well-established series of International Colloquia on Theoretical - pects of Computing (ICTAC) brings together practitionersand researchersfrom academia, industry and government to present research results, and exchange experience and ideas. Beyond these scholarly goals, another main …
Theoretical Aspects of Computing
7th International Colloquium, Natal, Rio Grande do Norte, Brazil, September 1-3, 2010, Proceedings
Av Jim Woodcock, Marie-Claude Gaudel m. fl.
E-bok, 2010
732 kr
Lägg i varukorg
