Fundamentals of software engineering

Viac o knihe

This volume presents the proceedings of the Third IPM International Conference on Fundamentals of Software Engineering (FSEN), held in Kish, Iran, from April 15–17, 2009. Organized by the School of Computer Science at the Institute for Studies in Fundamental Sciences (IPM) in collaboration with ACM SIGSOFT and IFIP WG 2.2, the conference gathered around 100 researchers and practitioners from 15 countries, focusing on various aspects of formal methods in software engineering. The topics covered include advancing the application of formal methods in the software industry and their integration with practical engineering techniques. The Program Committee, comprised of leading researchers from 24 academic institutions across 11 countries, reviewed 88 submissions from 25 countries, ultimately selecting 22 regular papers, 5 short papers, and 7 poster presentations for the conference program. Each submission underwent evaluation by at least three independent referees for quality, originality, and relevance. This volume includes revised versions of the accepted regular and short papers. Additionally, three distinguished keynote speakers presented on models of computation, verification and performance analysis for real-time systems, and component-based model-driven development, with their contributions also included after independent review.