2011 26th IEEE/ACM International Conference on Automated Software Engineering
Title | 2011 26th IEEE/ACM International Conference on Automated Software Engineering PDF eBook |
Author | IEEE Staff |
Publisher | |
Pages | 669 |
Release | 2011-11-06 |
Genre | Computer-aided software engineering |
ISBN | 9781457716393 |
2011 26th IEEE/ACM International Conference on Automated Software Engineering
Title | 2011 26th IEEE/ACM International Conference on Automated Software Engineering PDF eBook |
Author | ACM Digital Library |
Publisher | |
Pages | 669 |
Release | 2011-11-06 |
Genre | Computer science |
ISBN | 9781457716386 |
2011 26th IEEE/ACM International Conference on Automated Software Engineering (ASE 2011)
Title | 2011 26th IEEE/ACM International Conference on Automated Software Engineering (ASE 2011) PDF eBook |
Author | |
Publisher | |
Pages | 669 |
Release | 2011 |
Genre | Computer-aided software engineering |
ISBN |
Software Engineering
Title | Software Engineering PDF eBook |
Author | Bertrand Meyer |
Publisher | Springer |
Pages | 197 |
Release | 2016-01-12 |
Genre | Computers |
ISBN | 3319284061 |
The LASER Summer School is intended for professionals from industry (engineers and managers) as well as university researchers, including PhD students. Participants learn about the most important software technology advances from pioneers in the field. Since its inception in 2004, the LASER Summer School has focused on an important software engineering topic each year. This volume contains selected lecture notes from the 10th LASER Summer School on Software Engineering: Leading-Edge Software Engineering.
Software Engineering and Methodology for Emerging Domains
Title | Software Engineering and Methodology for Emerging Domains PDF eBook |
Author | Zheng Li |
Publisher | Springer Nature |
Pages | 173 |
Release | 2019-09-11 |
Genre | Computers |
ISBN | 9811503109 |
This book constitutes the thoroughly refereed proceedings of the 16th National Conference, NASAC 2017, held in Harbin, China, in November 2017, and the 17th National Conference, NASAC 2018, held in Shenzhen, China, in November 2018. The 6 revised selected papers were selected from 17 submissions for NASAC 2017, and 5 revised selected papers were selected from 20 submissions for NASAC 2018. The papers focus on all aspects of software engineering, e.g. requirements engineering, software methodologies, software analytics, software testing and evolution, and empirical studies.
Formal Methods and Software Engineering
Title | Formal Methods and Software Engineering PDF eBook |
Author | Toshiaki Aoki |
Publisher | Springer |
Pages | 524 |
Release | 2012-10-29 |
Genre | Computers |
ISBN | 3642342817 |
This book constitutes the refereed proceedings of the 14th International Conference on Formal Engineering Methods, ICFEM 2012, held in Kyoto, Japan, November 2012. The 31 revised full papers together with 3 invited talks presented were carefully reviewed and selected from 85 submissions. The papers address all current issues in formal methods and their applications in software engineering. They are organized in topical sections on concurrency, applications of formal methods to new areas, quantity and probability, formal verification, modeling and development methodology, temporal logics, abstraction and refinement, tools, as well as testing and runtime verification.
Fundamental Approaches to Software Engineering
Title | Fundamental Approaches to Software Engineering PDF eBook |
Author | Reiner Hähnle |
Publisher | Springer |
Pages | 448 |
Release | 2019-04-03 |
Genre | Computers |
ISBN | 3030167224 |
This book is Open Access under a CC BY licence. This book constitutes the proceedings of the 22nd International Conference on Fundamental Approaches to Software Engineering, FASE 2019, which took place in Prague, Czech Republic in April 2019, held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2019.The 24 papers presented in this volume were carefully reviewed and selected from 94 submissions. The papers are organized in topical sections named: software verification; model-driven development and model transformation; software evolution and requirements engineering; specification, design, and implementation of particular classes of systems; and software testing.