Atlas home || Conferences | Abstracts | about Atlas
Host: Humboldt Universität zu Berlin
Homepage: http://www.informatik.hu-berlin.de/top/fme2001/
Description:
Call for Submissions
FME 2001 is the tenth in a series of symposia organised by Formal Methods Europe, an independent association whose aim is to stimulate the use of, and research on, formal methods for software development. These symposia have been notably successful in bringing together a community of users, researchers, and developers of precise mathematical methods for software development.
The theme of FME 2001 is Formal Methods for Increasing Software Productivity. This theme recognizes that formal methods have the potential to do more for industrial software development than enhance software quality--they can also increase productivity at many different points in the software life-cycle. The symposium committee is particularly interested in papers on the use of formal methods to increase productivity, for example on:
Codifying domain knowledge; Re-using components; Automatically generating code and/or documentation; Improving the efficiency of software testing; Enhancing analysis techniques for validation and verification; Exploiting commonalities within product families; Improving the maintainability and modifiability of software; Empirical studies of effects on productivity.
Date received: May 11, 2000
© 2008 Atlas Conferences Inc.