Applying formal methods may involve the modelling of different aspects of a system that are expressed through different paradigms. This motivates us to research the combination of different viewpoints upon a system, either by the creation of hybrid notations, by extending existing notations, by translating between notations, or by incorporating a wider perspective by innovative use of an existing notation.<br>The integration of formal methods promises great benefits for systems modelling and software development. Whichever approach is taken, significant issues can arise in areas such as semantic integration, the tractability of notations, the integration of tool support, the integration of proof systems, consistency and completeness. Issues arise equally in our modelling of systems at different levels of abstraction and the development of these models through the process of refinement. <b>Keywords:</b> integration of different notations, paradigms, and tools, including integration of state–based and behavioural formalisms, and the formal strengthening of informal notations (e.g., UML).
Abbrevation
IFM
City
Canterbury
Country
UK
Deadline Paper
Start Date
End Date
Abstract