Free Delivery Over $100
|
|
|||
|
||||
OverviewThis 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. Full Product DetailsAuthor: Farhad Arbab , Sung-Shik JongmansPublisher: Springer Nature Switzerland AG Imprint: Springer Nature Switzerland AG Edition: 1st ed. 2020 Volume: 12018 Weight: 0.454kg ISBN: 9783030409135ISBN 10: 3030409139 Pages: 261 Publication Date: 13 February 2020 Audience: Professional and scholarly , Professional & Vocational Format: Paperback Publisher's Status: Active Availability: Manufactured on demand  We will order this item for you from a manufactured on demand supplier. Table of ContentsFormal Logic.- Formal Methods.- Programming Languages.- Semantics.- Software Engineering.- Specifications.- Theorem Proving.ReviewsAuthor InformationTab Content 6Author Website:Countries AvailableAll regions |
||||
