liggesmeyer peter (35 Ergebnisse)

Softcover. Zustand: As New. This book constitutes the refereed proceedings of the 5th Annual International Conference on Object-Oriented and Internet-Based Technologies, Concepts and Applications for a Networked World, Net. Object Days 2004, held in Erfurt, Germany, in September 2004. The 15 revised full papers presented togehter with an invited paper were carefully reviewed and selected from inclusion in the book. The papers are organised in topical sections on languages and models, agents and the semantic Web, supporting software processes, software porducti lines, and case studies and visions.

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.

Hardcover. Zustand: Bon. Ancien livre de bibliothèque avec équipements. Ammareal reverse jusqu'à 15% du prix net de cet article à des organisations caritatives. ENGLISH DESCRIPTION Book Condition: Used, Good. Former library book. Ammareal gives back up to 15% of this item's net price to charity organizations.

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.

25 cm. XV, 523 Seiten, zahlr. Textillustr. Hardcover. Ein gutes Ex. Unfortunately, deliveries to the USA are not possible at this time.

Softcover. 202 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. 9783839603727 Sprache: Englisch Gewicht in Gramm: 322.

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.

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.

Hardcover. Zustand: Fair. Aus Bibliothek aussortiert; Riss größer als 1 cm. (Autor) Peter Liggesmeyer / Dieter Rombach (Titel) Software Engineering eingebetteter Systeme (copy) Dieses Lehr- und Praxisbuch stellt sowohl die Methodik der Software-Entwicklung für eingebettete Systeme umfassend dar, als auch die speziellen Aspekte wichtiger Anwendungsbereiche, z. B. Verkehrssysteme, Medizintechnik, Industrieautomation und Telekommunikationssysteme. Neben dem Stand der Wissenschaft wird der Stand der Praxis ausführlich dargestellt. Die Autoren der Beiträge sind sowohl Wissenschaftler als auch Entwickler, Projektleiter und Qualitätssicherer aus Industrieunternehmen. Daher richtet sich das Buch gleichermaßen an Praktiker, die an der Entwicklung eingebetteter Systeme oder der Entwicklung von Software für eingebetteter Systeme beteiligt sind, wie an Dozenten und Studierende der Informatik un dder Ingenieurwissenschaften. (Biblio).

Zustand: New. In.

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.

Paperback. Zustand: Brand New. 1st edition. 237 pages. German language. 9.50x6.25x0.75 inches. In Stock.

Kartoniert / Broschiert. Zustand: New.

Hardcover. Zustand: Fine. Leichte Rillen / Abschurfungen / Risse / Knicke. 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.

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.

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.

Zustand: Good. Namenseintrag. Auflage: 1,2005. Ehemaliges Bibliotheksexemplar. Mit Bibliotheksstempel und Aufkleber am Buchrücken. Als übereignet gekennzeichnet.

Taschenbuch. Zustand: Neu. Object-Oriented and Internet-Based Technologies | 5th Annual International Conference on Object-Oriented and Internet-Based Technologies, Concepts, and Applications for a Networked World, Net.ObjectDays 2004 Erfurt, Germany, September 27-30, 2004 Proceedings | Mathias Weske (u. a.) | Taschenbuch | xii | Englisch | 2004 | Springer | EAN 9783540232018 | Verantwortliche Person für die EU: Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg, juergen[dot]hartmann[at]springer[dot]com | Anbieter: preigu.

Taschenbuch. Zustand: Neu. Computer Safety, Reliability, and Security | 23rd International Conference, SAFECOMP 2004, Potsdam, Germany, September 21-24,2004, Proceedings | Maritta Heisel (u. a.) | Taschenbuch | xii | Englisch | 2004 | Springer | EAN 9783540231769 | Verantwortliche Person für die EU: Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg, juergen[dot]hartmann[at]springer[dot]com | Anbieter: preigu.

Zustand: Sehr gut. Zustand: Sehr gut | Sprache: Englisch | Produktart: Bücher | Keine Beschreibung verfügbar.

Specktrum, Berlin, 2000, , 270, Softcover (kartoniert), 8°, Eintragungen: WaT, Einband: leicht bestoßen, leicht fleckig, leicht beschabt, Buchrücken: etwas bestoßen,

Zustand: Good.

Zustand: New. In.

Softcover. 229 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. 9783839603154 Sprache: Deutsch Gewicht in Gramm: 550.

Paperback. Zustand: Brand New. spi blg edition. 194 pages. German language. 9.26x6.11x0.45 inches. In Stock.

Zustand: New.

Zustand: New. In German.

Taschenbuch. Zustand: Neu. Druck auf Anfrage Neuware - Printed after ordering - Rechenanlagen kommen inzwischen in nahezu allen Bereichen des tiiglichen Lebens zum Einsatz. Die Abhiingigkeiten vom zuverliissigen Betrieb der Anlagen haben im entsprechenden Umfang zugenommen. Ganze Industriezweige sind ohne Rechnerunterstiitzung nicht mehr arbeitsfllhig. Vor diesem Hintergrund gewinnt neben anderen QualitlitssicherungsmaBnahmen die Test- und Priifphase bei der Entwicklung von Softwaresystemen zunehmend an Bedeutung. Angeregt durch den Besuch von Tagungen in England und den USA, die sich ausschlieBlich mit dem Test von Softwaresystemen besch!iftigten, habe ich die Organisation eines Arbeitstreffens iibemommen, an dem Testinteressierte aus Deutschland teilnahmen. In anderen Liindem gibt es bereits Gruppen, die mehrmals im Jahr zusanunenkommen und Probleme des Softwaretests bearbeiten. Auf einem ersten Treffen von Testinteressierten im Juni 1991 ist beschlossen worden, regelmiiBige Treffen zu organisieren und den Arbeitskreis Testen, Analysieren und Verijizieren von Software in der Fachgruppe Software-Engineering in der Gesellschaft fi.ir Informatik zu grunden. Der vorliegende Band enthiilt ausge wiihlte Beitriige vom ersten und zweiten Treffen des Arbeitskreises und gibt so einen guten Uberblick iiber die gegenwiirtigen Aktivitliten zum Thema Testen von Progranunen im deutschsprachigen Raum. 1m Arbeitskreis sind derzeit 50 Personen aktiv tiitig, wobei etwa zwei Drittel aus der Industrie und ein Drittel von Forschungsinstituten und Universitiiten kommen. Dieses Verhiiltnis zeigt auch die zunehmende Bedeutung der Softwarepriifung in der industriellen Entwicklung. Neben dem Testen von Softwaresystemen geh1lrt auch deren Analyse zu den QualitiitssicherungsmaBnah men. Sie ist sogar oft unabdingbare Voraussetzung, urn iiberhaupt einen Test durchfiihren zu k1lnnen.

Taschenbuch. Zustand: Neu. Testen, Analysieren und Verifizieren von Software | Arbeitskreis Testen, Analysieren und Verifizieren von Software der Fachgruppe Software-Engineering der GI Proceedings der Treffen in Benthe und Bochum, Juni 1991 und Februar 1992 | Peter Liggesmeyer (u. a.) | Taschenbuch | viii | Deutsch | 1992 | Springer Vieweg | EAN 9783540558606 | Verantwortliche Person für die EU: Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg, juergen[dot]hartmann[at]springer[dot]com | Anbieter: preigu.

Zustand: Sehr gut. Zustand: Sehr gut | Seiten: 544 | Produktart: Bücher | Dieses Buch stellt den aktuellen Wissensstand über die Techniken, Methoden, Prinzipien und organisatorischen Aspekte der Software-Qualitätssicherung nahezu lückenlos dar. Beschrieben werden Testtechniken, automatische statische Analysen, die Software-Messung, Review- und Inspektionstechniken, formale Ansätze, Techniken zur Überprüfung objektorientierter und eingebetteter Software sowie Prüfstrategien, Prüfprozesse und Werkzeuge.Das Buch richtet sich gleichermaßen 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 verständliches ¿kleines Buch für sich". Es beginnt jeweils mit einer kurzen Inhaltsangabe zur Orientierung und schließt mit einer Bewertung und einer Checkliste, die insbesondere dem Praktiker Umsetzungshinweise gibt. Die 2. Auflage ist vollständig durchgesehen und aktualisiert. Neu aufgenommen wurde ein Kapitel zu modellbasierten Tests.