Proceedings of the 22nd ACM SIGSOFT International Symposium on Foundations of Software Engineering
Title | Proceedings of the 22nd ACM SIGSOFT International Symposium on Foundations of Software Engineering PDF eBook |
Author | Shing-Chi Cheung |
Publisher | |
Pages | 856 |
Release | 2014 |
Genre | Computer science |
ISBN | 9781450330565 |
22nd ACM SIGSOFT International Symposium on the Foundations of Software Engineering (FSE 2014)
Title | 22nd ACM SIGSOFT International Symposium on the Foundations of Software Engineering (FSE 2014) PDF eBook |
Author | |
Publisher | |
Pages | 856 |
Release | 2014 |
Genre | Computer software |
ISBN |
Proceedings of the 16th ACM SIGSOFT International Symposium on Foundations of Software Engineering
Title | Proceedings of the 16th ACM SIGSOFT International Symposium on Foundations of Software Engineering PDF eBook |
Author | Mary Jean Harrold |
Publisher | |
Pages | 369 |
Release | 2008 |
Genre | Computer science |
ISBN | 9781595939951 |
Fundamentals of Software Engineering
Title | Fundamentals of Software Engineering PDF eBook |
Author | Hossein Hojjat |
Publisher | Springer Nature |
Pages | 261 |
Release | 2019-09-21 |
Genre | Computers |
ISBN | 3030315177 |
This book constitutes the thoroughly refereed post-conference proceedings of the 8th International Conference on Fundamentals of Software Engineering, FSEN 2019, held in Tehran, Iran, in May 2019. The 14 full papers and 3 short papers presented in this volume were carefully reviewed and selected from 47 submissions. The topics of interest in FSEN span over all aspects of formal methods, especially those related to advancing the application of formal methods in the software industry and promoting their integration with practical engineering techniques. The papers are organized in topical sections on agent based systems, theorem proving, learning, verification, distributed algorithms, and program analysis.
Proceedings of the ACM SIGSOFT Sixth International Symposium on the Foundations of Software Engineering
Title | Proceedings of the ACM SIGSOFT Sixth International Symposium on the Foundations of Software Engineering PDF eBook |
Author | International Symposium on the Foundations of Software Engineering |
Publisher | |
Pages | 260 |
Release | 1998 |
Genre | Computer science |
ISBN |
Proceedings of the ACM SIGSOFT Eighth International Symposium on the Foundations of Software Engineering
Title | Proceedings of the ACM SIGSOFT Eighth International Symposium on the Foundations of Software Engineering PDF eBook |
Author | David S. Rosenblum |
Publisher | |
Pages | 188 |
Release | 2000 |
Genre | Computer software |
ISBN |
Sigsoft/Fse 11 Proceedings of the 19th ACM Sigsoft Symposium on Foundations of Software Engineering
Title | Sigsoft/Fse 11 Proceedings of the 19th ACM Sigsoft Symposium on Foundations of Software Engineering PDF eBook |
Author | Sigsoft Fse Conference Committee |
Publisher | |
Pages | 548 |
Release | 2011-10-01 |
Genre | Computers |
ISBN | 9781450304436 |
ACM SIGSOFT / FSE is one of the premier forums for researchers, practitioners and educators to present and discuss the most recent ideas, innovations, trends, and experiences in the field of software engineering. The distinctive features of FSE are an emphasis on the foundations of the field, the relatively small scale of the event, and the intense intellectual engagement among participants