› › Tools Methods Of Program Analysis Tmpa

Tools and Methods of Program Analysis

Author : Anna Kalenkova

Publisher : Springer Nature

Page : 216 pages

File Size : 32,34 MB

Release : 2021-03-16

Category : Computers

ISBN : 3030714721

Get eBook

Book Description

This book constitutes the refereed proceedings of the 5th International Conference on Tools and Methods for Program Analysis, TMPA 2019, held in Tbilisi, Georgia, in November 2019. The 14 revised full papers and 2 revised short papers presented together with one keynote paper were carefully reviewed and selected from 41 submissions. The papers deal with topics such as software test automation, static program analysis, verification, dynamic methods of program analysis, testing and analysis of parallel and distributed systems, testing and analysis of high-load and high-availability systems, analysis and verification of hardware and software systems, methods of building quality software, tools for software analysis, testing and verification.



Tools and Methods of Program Analysis

Author : Vladimir Itsykson

Publisher : Springer

Page : 225 pages

File Size : 47,97 MB

Release : 2017-12-29

Category : Computers

ISBN : 3319717340

Get eBook

Book Description

This book constitutes the refereed proceedings of the 4th International Conference on Tools and Methods for Program Analysis, TMPA 2017, Moscow, Russia, March 3-4, 2017. The 12 revised full papers and 5 revised short papers presented together with three abstracts of keynote talks were carefully reviewed and selected from 51 submissions. The papers deal with topics such as software test automation, static program analysis, verification, dynamic methods of program analysis, testing and analysis of parallel and distributed systems, testing and analysis of high-load and high-availability systems, analysis and verification of hardware and software systems, methods of building quality software, tools for software analysis, testing and verification.



Tools and Methods of Program Analysis

Author : Rostislav Yavorskiy

Publisher : Springer Nature

Page : 205 pages

File Size : 30,88 MB

Release : 2024-01-02

Category : Computers

ISBN : 3031504232

Get eBook

Book Description

This book constitutes the refereed proceedings of the 6th International Conference on Tools and Methods of Program Analysis, TMPA 2021, held in Tomsk, Russia, during November 25–27, 2021. The 15 full papers and 3 short papers included in this book were carefully reviewed and selected from 45 submissions. They focus on various aspects of application of modern methods of data science to the analysis of software quality.



ECOOP 2004 - Object-Oriented Programming

Author : Martin Odersky

Publisher : Springer Science & Business Media

Page : 622 pages

File Size : 37,62 MB

Release : 2004-06-08

Category : Computers

ISBN : 354022159X

Get eBook

Book Description

This book constitutes the refereed proceedings of the 18th European Conference on Object-Oriented Programming, ECOOP 2004, held in Oslo, Norway in June 2004. The 25 revised full papers presented together with the abstracts of 2 invited talks were carefully reviewed and selected from a total of 132 submissions. The papers are organized in topical sections on encapsulation, program analysis, software engineering, aspects, middleware, types, verification, and systems.





Fundamental Approaches to Software Engineering

Author : Maura Cerioli

Publisher : Springer Science & Business Media

Page : 384 pages

File Size : 50,37 MB

Release : 2005-03-24

Category : Computers

ISBN : 354025420X

Get eBook

Book Description

This book constitutes the refereed proceedings of the 8th International Conference on Fundamental Approaches to Software Engineering, FASE 2005, held in Edinburgh, UK in April 2005 as part of ETAPS. The 25 revised full papers presented together with an invited paper were carefully reviewed and selected from 105 submissions. The papers are organized in topical sections on Web services, graph grammars and graph transformations, components, product lines, theory, code understanding and validation, UML, and automatic proofs and provers.



Information and Software Technologies

Author : Robertas Damaševičius

Publisher : Springer Nature

Page : 621 pages

File Size : 35,31 MB

Release : 2019-10-03

Category : Computers

ISBN : 303030275X

Get eBook

Book Description

This book constitutes the refereed proceedings of the 25th International Conference on Information and Software Technologies, ICIST 2019, held in Vilnius, Lithuania, in October 2019. The 46 papers presented were carefully reviewed and selected from 121 submissions. The papers are organized in topical sections on information systems; business intelligence for information and software systems; information technology applications; software engineering.







Tools and Algorithms for the Construction and Analysis of Systems

Author : Armin Biere

Publisher : Springer Nature

Page : 425 pages

File Size : 50,79 MB

Release : 2020-04-17

Category : Computers

ISBN : 3030452379

Get eBook

Book Description

This open access two-volume set constitutes the proceedings of the 26th International Conference on Tools and Algorithms for the Construction and Analysis of Systems, TACAS 2020, which took place in Dublin, Ireland, in April 2020, and was held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2020. The total of 60 regular papers presented in these volumes was carefully reviewed and selected from 155 submissions. The papers are organized in topical sections as follows: Part I: Program verification; SAT and SMT; Timed and Dynamical Systems; Verifying Concurrent Systems; Probabilistic Systems; Model Checking and Reachability; and Timed and Probabilistic Systems. Part II: Bisimulation; Verification and Efficiency; Logic and Proof; Tools and Case Studies; Games and Automata; and SV-COMP 2020.