๐”– Bobbio Scriptorium
โœฆ   LIBER   โœฆ

Selected papers on Integrated Formal Methods (iFM09)

โœ Scribed by Michael Leuschel; Heike Wehrheim

Publisher
Elsevier Science
Year
2011
Tongue
English
Weight
136 KB
Volume
76
Category
Article
ISSN
0167-6423

No coin nor oath required. For personal study only.

โœฆ Synopsis

Preface

Selected papers on Integrated Formal Methods (iFM09) This issue contains extended versions of selected papers from the 7th International Conference on Integrated Formal Methods, iFM09, held on 16-19 February 2009 in Dรผsseldorf, Germany. The Integrated Formal Methods conference series seeks to further research into the combination of different formal methods, both for modeling and analysis, covering all aspects from language design over verification techniques to tools and their integration into software engineering practice. For the 2009 conference, 21 papers were accepted by the program committee. Of these, six were selected for submission to the special issue, and after some extensive reviewing all six have finally been accepted.

The papers take a look at the area of integrated formal methods from different perspectives. The article by

๐Ÿ“œ SIMILAR VOLUMES

Remarks on partial selective reduced int
Remarks on partial selective reduced integration method for Reissnerโ€“Mindlin plate problem
โœ C. Chinosi; C. Lovadina ๐Ÿ“‚ Article ๐Ÿ“… 1999 ๐Ÿ› Elsevier Science ๐ŸŒ English โš– 166 KB

We deal with the approximation of the ReissnerยฑMindlin plate problem by means of ยฎnite element techniques. We consider a non-standard mixed formulation recently proposed by Arnold and Brezzi. These methods are based on a suitable splitting, depending on a parameter, of the shear energy term into two