<pre>ICFEM brings together those interested in the application of formal<br>engineering methods to computer systems. Researchers and<br>practitioners, from industry, academia, and government, are<br>encouraged to attend, and to help advance the state of the art. We<br>are interested in work that has been incorporated into real<br>production systems, and in theoretical work that promises to bring<br>practical, tangible benefit.<br>The topics of the conference include, but are not limited to, the<br>following.<br>Formal model–based development and code generation<br>Abstraction and refinement<br>Specification, verification and validation<br>Formal testing approaches<br>Integrated methods and theories for different programming paradigms<br>Formal methods for object and component systems<br>Tool development and integration<br>Experiments involving verified systems<br>Applications of formal methods<br>There will be a special track on UML (but in the scope of the ICFEM<br>remit as described above). ICFEM′09 will have a five–day technical<br>programme, including two days for tutorials and workshops, and three<br>days for a conference.</pre>
Abbrevation
ICFEM
City
Rio de Janeiro
Country
Brazil
Deadline Paper
Start Date
End Date
Abstract