Formal Methods, Computational Intelligence and Constraint Programming for Software Assurance Workshop, Guimaraes, Portugal

Abbrevation

FMCICA

Link

http://www.lac.inpe.br/fmcica/

City

Guimaraes

Country

Portugal

Deadline Paper

2014-02-01

Start Date

2014-06-30

End Date

2014-07-03

Abstract

Mathematical rigor related to Formal Methods enables the analysis of a system at any phase of the software development lifecycle. However, it is still necessary that efforts are devoted to the application of Formal Methods in practice and in large scale. Computational Intelligence is another area of research that can improve Software Assurance. The use of machine learning to generate software test cases and to find defects in software, and the application of data mining to software formal verification are some examples of Computational Intelligence supporting the improvement of Software Assurance. Constraint Programming has been used in the context of software verification. Recent studies have been trying to combine Formal Methods and Constraint Programming to produce high quality software products but there is still much research to do in these fields. The goals of this workshop are two: 1.) Encouraging the use of Formal Methods in practice and in large scale, by means of reports of experiences aimed at improving Software Assurance (Software Quality Assurance, Software Quality Control, Software Reliability, Software Verification and Validation); 2.) Promoting interdisciplinarity with the combination of Formal Methods, Computational Intelligence, and Constraint Programming aiming at increasing Software Assurance. Topics of interest include but are not limited to: – Formal Methods and Constraint Programming for Software Verification and Validation – Formal Methods for real–time and critical systems – Formal Methods for service–oriented systems – Model Checking and Theorem Proving for test case generation – Formal testing – Model Checking for software inspection – Methodologies for Software Assurance based on Formal Methods, and/or Computational Intelligence, and/or Constraint Programming – Probabilistic analysis using Model Checking and Theorem Proving – Artificial Neural Networks for Software Verification and Validation – Machine Learning for Software Verification and Validation – Data Mining for Software Verification and Validation – Data Mining in software metrics – Tools and frameworks to support the formal development of software systems – Experience reports of application of Formal Methods, Computational Intelligence, and Constraint Programming for improving Software Assurance (Software Quality Assurance, Software Quality Control, Software Reliability, Software Verification and Validation)