Integrated formal methods

Meer over het boek

The third international conference on Integrated Formal Methods took place in Turku, Finland, from May 15–17, 2002, organized by Abo Akademi University and the Turku Centre for Computer Science. Building on previous themes, IFM 2002 aimed to further explore the integration of formal methods and notations, particularly focusing on the relationship between formal methods and graphical notations like the Unified Modeling Language (UML). This conference reflected a growing trend within the Formal Methods and Software Engineering research communities, highlighting the advancements made over the past three decades. Researchers have developed various formalisms that address specific aspects of behavior or analysis, including sequential and concurrent program structures, data and information structures, temporal reasoning, deductive proof, and model checking. A significant effort is now directed toward integrating these methods to leverage their advantages and meet industrial demands. Additionally, the increasing use of graphical notations in software engineering underscores the need for formal underpinnings and analysis capabilities that formal methods provide. This integration is essential for ensuring that formal methods can effectively scale to meet the needs of the industry.