Farhad Arbab Bücher

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.

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.

This book constitutes revised selected papers of the 8th International Workshop on Formal Aspects of Component Software, FACS 2011, held in Oslo, Norway in September 2011. The 18 full papers presented together with 3 invited talks were carefully reviewed and selected from 46 submissions. They cover the topics of formal models for software components and their interaction, design and verification methods for software components and services, formal methods and modeling languages for components and services, industrial or experience reports, and case studies, autonomic components and self-managed applications, models for QoS and other extra-functional properties (e. g., trust, compliance, security) of components and services, formal and rigorous approaches to software adaptation and self-adaptive systems, and components for real-time, safety-critical, secure, and/or embedded systems.

This volume contains the proceedings of the Fifth International Conference on Coordination Models and Languages (Coordination 2002), held in York, UK, 8–11 April 2002. Coordination models and languages close the conceptual gap - tween the cooperation model used by the constituent parts of an application and the lower-level communication model used in its implementation. Coordinati- based methods provide a clean separation between individual software com- nents and their interactions within their overall software organization. This se- ration, together with the higher-level abstractions o? ered by coordination models and languages, improve software productivity, enhance maintainability, advocate modularity, promote reusability, and lead to software organizations and arc- tectures that are more tractable and more amenable to veri? cation and global analysis. Coordination is relevant in design, development, debugging, maintenance, and reuse of all complex concurrent and distributed systems. Speci? cally, - ordination becomes paramount in the context of open systems, systems with mobile entities, and dynamically re-con? gurable evolving systems. Moreover, - ordination models and languages focus on such key issues in Component Based Software Engineering as speci? cation, interaction, and dynamic composition of components.