paperback. Zustand: Good. Connecting readers with great books since 1972! Used textbooks may not include companion materials such as access codes, etc. May have some wear or writing/highlighting. We ship orders daily and Customer Service is our top priority!
Paperback. Zustand: Very Good. Ex-library paperback in very nice condition with the usual markings and attachments. Text block clean and unmarked. Tight binding.
Sprache: Deutsch
Verlag: Spektrum Akademischer Verlag, 2009
ISBN 10: 3827420563 ISBN 13: 9783827420565
Anbieter: medimops, Berlin, Deutschland
Zustand: good. Befriedigend/Good: Durchschnittlich erhaltenes Buch bzw. Schutzumschlag mit Gebrauchsspuren, aber vollständigen Seiten. / Describes the average WORN book or dust jacket that has all the pages present.
Sprache: Deutsch
Verlag: Spektrum Akademischer Verlag, 2009
ISBN 10: 3827420563 ISBN 13: 9783827420565
Anbieter: Bookbot, Prague, Tschechien
Hardcover. Zustand: Fine. Abnutzung / Risse - leicht. Dieses Buch stellt den aktuellen Wissensstand uber die Techniken, Methoden, Prinzipien und organisatorischen Aspekte der Software-Qualitatssicherung nahezu luckenlos dar. Beschrieben werden Testtechniken, automatische statische Analysen, die Software-Messung, Review- und Inspektionstechniken, formale Ansatze, Techniken zur Uberprufung objektorientierter und eingebetteter Software sowie Prufstrategien, Prufprozesse und Werkzeuge. Das Buch richtet sich gleichermassen an Praktiker sowie an Informatik-Dozenten und -Studierende. Es kann ,von vorn nach hinten, gelesen werden oder als Nachschlagewerk dienen. Jedes Kapitel ist ein allein verstandliches ,kleines Buch fur sich". Es beginnt jeweils mit einer kurzen Inhaltsangabe zur Orientierung und schliesst mit einer Bewertung und einer Checkliste, die insbesondere dem Praktiker Umsetzungshinweise gibt. Die 2. Auflage ist vollstandig durchgesehen und aktualisiert. Neu aufgenommen wurde ein Kapitel zu modellbasierten Tests.
Zustand: New.
Zustand: New.
Sprache: Deutsch
Verlag: , Spektrum, Akad. Verlag. 2002., 2002
ISBN 10: 3827411181 ISBN 13: 9783827411181
Anbieter: Antiquariat Löwenstein, Göllersdorf, NÖ, Österreich
25 cm. XV, 523 Seiten, zahlr. Textillustr. Hardcover. Ein gutes Ex. Unfortunately, deliveries to the USA are not possible at this time.
Zustand: As New. Unread book in perfect condition.
Zustand: As New. Unread book in perfect condition.
Sprache: Deutsch
Verlag: Spektrum Akademischer Verlag, 2002
ISBN 10: 3827411181 ISBN 13: 9783827411181
Anbieter: medimops, Berlin, Deutschland
Zustand: good. Befriedigend/Good: Durchschnittlich erhaltenes Buch bzw. Schutzumschlag mit Gebrauchsspuren, aber vollständigen Seiten. / Describes the average WORN book or dust jacket that has all the pages present.
Anbieter: Antiquariat Bookfarm, Löbnitz, Deutschland
240 x 170 mm. 209 Seiten Ehem. Bibliotheksexemplar mit üblichen Merkmalen wie Signatur und Stempel. Moderate Lager- und Gebrauchsspuren. Text bis auf selten mögliche Anstreichungen sauber. Insgesamt guter Zustand. Sprache: englisch. Ex library book with stamps and signature. Slight signs of use. Good condition. Language: english. 9783839603055 Sprache: Englisch Gewicht in Gramm: 340.
Anbieter: Ria Christie Collections, Uxbridge, Vereinigtes Königreich
EUR 55,23
Anzahl: Mehr als 20 verfügbar
In den WarenkorbZustand: New. In.
Anbieter: Ria Christie Collections, Uxbridge, Vereinigtes Königreich
EUR 55,23
Anzahl: Mehr als 20 verfügbar
In den WarenkorbZustand: New. In.
Anbieter: GreatBookPricesUK, Woodford Green, Vereinigtes Königreich
EUR 55,22
Anzahl: Mehr als 20 verfügbar
In den WarenkorbZustand: New.
Anbieter: GreatBookPricesUK, Woodford Green, Vereinigtes Königreich
EUR 55,22
Anzahl: Mehr als 20 verfügbar
In den WarenkorbZustand: New.
Anbieter: Ria Christie Collections, Uxbridge, Vereinigtes Königreich
EUR 61,41
Anzahl: Mehr als 20 verfügbar
In den WarenkorbZustand: New. In.
Anbieter: Chiron Media, Wallingford, Vereinigtes Königreich
EUR 57,75
Anzahl: 10 verfügbar
In den WarenkorbPF. Zustand: New.
Zustand: New.
Anbieter: GreatBookPricesUK, Woodford Green, Vereinigtes Königreich
EUR 60,26
Anzahl: Mehr als 20 verfügbar
In den WarenkorbZustand: As New. Unread book in perfect condition.
Anbieter: GreatBookPricesUK, Woodford Green, Vereinigtes Königreich
EUR 60,29
Anzahl: Mehr als 20 verfügbar
In den WarenkorbZustand: As New. Unread book in perfect condition.
Anbieter: GreatBookPricesUK, Woodford Green, Vereinigtes Königreich
EUR 60,76
Anzahl: Mehr als 20 verfügbar
In den WarenkorbZustand: New.
Zustand: New. pp. xii + 239.
Anbieter: Revaluation Books, Exeter, Vereinigtes Königreich
EUR 86,03
Anzahl: 1 verfügbar
In den WarenkorbPaperback. Zustand: Brand New. 1st edition. 237 pages. German language. 9.50x6.25x0.75 inches. In Stock.
Sprache: Englisch
Verlag: Springer Berlin Heidelberg, 2004
ISBN 10: 354023201X ISBN 13: 9783540232018
Anbieter: moluna, Greven, Deutschland
EUR 48,37
Anzahl: Mehr als 20 verfügbar
In den WarenkorbKartoniert / Broschiert. Zustand: New.
Sprache: Deutsch
Verlag: Mannheim ; Leipzig ; Wien ; Zürich : BI-Wiss.-Verl., 1993
ISBN 10: 3411164913 ISBN 13: 9783411164912
Anbieter: Borkert, Schwarz und Zerfaß GbR, Berlin, Deutschland
kart. Zustand: Gut. 343 S. : Ill., graph. Darst. ; 21 cm, Gutes Ex. - Das Prüfen von Software besteht in der industriellen Praxis heute oft nur in der Durchführung einiger unsystematischer und nicht reproduzierbarer Tests. In der Forschung existieren sehr viele Prüfverfahren. Da ihre Einsatzbereiche und Stärken und Schwächen auch Fachleuten oft nicht bekannt sind, ist die Auswahl von Prüfverfahren in der Praxis schwierig. Hier wird eine Methode zur automatisierten Auswahl von Prüfverfahren entwickelt. Die zu prüfenden Software-Komponenten werden zur Ermittlung ihres Komplexitätsprofils vermessen. Die Werte der Metriken dienen zur Beurteilung der Eignung der Prüfverfahren und zur Festlegung der zu prüfenden Eigenschaften der Software-Komponenten. Anschließend werden Kombinationen von Prüfverfahren gebildet, die einen erfolgreichen Einsatz in der Praxis erwarten lassen. Zur Unterstützung der Methode ist ein wissensbasiertes Assistenzsystem entwickelt worden, das ebenfalls beschrieben wird. (Verlagstext) ISBN 9783411164912 Sprache: Deutsch Gewicht in Gramm: 550.
Sprache: Deutsch
Verlag: Duden ein Imprint von Cornelsen Verlag GmbH
ISBN 10: 3411164913 ISBN 13: 9783411164912
Anbieter: Bücherbazaar, Eggenstein, Deutschland
paperback. Zustand: Gut. Auflage: 1993. 352 Seiten Mit altersbedingten Lager- und Gebrauchsspuren. W2-K2 Sprache: Deutsch Gewicht in Gramm: 546.
Taschenbuch. Zustand: Neu. Druck auf Anfrage Neuware - Printed after ordering - Theimportanceofsafetyandsecurityisgrowingsteadily.Safetyisaqualityc - racteristic that traditionally has been considered to be important in embedded systems, and security is usually an essential property in business applications. There is certainly a tendency to use software-based solutions in safety-critical applications domains, which increases the importance of safety engineering te- niques. These include modelling and analysis techniques as well as appropriate processes and tools. And it is surely correct that the amount of con dential data that require protection from unauthorized access is growing. Therefore, security is very important. On the one hand, the traditional motivations for addressing safety and security still exist, and their relevance has improved. On the other hand, safety and security requirements occur increasingly in the same system. At present, many software-based systems interact with technical equipment and they communicate, e.g., with users and other systems. Future systems will more and more interact with many other entities (technical systems, people, the en- ronment). In this situation, security problems may cause safety-related failures. It is thus necessary to address safety and security. It is furthermore required to take into account the interactions between these two properties.
Sprache: Deutsch
Verlag: Spektrum Akademischer Verlag, 2005
ISBN 10: 3827415330 ISBN 13: 9783827415332
Anbieter: Buchmarie, Darmstadt, Deutschland
Zustand: Good. Namenseintrag. Auflage: 1,2005. Ehemaliges Bibliotheksexemplar. Mit Bibliotheksstempel und Aufkleber am Buchrücken. Als übereignet gekennzeichnet.
Anbieter: AHA-BUCH GmbH, Einbeck, Deutschland
Taschenbuch. Zustand: Neu. Druck auf Anfrage Neuware - Printed after ordering - Based on the Net.ObjectDays tradition of bringing together researchers from academia and industry on the one hand and system architects, developers, and users fromindustry andadministrationon the other hand, this year sconference took an international research perspective, so that we see the rst volume of Net.ObjectDays main conference proceedings published in the Springer Lecture Notes in Computer Science series. This volume consists of 16 papers carefully selected in a rigorous reviewing process by an international program committee; to provide a concise overview, these papers are brie y described. In the Languages and Models session, Beate Ritterbach proposes a new l- guage element for object-oriented programming languages that supports ar- trary value types. In her contribution Support for Value Types in an Object- OrientedProgramming Language shedescribesthecorrespondingkeywords,s- tax, and consistency checks, thereby giving an impression of the look and feel of value types from an application programmer s perspective. Walter Binder and Jarle Hulaas look at portable CPU accounting and control in Java, which is based on program transformation techniques. In their paper Self-accounting as Principle for Portable CPU Control in Java periodically the threads of an application component aggregate the information of their respective CPU c- sumption within a shared account; scheduling functions make sure applications do not exceed their allowed CPU share.
Anbieter: GreatBookPricesUK, Woodford Green, Vereinigtes Königreich
EUR 120,89
Anzahl: Mehr als 20 verfügbar
In den WarenkorbZustand: As New. Unread book in perfect condition.