10times
28 - 29 Oct 2021

International Conference on Formal Aspects of Component Software

AboutSpeakersExhibitorsReviewsPhotos

Timings

09:00 AM - 06:00 PM
Not Verified

Official Links

Estimated Turnout

upto 100
Delegates

Editions

Oct 2021

Frequency

Newly Listed
Claim event to edit details

The 17th edition of the International Conference on Formal Aspects of Component Software (FACS) will be held online (originally Grenoble) on .. Read more October 28– 29, 2021. Component-based software development proposes sound engineering principles and techniques to cope with the complexity of present-day software systems. However, many challenging conceptual and technological issues remain in component-based software development theory and practice. Furthermore, the advent of service-oriented and cloud computing, cyber-physical systems, and the Internet of Things has brought to the fore new dimensions, such as quality of service and robustness to withstand faults, which require revisiting established concepts and developing new ones. FACS 2021 is concerned with how formal methods can be applied to component-based software and system development. Formal methods have provided foundations for component-based software through research on mathematical models for components, composition and adaptation, and rigorous approaches to verification, deployment, testing, and certification.

  • Share your Experience
  • Organizer
LogoRequest a Booth

INRIA

France30 Total Events / 3 Upcoming Events

More Events From The Organizer