The goal of this conference is to bring together industrial, academic, and government experts, from a variety of user domains and software disciplines, to help advance the state of the art. Researchers, practitioners, tool developers and users, and technology transfer experts are all welcome. We are interested in work that has been incorporated into real production systems, and in theoretical work that promises to bring practical, tangible engineering benefits.<br>ICFEM 2017 will be organized and sponsored by Xidian University and will be held in Xi’an, one of the oldest cities in the world with a vivid and rich history and culture, China, during 13th ~ 17th November 2017. We are looking forward to your contribution and participation.<br>Submissions related to the following principal themes are encouraged, but any topics relevant to the field of formal engineering methods and their practical applications will also be considered.<br>Abstraction, refinement and evolution<br>Formal specification and modeling<br>Program analysis<br>Formal verification<br>Model checking<br>Formal approaches to software testing and inspection<br>Formal methods for self–adaptive systems<br>Formal methods for object–oriented systems<br>Formal methods for component–based systems<br>Formal methods for concurrent and real–time systems<br>Formal methods for cloud computing<br>Formal methods for cyber–physical systems<br>Formal methods for software safety, security, reliability and dependability<br>Tool development, integration and experiments involving verified systems<br>Formal methods used in certifying products under international standards<br>Formal model–based development and code generation<br>
Abbrevation
ICFEM
City
Xi'an
Country
China
Deadline Paper
Start Date
End Date
Abstract