London software testing news UK


Call For Papers: 14th International Workshop on Formal Methods

Posted in Events and improvement,Software testing by testing in London on November 8, 2008

From http://www.dsic.upv.es/workshops/fmics2009/scope.php

The aim of the ERCIM FMICS workshop series is to provide a forum for researchers who are interested in the development and application of formal methods in industry. In particular, these workshops bring together scientists and engineers that are active in the area of formal methods and interested in exchanging their experiences in the industrial usage of these methods.

Topics include, but are not restricted to:

  • Design, specification, code generation and testing based on formal methods.
  • Methods, techniques and tools to support automated analysis, certification, debugging, learning, optimisation and transformation of complex, distributed, real-time systems and embedded systems.
  • Verification and validation methods that address shortcomings of existing methods with respect to their industrial applicability (e.g., scalability and usability issues).- Tools for the development of formal design descriptions.
  • Case studies and experience reports on industrial applications of formal methods, focusing on lessons learned or identification of new research directions.

Testing software acceptance

Leave a Reply

Fill in your details below or click an icon to log in:

WordPress.com Logo

You are commenting using your WordPress.com account. Log Out / Change )

Twitter picture

You are commenting using your Twitter account. Log Out / Change )

Facebook photo

You are commenting using your Facebook account. Log Out / Change )

Google+ photo

You are commenting using your Google+ account. Log Out / Change )

Connecting to %s


%d bloggers like this: