Yamine Ait-Ameur – författare
Visar alla böcker från författaren Yamine Ait-Ameur. Handla med fri frakt och snabb leverans.
17 produkter
Formal Methods and Software Engineering
21st International Conference on Formal Engineering Methods, ICFEM 2019, Shenzhen, China, November 5–9, 2019, Proceedings
Av Yamine Ait-Ameur, Shengchao Qin
Häftad, 2019
567 kr
Lägg i varukorg
This book constitutes the proceedings of the 21st International Conference on Formal Engineering Methods, ICFEM 2019, held in Shenzhen, China, in November 2019. The 28 full and 8 short papers presented in this volume were carefully reviewed and selected from 94 submissions. They deal with the …
Formal Methods and Software Engineering
21st International Conference on Formal Engineering Methods, ICFEM 2019, Shenzhen, China, November 5–9, 2019, Proceedings
Av Shengchao Qin, Yamine Ait-Ameur
E-bok, 2019
755 kr
Lägg i varukorg
This book constitutes the proceedings of the 21st International Conference on Formal Engineering Methods, ICFEM 2019, held in Shenzhen, China, in November 2019. The 28 full and 8 short papers presented in this volume were carefully reviewed and selected from 94 submissions. They deal with the …
Theoretical Aspects of Software Engineering
16th International Symposium, TASE 2022, Cluj-Napoca, Romania, July 8–10, 2022, Proceedings
Av Yamine Aït-Ameur, Florin Crăciun
Häftad, 2022
961 kr
Lägg i varukorg
This book constitutes the proceedings of the 16th International Conference on Theoretical Aspects of Software Engineering, TASE 2022, held in Cluj-Napoca, Romania, July 2022. The 21 full regular papers presented together with 5 short papers in this book were carefully reviewed and selected from 71 …
Theoretical Aspects of Software Engineering
16th International Symposium, TASE 2022, Cluj-Napoca, Romania, July 8–10, 2022, Proceedings
Av Florin Craciun, Yamine Ait-Ameur
E-bok, 2022
1224 kr
Lägg i varukorg
This book constitutes the proceedings of the 16th International Conference on Theoretical Aspects of Software Engineering, TASE 2022, held in Cluj-Napoca, Romania, July 2022. The 21 full regular papers presented together with 5 short papers in this book were carefully reviewed and selected from 71 …
Engineering of Complex Computer Systems
28th International Conference, ICECCS 2024, Limassol, Cyprus, June 19–21, 2024, Proceedings
Av Guangdong Bai, Fuyuki Ishikawa m. fl.
Häftad, 2024
848 kr
Lägg i varukorg
This book constitutes of the proceedings from the 28th International Conference on Engineering of Complex Computer Systems, ICECCS 2024, held in Limassol, Cyprus, during June 19–21, 2024. The 18 full papers and 4 short papers presented here were carefully reviewed and selected from 68 submissions. …
Engineering of Complex Computer Systems
28th International Conference, ICECCS 2024, Limassol, Cyprus, June 19–21, 2024, Proceedings
Av George A. Papadopoulos, Yamine Ait-Ameur m. fl.
E-bok, 2024
1091 kr
Lägg i varukorg
This book constitutes of the proceedings from the 28th International Conference on Engineering of Complex Computer Systems, ICECCS 2024, held in Limassol, Cyprus, during June 19–21, 2024. The 18 full papers and 4 short papers presented here were carefully reviewed and selected from 68 submissions. …
ABZ 2014: The Landing Gear Case Study
Case Study Track, Held at the 4th International Conference on Abstract State Machines, Alloy, B, TLA, VDM, and Z, Toulouse, France, June 2-6, 2014, Proceedings
Av Frederic Boniol, Virginie Wiels m. fl.
Häftad, 2014
568 kr
Lägg i varukorg
This volume contains proceedings of the Case Study Track, held at the 4th International Conference, ABZ 2014, in Toulouse, France, in June 2014.The 11 papers presented were carefully reviewed and selected from numerous submissions. They use different formal techniques: B, ASM, Fiacre. They also …
ABZ 2014: The Landing Gear Case Study
Case Study Track, Held at the 4th International Conference on Abstract State Machines, Alloy, B, TLA, VDM, and Z, Toulouse, France, June 2-6, 2014, Proceedings
Av Klaus-Dieter Schewe, Yamine Ait Ameur m. fl.
E-bok, 2014
755 kr
Lägg i varukorg
This volume contains proceedings of the Case Study Track, held at the 4th International Conference, ABZ 2014, in Toulouse, France, in June 2014.The 11 papers presented were carefully reviewed and selected from numerous submissions. They use different formal techniques: B, ASM, Fiacre. They also …
Model and Data Engineering
4th International Conference, MEDI 2014, Larnaca, Cyprus, September 24-26, 2014. Proceedings
Av Yamine Ait Ameur, Ladjel Bellatreche m. fl.
Häftad, 2014
568 kr
Lägg i varukorg
This book constitutes the refereed proceedings of the 4th International Conference on Model and Data Engineering, MEDI 2014, held in Larnaca, Cyprus, in September 2014. The 16 long papers and 12 short papers presented together with 2 invited talks were carefully reviewed and selected from 64 …
Model and Data Engineering
4th International Conference, MEDI 2014, Larnaca, Cyprus, September 24-26, 2014. Proceedings
Av George A. Papadopoulos, Ladjel Bellatreche m. fl.
E-bok, 2014
755 kr
Lägg i varukorg
This book constitutes the refereed proceedings of the 4th International Conference on Model and Data Engineering, MEDI 2014, held in Larnaca, Cyprus, in September 2014. The 16 long papers and 12 short papers presented together with 2 invited talks were carefully reviewed and selected from 64 …
Model and Data Engineering
6th International Conference, MEDI 2016, Almería, Spain, September 21-23, 2016, Proceedings
Av Ladjel Bellatreche, Óscar Pastor m. fl.
Häftad, 2016
568 kr
Lägg i varukorg
This book constitutes the refereed proceedings of the 6th International Conference on Model and Data Engineering, MEDI 2016, held in Almería, Spain, in September 2016.The 17 full papers and 10 short papers presented together with 2 invited talks were carefully reviewed and selected from 62 …
Model and Data Engineering
6th International Conference, MEDI 2016, Almería, Spain, September 21-23, 2016, Proceedings
Av Yamine Ait-Ameur, Jesus M. Almendros Jimenez m. fl.
E-bok, 2016
755 kr
Lägg i varukorg
This book constitutes the refereed proceedings of the 6th International Conference on Model and Data Engineering, MEDI 2016, held in Almería, Spain, in September 2016. The 17 full papers and 10 short papers presented together with 2 invited talks were carefully reviewed and selected from 62 …
Abstract State Machines, Alloy, B, TLA, VDM, and Z
4th International Conference, ABZ 2014, Toulouse, France, June 2-6, 2014. Proceedings
Av Yamine Ait Ameur, Klaus-Dieter Schewe
Häftad, 2014
568 kr
Lägg i varukorg
This book constitutes the thoroughly refereed proceedings of the 4th International Conference on Abstract State Machines, B, TLA, VDM and Z, which took place in Toulouse, France, in June 2014. The 13 full papers presented together with 3 invited talks and 19 short papers were carefully reviewed and …
Abstract State Machines, Alloy, B, TLA, VDM, and Z
4th International Conference, ABZ 2014, Toulouse, France, June 2-6, 2014. Proceedings
Av Klaus-Dieter Schewe, Yamine Ait Ameur
E-bok, 2014
755 kr
Lägg i varukorg
This book constitutes the thoroughly refereed proceedings of the 4th International Conference on Abstract State Machines, B, TLA, VDM and Z, which took place in Toulouse, France, in June 2014. The 13 full papers presented together with 3 invited talks and 19 short papers were carefully reviewed and …
Implicit and Explicit Semantics Integration in Proof-Based Developments of Discrete Systems
Communications of NII Shonan Meetings
Av Yamine Ait-Ameur, Shin Nakajima m. fl.
Inbunden, 2020
1096 kr
Lägg i varukorg
This book addresses mechanisms for reducing model heterogeneity induced by the absence of explicit semantics expression in the formal techniques used to specify design models. More precisely, it highlights the advances in handling both implicit and explicit semantics in formal system developments, …
Implicit and Explicit Semantics Integration in Proof-Based Developments of Discrete Systems
Communications of NII Shonan Meetings
Av Dominique Mery, Shin Nakajima m. fl.
E-bok, 2020
1434 kr
Lägg i varukorg
This book addresses mechanisms for reducing model heterogeneity induced by the absence of explicit semantics expression in the formal techniques used to specify design models. More precisely, it highlights the advances in handling both implicit and explicit semantics in formal system developments, …
Implicit and Explicit Semantics Integration in Proof-Based Developments of Discrete Systems
Communications of NII Shonan Meetings
Av Yamine Ait-Ameur, Shin Nakajima m. fl.
Häftad, 2021
1096 kr
Lägg i varukorg
This book addresses mechanisms for reducing model heterogeneity induced by the absence of explicit semantics expression in the formal techniques used to specify design models. More precisely, it highlights the advances in handling both implicit and explicit semantics in formal system developments, …
