International Symposium on Fundamentals of Software Engineering

Más información sobre el libro

The present volume contains the post-proceedings of the second International Symposium on Fundamentals of Software Engineering (FSEN), held in Tehran, Iran, from April 17–19, 2007. 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 event also received support from the University of Tehran and Sharif University of Technology. FSEN 2007 gathered researchers and practitioners focused on various aspects of formal methods in software engineering, emphasizing their application in the software industry and integration with practical engineering techniques. A distinguished program committee, comprising top researchers from 23 academic institutions across 9 countries, curated the technical content. Out of 73 submissions, 22 were selected as regular papers and 8 as short papers for publication, alongside 6 papers accepted for poster presentations. Each submission underwent rigorous review by at least three independent referees, assessing quality, originality, contribution, clarity, and relevance to the symposium themes. The event attracted 93 registered participants from 12 countries, fostering international collaboration and knowledge exchange.