The goal of the FMOODS series of conferences is to bring together researchers and practitioners whose work encompasses three important and related fields: formal methods , distributed systems, object–based technology. <b>Keywords:</b> Semantics and implementation of object–oriented programming and (visual) modelling languages<br>Formal techniques for specification, design, analysis, verification, validation and testing<br>Model checking, theorem proving and deductive verification<br>Type systems and behavioural typing<br>Formal methods for service–oriented computing<br>Formal techniques for security and trust in global computing<br>Formalization of runtime system evolution (e.g. dynamic updates, reconfiguration)<br>Multiple viewpoint modelling and consistency between different views<br>Model transformations and refactorings<br>Integration of quality of service requirements into formal models<br>Formal approaches to component–based design<br>Applications of formal methods (e.g. web services, multimedia, telecommunications)<br>Experience reports on best practices and tools<br>
Abbrevation
FMOODS
City
Oslo
Country
Norway
Deadline Paper
Start Date
End Date
Abstract