BEGIN:VCALENDAR VERSION:2.0 PRODID:ILLC Website X-WR-TIMEZONE:Europe/Amsterdam BEGIN:VTIMEZONE TZID:Europe/Amsterdam X-LIC-LOCATION:Europe/Amsterdam BEGIN:DAYLIGHT TZOFFSETFROM:+0100 TZOFFSETTO:+0200 TZNAME:CEST DTSTART:19700329T020000 RRULE:FREQ=YEARLY;BYMONTH=3;BYDAY=-1SU END:DAYLIGHT BEGIN:STANDARD TZOFFSETFROM:+0200 TZOFFSETTO:+0100 TZNAME:CET DTSTART:19701025T030000 RRULE:FREQ=YEARLY;BYMONTH=10;BYDAY=-1SU END:STANDARD END:VTIMEZONE BEGIN:VEVENT UID:/NewsandEvents/Archives/2019/newsitem/11158/23 ---25-October-2019-16th-International-Conference-o n-Formal-Aspects-of-Component-Software-FACS-2019-A msterdam-The-Netherlands DTSTAMP:20190926T170559 SUMMARY:16th International Conference on Formal As pects of Component Software (FACS 2019), Amsterdam , The Netherlands DTSTART;VALUE=DATE:20191023 DTEND;VALUE=DATE:20191025 LOCATION:Amsterdam, The Netherlands DESCRIPTION:Component-based software development p roposes sound engineering principles and technique s to cope with the complexity of present-day softw are systems. However, many challenging conceptual and technological issues remain in component-based software development theory and practice. Further more, the advent of service-oriented and cloud com puting, cyber-physical systems, and the Internet o f Things has brought to the fore new dimensions, s uch as quality of service and robustness to withst and faults, which require revisiting established c oncepts and developing new ones. FACS 2019 is con cerned with how formal methods can be applied to c omponent-based software and system development. Fo rmal methods have provided foundations for compone nt-based software through research on mathematical models for components, composition and adaptation , and rigorous approaches to verification, deploym ent, testing, and certification. X-ALT-DESC;FMTTYPE=text/html:\n
Component-base d software development proposes sound engineering principles and techniques to cope with the complex ity of present-day software systems. However, many challenging conceptual and technological issues r emain in component-based software development theo ry and practice. Furthermore, the advent of servic e-oriented and cloud computing, cyber-physical sys tems, and the Internet of Things has brought to th e fore new dimensions, such as quality of service and robustness to withstand faults, which require revisiting established concepts and developing new ones.
\n\nFACS 2019 is concerned with how formal methods can be applied to component-based software and system development. Formal methods ha ve provided foundations for component-based softwa re through research on mathematical models for com ponents, composition and adaptation, and rigorous approaches to verification, deployment, testing, a nd certification.
URL:http://facs2019.org/ END:VEVENT END:VCALENDAR