Filter by

  • Publication Year
  • Availability
  • Attachment
  • Collection Type
  • General Material Designation
    See More
  • Location
  • Language
Found 6 from your keywords: author=SHARYGINA, Natasha
cover
Tools and Algorithms for the Construction and Analysis of Systems; 29th Inter…
Comment Share
SHARYGINA, NatashaSANKARANARAYANAN, Sriram

Buku akses terbuka ini merupakan prosiding Konferensi Internasional ke-29 tentang Alat dan Algoritma untuk Konstruksi dan Analisis Sistem, TACAS 2023, yang diadakan sebagai bagian dari Konferensi Gabungan Eropa tentang Teori dan Praktik Perangkat Lunak, ETAPS 2023, selama 22-27 April 2023, di Paris, Prancis. 56 makalah lengkap dan 6 makalah demonstrasi alat singkat yang disajikan dalam volume i…

Edition
-
ISBN/ISSN
978-3-031-30823-9
Collation
1 online resource (XXIII, 708 Pages)
Series Title
-
Call Number
005.1 SAN t
cover
Tools and Algorithms for the Construction and Analysis of Systems; 29th Inter…
Comment Share
SHARYGINA, NatashaSANKARANARAYANAN, Sriram

Buku akses terbuka ini merupakan prosiding Konferensi Internasional ke-29 tentang Alat dan Algoritma untuk Konstruksi dan Analisis Sistem, TACAS 2023, yang diadakan sebagai bagian dari Konferensi Gabungan Eropa tentang Teori dan Praktik Perangkat Lunak, ETAPS 2023, selama 22-27 April 2023, di Paris, Prancis. 56 makalah lengkap dan 6 makalah demonstrasi alat singkat yang disajikan dalam volume i…

Edition
-
ISBN/ISSN
978-3-031-30820-8
Collation
1 online resource (XXIV, 604 Pages)
Series Title
-
Call Number
005.1 SAN t
cover
Tools and Algorithms for the Construction and Analysis of Systems: 29th Inter…
Comment Share
SHARYGINA, NatashaSANKARANARAYANAN, Sriram

This open access book constitutes the proceedings of the 29th International Conference on Tools and Algorithms for the Construction and Analysis of Systems, TACAS 2023, which was held as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2023, during April 22-27, 2023, in Paris, France. The 56 full papers and 6 short tool demonstration papers presented in this v…

Edition
1
ISBN/ISSN
9783031308239
Collation
XXIII, 708
Series Title
-
Call Number
-
cover
Tools and Algorithms for the Construction and Analysis of Systems: 29th Inter…
Comment Share
SHARYGINA, NatashaSANKARANARAYANAN, Sriram

This open access book constitutes the proceedings of the 29th International Conference on Tools and Algorithms for the Construction and Analysis of Systems, TACAS 2023, which was held as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2023, during April 22-27, 2023, in Paris, France. The 56 full papers and 6 short tool demonstration papers presented in this v…

Edition
1
ISBN/ISSN
9783031308208
Collation
XXIV, 604
Series Title
-
Call Number
-
cover
Validation of Evolving Software
Comment Share
CHOCKLER, HanaKROENING, DanielMARIANI, LeonardoSHARYGINA, Natasha

This book describes the methodology and accompanying technology for reducing the costs of validation of changes by introducing automatic techniques to analyze and test software increments. It builds a unified approach to efficient and reliable validation of changes and upgrades, and may be used as a research monograph and a reference book

Edition
-
ISBN/ISSN
978-3-319-10623-6
Collation
-
Series Title
-
Call Number
-
cover
Validation of Evolving Software
Comment Share
CHOCKLER, HanaKROENING, DanielMARIANI, LeonardoSHARYGINA, Natasha

This book describes the methodology and accompanying technology for reducing the costs of validation of changes by introducing automatic techniques to analyze and test software increments. It builds a unified approach to efficient and reliable validation of changes and upgrades, and may be used as a research monograph and a reference book.

Edition
-
ISBN/ISSN
978-3-319-10623-6
Collation
VIII, 220
Series Title
-
Call Number
-