Search

Select theme:

Shopping cart

Subtotal
$97.00
View cart Checkout

Saved articles

You have not yet added any article to your bookmarks!

Browse articles
Newsletter image

Subscribe to the Newsletter

Join 10k+ people to get notified about new posts, news and tips.

Do not worry we don't spam!

GDPR Compliance

We use cookies to ensure you get the best experience on our website. By continuing to use our site, you accept our use of cookies, Privacy Policy, and Terms of Service.

  • Home
Formal Aspects of Component Software

Formal Aspects of Component Software

By Farhad Arbab & Sung-Shik Jongmans Software 12/02/2020

This book constitutes the thoroughly revised selected papers from the 16th International Conference on Formal Aspects of Component Software, FACS 2019, held in Amsterdam, The Netherlands, in October 2019.
The 9 full papers presented together with 9 full papers and 3 short papers as well as 2 other papers were carefully reviewed and selected from 27 submissions. FACS 2019 is concerned with how formal methods can be used to make component-based and service-oriented software development succeed. Formal methods have provided a foundation for component-based software by successfully addressing challenging issues such as mathematical models for components, composition and adaptation, or rigorous approaches to verification, deployment, testing, and certification.

Read More
More Books from Farhad Arbab & Sung-Shik Jongmans
International Symposium on Fundamentals of Software Engineering Farhad Arbab & Marjan Sirjani
International Symposium on Fundamentals of Software Engineering
Fundamentals of Software Engineering Farhad Arbab & Marjan Sirjani
Fundamentals of Software Engineering
Fundamentals of Software Engineering Farhad Arbab & Marjan Sirjani
Fundamentals of Software Engineering
Formal Aspects of Component Software Farhad Arbab & Sung-Shik Jongmans
Formal Aspects of Component Software
Comments