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

Author: Wei Lu

Publisher: Springer Science & Business Media

Published: 2012-11-06

Total Pages: 957

ISBN-13: 364234531X

DOWNLOAD EBOOK

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.

Tools and Methods of Program Analysis
Tools and Methods of Program Analysis

Author: Anna Kalenkova

Publisher: Springer Nature

Published: 2021-03-16

Total Pages: 216

ISBN-13: 3030714721

DOWNLOAD EBOOK

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
Tools and Methods of Program Analysis

Author: Vladimir Itsykson

Publisher: Springer

Published: 2017-12-29

Total Pages: 225

ISBN-13: 3319717340

DOWNLOAD EBOOK

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.

Proceedings of the Sixth SIAM International Conference on Data Mining
Proceedings of the Sixth SIAM International Conference on Data Mining

Author: Joydeep Ghosh

Publisher: SIAM

Published: 2006-04-01

Total Pages: 662

ISBN-13: 9780898716115

DOWNLOAD EBOOK

The Sixth SIAM International Conference on Data Mining continues the tradition of presenting approaches, tools, and systems for data mining in fields such as science, engineering, industrial processes, healthcare, and medicine. The datasets in these fields are large, complex, and often noisy. Extracting knowledge requires the use of sophisticated, high-performance, and principled analysis techniques and algorithms, based on sound statistical foundations. These techniques in turn require powerful visualization technologies; implementations that must be carefully tuned for performance; software systems that are usable by scientists, engineers, and physicians as well as researchers; and infrastructures that support them.

Fundamental Approaches to Software Engineering
Fundamental Approaches to Software Engineering

Author: Stefania Gnesi

Publisher: Springer

Published: 2014-03-21

Total Pages: 444

ISBN-13: 3642548040

DOWNLOAD EBOOK

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.

Languages and Compilers for Parallel Computing
Languages and Compilers for Parallel Computing

Author: Bill Pugh

Publisher: Springer Science & Business Media

Published: 2005-12-13

Total Pages: 386

ISBN-13: 3540307818

DOWNLOAD EBOOK

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.

Application Software Re-engineering
Application Software Re-engineering

Author: Aalam M. Afshar

Publisher: Pearson Education India

Published: 2010-09

Total Pages: 260

ISBN-13: 9788131731857

DOWNLOAD EBOOK

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
Formal Methods and Software Engineering

Author: Zhiming Liu

Publisher: Springer Science & Business Media

Published: 2006-10-24

Total Pages: 788

ISBN-13: 3540474609

DOWNLOAD EBOOK

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
Rigorous State-Based Methods

Author: Alexander Raschke

Publisher: Springer Nature

Published: 2020-05-22

Total Pages: 432

ISBN-13: 3030480771

DOWNLOAD EBOOK

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).