Olga Kouchnarenko – författare
Visar alla böcker från författaren Olga Kouchnarenko. Handla med fri frakt och snabb leverans.
2 produkter
2 produkter
Del 10231 - Lecture Notes in Computer Science
Formal Aspects of Component Software
13th International Conference, FACS 2016, Besançon, France, October 19-21, 2016, Revised Selected Papers
Häftad, Engelska, 2017
558 kr
Skickas inom 10-15 vardagar
This book constitutes the thoroughly revised selected papers from the 13th International Conference on Formal Aspects of Component Software, FACS 2016, held in Besançon, France, in October 2016.
Häftad, Engelska, 2006
558 kr
Skickas inom 10-15 vardagar
This book constitutes the refereed proceedings of the 7th International Conference of B Users, B 2007, held in Besancon, France in January 2007. The 30 revised full papers presented together with 4 invited contributions were carefully reviewed and selected from numerous submissions. The topics of interest to the conference included: industrial applications and case studies using B, integration of model-based specification methods in the software development lifecycle, derivation of hardware-software architecture from model-based specifications, expressing and validating requirements through formal models, in particular verifying security policies, theoretical issues in formal development, model-based software testing, tools supporting the B method, development by composition of specifications, validation of assembly of COTS by model-based specification methods, B extensions and/or standardization.