Mining Software Specifications: Methodologies and Applications (Chapman & Hall/Crc Data Mining and Knowledge Discovery, Band 17)
Language: English
Published by CRC PR INC, 2011
Series: Book 22 of 56 - Chapman & Hall/CRC Data Mining and Knowledge Discovery
- Hardcover
- Used

Seller: Studibuch, Stuttgart, GermanyStudibuch
AbeBooks seller since April 24, 2018
Condition: Used - Fine
US$ 58.84
Quantity: 1 available
Add to basketItem description from seller
Seller Inventory # 1091465
- Title
- Mining Software Specifications: Methodologies and Applications (Chapman & Hall/Crc Data Mining and Knowledge Discovery, Band 17)
- Author
- Lo, David, Siau-Cheng Khoo und Jiawei Han:
- Publisher
- CRC PR INC
- Publication year
- 2011
- Condition
- Sehr gut
- Binding
- hardcover
- Language
- English
- ISBN 10
- 1439806268
- ISBN 13
- 9781439806265
- Item weight
- 1 gram
- Series
- Book 22 of 56: Chapman & Hall/CRC Data Mining and Knowledge Discovery
- Seller catalogs
- Varia
An emerging topic in software engineering and data mining, specification mining tackles software maintenance and reliability issues that cost economies billions of dollars each year. The first unified reference on the subject, Mining Software Specifications: Methodologies and Applications describes recent approaches for mining specifications of software systems. Experts in the field illustrate how to apply state-of-the-art data mining and machine learning techniques to address software engineering concerns.
In the first set of chapters, the book introduces a number of studies on mining finite state machines that employ techniques, such as grammar inference, partial order mining, source code model checking, abstract interpretation, and more. The remaining chapters present research on mining temporal rules/patterns, covering techniques that include path-aware static program analyses, lightweight rule/pattern mining, statistical analysis, and other interesting approaches. Throughout the book, the authors discuss how to employ dynamic analysis, static analysis, and combinations of both to mine software specifications.
According to the US National Institute of Standards and Technology in 2002, software bugs have cost the US economy 59.5 billion dollars a year. This volume shows how specification mining can help find bugs and improve program understanding, thereby reducing unnecessary financial losses. The book encourages the industry adoption of specification mining techniques and the assimilation of these techniques in standard integrated development environments (IDEs).
"Synopsis" may belong to another edition of this title.
About the Author
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.
"About the title" may belong to another edition of this title.
Shipping rates from Germany to U.S.A.
| Item | 10 to 21 business days | 10 to 21 business days |
|---|---|---|
| First item | US$ 72.20 | US$ 89.58 |
Payment methods
- Check
Store description
Specialty
FachbücherSeller's business information
Studibuch GmbH
Neue Weinsteige 69
Stuttgart, Germany 70180
Terms of sale
§ 1 Geltungsbereich
(1) Diese allgemeinen Geschäftsbedingungen gelten für alle Geschäftsbeziehungen zwischen der Studibuch GmbH und ihren Kunden über physische Produkte (z.B. Bücher, CDs) und Dienstleistungen über sämtliche von Studibuch bereitgestellten Kanäle, z.B. Webshop, Applikationen (im Folgenden: App)
(2) Die allgemeinen Geschäftsbedingungen gelten in der jeweiligen, zum Zeitpunkt des Vertragsschlusses aktuellen Fassung. Je nach Endgerät des Kunden kann dieses Dokument ausgedruckt und/oder gespeichert ("Datei speichern unter") werden.
§ 2 Zustandekommen des Vertrages
(1) Die Darstellung des Sortiments von Studibuch stellt kein Angebot i.S.d. §§ 145 ff BGB dar, sondern eine unverbindliche Aufforderung an den Kunden, diese physischen Produkte (im Folgenden: Produkt/e) zu bestellen.
(2) Indem der Kunde per Internet (durch Anklicken des Buttons "Kaufen"), E-Mail, Telefon oder über sonstige Kommunikationswege eine Bestellung an Studibuch absendet, gibt er ein verbindliches Angebot auf Abschluss eines Vertrages mit Studibuch ab. Der Kunde erhält eine Bestätigung des Empfangs der Bestellung per E-Mail (Bestelleingangsbestätigung), in der die Bestelldaten aufgeführt sind. Diese Bestelleingangsbestätigung stellt keine Annahme des Angebots dar, sondern soll den Kunden nur darüber informieren, dass die Bestellung bei Studibuch eingegangen ist.
(3) Ein Kaufvertrag mit Studibuch über physische Produkte kommt zustande, wenn Studibuch das Angebot des Kunden annimmt, indem Studibuch das bestellte Produkt an den Kunden versendet bzw. den Versand an den Kunden mit einer zweiten E-Mail (Versandbestätigung) bestätigt.
(4) Über Produkte aus ein- und derselben Bestellung, die nicht in der Versandbestätigung aufgeführt sind, kommt kein Kaufvertrag zustande. Bei der Zahlungsart "Vorkasse" kommt der Kaufvertrag bereits mit Aufgabe der Bestellung durch den Kunden und Versand der Vorkasseaufforderung durch Studibuch zustande.
(5) Kann Studibuch das Angebot des Kunden nicht annehmen, wird der Kunde anstelle der Annahme der Bestellung über die Nichtverfügbarkeit informiert. Bereits erbrachte Gegenleistungen des Kunden werden unverzüglich erstattet.
(6) Auf Wunsch stellt Studibuch eine Kopie der Bestelldaten zur Verfügung.
§ 3 Preis, Fälligkeit, Bezahlung
(1) Alle Preise enthalten die gesetzliche Mehrwertsteuer.
(2) Studibuch akzeptiert nur die im Rahmen des Bestellvorgangs dem Kunden jeweils angezeigten Zahlungsarten. Soweit Studibuch eine gültige E-Mail-Adresse des Kunden vorliegt, erfolgt der Versand der Rechnung per E-Mail.
(3) Der Kaufpreis sowie ggf. anfallende Versandkosten werden vorbehaltlich Absatz 3 mit Rechnungsstellung fällig. Bei Zahlung per Bankeinzug und Kreditkarte erfolgt die Belastung am Tag der Rechnungsstellung.
(4) Studibuch behält sich vor, insbesondere in den Fällen, in denen sich im Zeitpunkt des Auftragseingangs offene Rechnungen bereits im Mahnlauf befinden, eine Vorkasse in Höhe des Auftragswerts zu verlangen. Gleiches gilt, wenn der Warenwert aller Aufträge, die Summe noch offener Rechnungen oder bereits auf den Versandweg gebrachte Aufträge im Zeitpunkt einer neuen Bestellung einen Betrag in Höhe von 200,00 EUR überschreiten. Eine Aufforderung, Vorkasse zu leisten, erhält darüber hinaus jeder Kunde, dessen Gutschriften 30 Prozent seines bisherigen Gesamtrechnungsvolumens erreichen bzw. überschreiten. Die Bestellung wird nach Zahlungseingang bearbeitet.
(5) Der Kunde ist zur Aufrechnung nur berechtigt, sofern und soweit seine Gegenansprüche rechtskräftig festgestellt, unbestritten oder von Studibuch anerkannt sind. Zur Ausübung eines Zurückbehaltungsrechts ist der Kunde nur befugt, wenn sein Gegenanspruch auf demselben Kaufvertrag beruht.
§ 4 Kundenrezensionen
Verfasst der Kunde eine Kundenrezension, ist Studibuch berechtigt, diesen Text über alle Kanäle, z.B. Webshop, eReader, und Social Media Auftritte der Studibuch GmbH anzuzeigen. Studibuch behält sich vor, eine Rezension nicht oder nur für einen begrenzten Zeitraum und, soweit dies aus rechtlichen Gründen geboten ist (z.B. bei Verletzung von Persönlichkeitsrechten), gekürzt anzuzeigen. Kundenrezensionen geben ausschließlich die Meinung der Kunden wieder und stimmen nicht unbedingt mit der Auffassung von Studibuch überein.
^ nach oben
§ 5 Gewährleistung
(1) Studibuch wird für Mängel im Rahmen der gesetzlichen Bestimmungen einstehen.
(2) Bei Verträgen mit Verbrauchern gemäß § 13 BGB, d.h. die Bestellung kann weder einer gewerblichen noch selbständigen beruflichen Tätigkeit des Kunden zugeordnet werden, beträgt die Gewährleistungsfrist 2 Jahre ab Ablieferung der Ware. Bei Bestellungen von Kunden, die gemäß § 14 BGB Unternehmer sind, ist die Gewährleistungsfrist auf ein Jahr beschränkt.
§ 6 Haftung
Studibuch schließt die Haftung für leicht fahrlässige Pflichtverletzungen aus, sofern
a) dies keine Garantien oder vertragswesentlichen Pflichten betrifft, d.h. Verpflichtungen, deren Erfüllung die ordnungsgemäße Durchführung des Vertrages überhaupt erst ermöglichen und auf deren Einhaltung der Vertragspartner regelmäßig vertraut und vertrauen darf, b) es nicht um Schäden aus der Verletzung des Lebens, des Körpers oder der Gesundheit geht, c) Ansprüche nach dem Produkthaftungsgesetz unberührt bleiben. Gleiches gilt für Pflichtverletzungen unserer Erfüllungsgehilfen.
§ 7 Datenschutz
Studibuch verpflichtet sich, die personenbezogenen Daten der Kunden nach den datenschutzrechtlichen Bestimmungen (insbesondere BDSG und TMG) vertraulich zu behandeln.
§ 8 Streitschlichtung
Ab dem 15. Februar 2016 stellt die EU-Kommission eine Plattform für außergerichtliche Streitschlichtung bereit. Verbrauchern gibt dies die Möglichkeit, Streitigkeiten im Zusammenhang mit Ihrer Online-Bestellung zunächst ohne die Einschaltung eines Gerichts zu klären. Die Streitbeilegungs-Plattform ist unter dem externen Link http://ec.europa.eu/consumers/odr/ erreichbar. In diesem Zusammenhang sind wir gesetzlich verpflichtet, Sie auf unsere E-Mail-Adresse hinzuweisen. Diese lautet: info@studibuch.de.
§ 9 Anschriften
Anbieter und Vertragspartner:
Studibuch GmbH / Neue Weinsteige 69 / 70180 Stuttgart / Deutschland
E-Mail: info@studibuch.de
Sitz der Gesellschaft:
Studibuch GmbH Neue Weinsteige 69
70180 Stuttgart, Geschäftsführer: Lutz Gaissmaier Amtsgericht , HRB, Ust.-Id.: DE
§ 11 Schlussbestimmungen
(1) Der Vertragsschluss erfolgt ausschließlich in deutscher Sprache. Für die Rechtsbeziehungen der Kunden und Studibuch gilt deutsches Recht ohne die Verweisungsnormen des Internationalen Privatrechts und unter Ausschluss des UN-Kaufrechts (CISGG). Ist der Kunde Verbraucher kann auch das Recht am Wohnsitz des Kunden anwendbar sein, sofern es sich um zwingende verbraucherrechtliche Bestimmungen handelt.
(2) Sofern der Kunde Kaufmann ist, ist Stuttgart ausschließlicher Gerichtsstand für alle Ansprüche im Zusammenhang mit der Geschäftsbeziehung.
(3) Sollten ein oder mehrere Bestimmungen dieser allgemeinen Geschäftsbedingungen ganz oder teilweise unwirksam sein oder ihre Rechtswirksamkeit später verlieren, so wird hierdurch die Wirksamkeit der Geschäftsbedingungen im Übrigen nicht berührt.
Shipping terms
Shipping outside Germany
For shipments outside Germany, we include insurance coverage up to €50 (for packages up to 2kg). Additionally, a tracking number is provided.
Important! Returns due to refusal of acceptance or failure to collect
Shipments returned to us due to refusal of acceptance by the customer or failure to collect from the delivery service provider in time are not considered regular returns under the right of withdrawal. In such cases, we reserve the right to deduct a flat-rate processing and return shipping fee from the refund amount.
The fees consist of a handling charge and return shipping costs and are as follows:
For returns within Germany: €4.90
For returns from abroad: €12.90
The total fee will be automatically deducted from the refund.