Mining Software Specifications -
- Format: Broché Voir le descriptif
Vous en avez un à vendre ?
Vendez-le-vôtre157,12 €
Produit Neuf
Ou 39,28 € /mois
- Livraison à 0,01 €
- Livré entre le 18 et le 31 juillet
Brand new, In English, Fast shipping from London, UK; Tout neuf, en anglais, expédition rapide depuis Londres, Royaume-Uni;ria9781138114906_dbm
- 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 Mining Software Specifications Format Broché - Livre Informatique
0 avis sur Mining Software Specifications Format Broché - Livre Informatique
Les avis publiés font l'objet d'un contrôle automatisé de Rakuten.
-
Winogrand Figments From The Real World
Occasion dès 170,99 €
-
St - Tropez Soleil
1 avis
Neuf dès 105,00 €
Occasion dès 72,53 €
-
The Ghost In The Shell Book
Neuf dès 71,80 €
-
Microeconomics, Global Edition
Neuf dès 151,23 €
Occasion dès 75,90 €
-
Isles Of Gold: Antique Maps Of Japan
Occasion dès 174,99 €
-
Soft Power And Great-Power Competition
Neuf dès 72,01 €
-
Girls, Some Boys, And Other Cookies
Occasion dès 127,99 €
-
La Sante Interdite
1 avis
Occasion dès 71,00 €
-
Idiomes Et Proverbes - N° 6 - Idiomes Et Proverbes - Anglais-Français, Français-Anglais
Occasion dès 89,90 €
-
Merce Cunningham
Occasion dès 70,00 €
-
Karl Blossfeldt
2 avis
Occasion dès 69,00 €
-
Comic Book Culture: An Illustrated History
Occasion dès 78,99 €
-
Car Racing 1965
2 avis
Neuf dès 109,00 €
-
Atlas On The Prophet's Biography
Occasion dès 110,00 €
-
Images Of Scotland
Neuf dès 107,16 €
-
The Lord Of The Rings
Neuf dès 126,00 €
-
L'ecole De Paris, 1945-1965: Dictionnaire Des Peintres (Dictionnaires)
2 avis
Occasion dès 147,92 €
-
The New Munsell Student Color Set
Neuf dès 125,62 €
-
Origami Design Secrets
Neuf dès 166,41 €
-
Mykonos Muse
Neuf dès 105,00 €
Occasion dès 94,54 €
Produits similaires
Présentation Mining Software Specifications Format Broché
- Livre Informatique
Résumé : Exploring existing and emerging work in the field, this volume shows how specification mining techniques can help find software bugs and improve program understanding. Top researchers in the software engineering community provide valuable insight on up-to-date case studies of various software systems, including open source programs and those used by Microsoft Research and IBM Research. The book focuses on mining both finite state machines and temporal rules/patterns of behavior. It presents approaches that use static analysis, dynamic analysis, and combinations of the two.
Biographie: David Lo is an assistant professor in the School of Information Systems at Singapore Management University. His research interests include specification mining, dynamic program analysis, automated debugging, code search, and pattern mining. Siau-Cheng Khoo is an associate professor in the Department of Computer Science at the National University of Singapore. His research interests include specification mining, program analysis, program transformation, functional programming, domain-specific languages, and aspect-oriented programming. Jiawei Han is a professor in the Department of Computer Science at the University of Illinois at Urbana-Champaign. He is editor-in-chief of the ACM Transactions on Knowledge Discovery from Data and co-editor of Geographic Data Mining and Knowledge Discovery, Second Edition (CRC Press, 2009) and Next Generation of Data Mining (CRC Press, 2009). His research interests include information network analysis, knowledge discovery, pattern discovery, data streams, and multidimensional analysis. Chao Liu is a researcher in the Internet Service Research Center at Microsoft Research. His research interests include data mining for software engineering, statistical debugging, and machine learning and its use in web applications.
Sommaire: Specification Mining: A Concise Introduction. Mining Finite-State Automata with Annotations. Adapting Grammar Inference Techniques to Mine State Machines. Mining API Usage Protocols from Large Method Traces. Static API Specification Mining: Exploiting Source Code Model Checking. Static Specification Mining Using Automata-Based Abstractions. DynaMine: Finding Usage Patterns and Their Violations by Mining Software Repositories. Automatic Inference and Effective Application of Temporal Specifications. Path-Aware Static Program Analyses for Specification Mining. Mining API Usage Specifications via Searching Source Code from the Web. Merlin: Specification Inference for Explicit Information Flow Problems. Lightweight Mining of Object Usage.
Détails de conformité du produit
Personne responsable dans l'UE