Quality Software Through Reuse and Integration -
- Format: Broché Voir le descriptif
Vous en avez un à vendre ?
Vendez-le-vôtreSoyez informé(e) par e-mail dès l'arrivée de cet article
Créer une alerte prix
- Payez directement sur Rakuten (CB, PayPal, 4xCB...)
- Récupérez le produit directement chez le vendeur
- Rakuten vous rembourse en cas de problème
Gratuit et sans engagement
Félicitations !
Nous sommes heureux de vous compter parmi nos membres du Club Rakuten !
TROUVER UN MAGASIN
Retour
Avis sur Quality Software Through Reuse And Integration Format Broché - Livre Informatique
0 avis sur Quality Software Through Reuse And Integration Format Broché - Livre Informatique
Les avis publiés font l'objet d'un contrôle automatisé de Rakuten.
Présentation Quality Software Through Reuse And Integration Format Broché
- Livre Informatique
Résumé :
Presents the state of the art in quality software through reuse and integration Includes the latest research on formal methods integration Gathers the best papers from the 4th IEEE International Workshop on Formal Methods Integration-the IEEE FMi 2016, held in Pittsburgh, USA, July 28-30 2016...
Sommaire:
On the Tractable Acquisition of Heuristics for Software Synthesis Demonstrating that P~NP.- An Approach Transmutation-Based in Case-Based Reasoning.- Utilizing Semantic Techniques for Automatic Code Reuse in Software Repositories.- A Multi-strategy Approach for Ontology Reuse through Matching and Integration Techniques.- Classifier Fusion by Judgers on Spark Clusters for Multimedia Big Data Classification.- Employing Graph Databases As a Standardization Model for ?Addressing Heterogeneity and Integration.- Modeling Terminologies for Reusability in Faceted Systems.- A Layered Approach to Specification Authoring, Sharing, and Usage.- FCL: A Formal Language for Writing Contracts.- Operational Semantics for the Rigorous Analysis of Distributed Systems.- BHive: Behavior-Driven Development Meets B-Method.- A Pre-processing Tool for Z2SAL to Broaden Support for Model Checking Z Specifications.- Reasoning About Temporal Faults Using an Activation Logic.