› › Proceedings Of The Acm Sigplan Sigsoft Workshop On Program Analysis For Software Tools And Engineering

Tools and Methods of Program Analysis

Author : Anna Kalenkova

Publisher : Springer Nature

Page : 216 pages

File Size : 37,90 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 : 48,5 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.





Languages and Compilers for Parallel Computing

Author : Bill Pugh

Publisher : Springer Science & Business Media

Page : 386 pages

File Size : 44,33 MB

Release : 2005-12-13

Category : Computers

ISBN : 3540307818

Get eBook

Book Description

This book constitutes the thoroughly refereed post-proceedings of the 15th International Workshop on Languages and Compilers for Parallel Processing, LCPC 2002, held in College Park, MD, USA in July 2002. The 26 revised full papers presented were carefully selected during two rounds of reviewing and improvement from 32 submissions. All current issues in parallel processing are addressed, in particular memory-constrained computation, compiler optimization, performance studies, high-level languages, programming language consistency models, dynamic parallelization, parallelization of data mining algorithms, parallelizing compilers, garbage collection algorithms, and evaluation of iterative compilation.



Fundamental Approaches to Software Engineering

Author : Stefania Gnesi

Publisher : Springer

Page : 444 pages

File Size : 49,71 MB

Release : 2014-03-21

Category : Computers

ISBN : 3642548040

Get eBook

Book Description

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.



Application Software Re-engineering

Author : Aalam M. Afshar

Publisher : Pearson Education India

Page : 260 pages

File Size : 40,18 MB

Release : 2010-09

Category : Software engineering

ISBN : 9788131731857

Get eBook

Book Description

Application Software Re-engineering is about reorganizing and modifying existing software systems to make them more maintainable and user friendly. It also powerfully dwells on the aspects of general Application Software Reengineering across variou.



Formal Methods and Software Engineering

Author : Zhiming Liu

Publisher : Springer Science & Business Media

Page : 788 pages

File Size : 33,35 MB

Release : 2006-10-24

Category : Computers

ISBN : 3540474609

Get eBook

Book Description

This book constitutes the refereed proceedings of the 8th International Conference on Formal Engineering Methods, ICFEM 2006, held in Macao, China, in November 2006. The 38 revised full papers presented together with three keynote talks were carefully reviewed and selected from 108 submissions. The papers address all current issues in formal methods and their applications in software engineering.



Rigorous State-Based Methods

Author : Alexander Raschke

Publisher : Springer Nature

Page : 432 pages

File Size : 35,3 MB

Release : 2020-05-22

Category : Mathematics

ISBN : 3030480771

Get eBook

Book Description

This book constitutes the refereed proceedings of the 7th International Conference on Rigorous State-Based Methods, ABZ 2020, which was due to be held in Ulm, Germany, in May 2020. The conference was cancelled due to the COVID-19 pandemic. The 12 full papers and 9 short papers were carefully reviewed and selected from 61 submissions. They are presented in this volume together with 2 invited papers, 6 PhD-Symposium-contributions, as well as the case study and 6 accepted papers outlining solutions to it. The papers are organized in the following sections: keynotes and invited papers; regular research articles; short articles; articles contributing to the case study; short articles of the PhD-symposium (work in progress).



Foundations of Software Testing

Author : Aditya Mathur

Publisher : Pearson Education India

Page : 712 pages

File Size : 48,2 MB

Release : 2007

Category : Computer software

ISBN : 9788131707951

Get eBook

Book Description

"This book presents sound engineering approaches for test generation, selection, minimization, assessment, and enhancement. Using numerous examples, it offers a lucid description of a wide range of simple to complex techniques for a variety of testing-related tasks"--Resource description page.



Proceedings of the 2012 International Conference on Information Technology and Software Engineering

Author : Wei Lu

Publisher : Springer Science & Business Media

Page : 957 pages

File Size : 26,67 MB

Release : 2012-11-06

Category : Computers

ISBN : 364234531X

Get eBook

Book Description

Proceedings of the 2012 International Conference on Information Technology and Software Engineering presents selected articles from this major event, which was held in Beijing, December 8-10, 2012. This book presents the latest research trends, methods and experimental results in the fields of information technology and software engineering, covering various state-of-the-art research theories and approaches. The subjects range from intelligent computing to information processing, software engineering, Web, unified modeling language (UML), multimedia, communication technologies, system identification, graphics and visualizing, etc. The proceedings provide a major interdisciplinary forum for researchers and engineers to present the most innovative studies and advances, which can serve as an excellent reference work for researchers and graduate students working on information technology and software engineering. Prof. Wei Lu, Dr. Guoqiang Cai, Prof. Weibin Liu and Dr. Weiwei Xing all work at Beijing Jiaotong University.