Formal Aspects of Component Software, 1st ed. 2017 14th International Conference, FACS 2017, Braga, Portugal, October 10-13, 2017, Proceedings Programming and Software Engineering Series
Coordonnateurs : Proença José, Lumpe Markus
The 14 full papers presented were carefully reviewed and selected from 26 submissions. FACS 2016 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.
Includes supplementary material: sn.pub/extras
Date de parution : 09-2017
Ouvrage de 251 p.
15.5x23.5 cm
Disponible chez l'éditeur (délai d'approvisionnement : 15 jours).
Prix indicatif 52,74 €
Ajouter au panier