Olga Kouchnarenko - Böcker
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
552 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.
B 2007: Formal Specification and Development in B
7th International Conference of B Users, Besancon, France, January 7-19, 2007, Proceedings
Häftad, Engelska, 2006
552 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.