Modellbasierte Formalisierung von Anforderungen für eingebettete Systeme im Automotive-Bereich

Langue : allemand

Edité par GRIN Verlag, 2008

3640174968 / 9783640174966

Vendeur : Buchpark, Trebbin, AllemagneBuchpark

Vendeur avec une évaluation de 5 étoiles

Vendeur AbeBooks depuis 30 septembre 2021

Afficher les articles de ce vendeur
Livre broché

Etat: Occasion - Très bon

EUR 45,49

EUR 105,00 expédition 
Expédition depuis Allemagne vers Etats-Unis

Quantité disponible : 1 disponible(s)

Ajouter au panier
Retours gratuits sous 30 jours

Item description from seller

Zustand: Sehr gut | Sprache: Deutsch | Produktart: Bücher | Doktorarbeit / Dissertation aus dem Jahr 2008 im Fachbereich Informatik - Angewandte Informatik, Note: Magna Cum Laude, Technische Universität München (Fakultät für Informatik), Sprache: Deutsch, Abstract: Anforderungen sind ein zentrales Arbeitsprodukt im Entwicklungsprozess, mit dem Stakeholder mit sehr unterschiedlichen Bedürfnissen arbeiten müssen. Hierbei kann man vereinfachend unterscheiden zwischen eher informell denkenden und arbeitenden Stakeholdern (beispielsweise Kunden, Marketing, Schulungspersonal), die Anforderungen meist natürlichsprachig formulieren, weil dies die gemeinsame Sprache ist, die alle beteiligten Stakeholder gleichermaßen souverän verstehen und benutzen können, und eher formal geschulten und arbeitenden Stakeholdern, die Anforderungen gerne in einer formal modellierten Form bekommen würden, die sich möglichst nahtlos in ihre Design- oder Testmodelle übertragen lässt. In der Praxis ist es schwer, eine Darstellungsform für Anforderungen zu finden, die den Bedürfnissen beider Gruppen gleichermaßen gerecht wird: Entweder werden Anforderungen informell notiert, sind dadurch inhärent missverständlich, eine systematische Qualitätssicherung ist schwierig und der Übergang zum Design fehleranfällig; oder die Anforderungen werden formal notiert, wodurch eine Validierung durch viele Stakeholder unmöglich wird. In dieser Arbeit wurde daher ein Ansatz zur Formalisierung von Anforderungen entwickelt, der sich dadurch auszeichnet, dass er einerseits informell formulierte Anforderungen schrittweise in eine formalere Form bringt (so dass Anforderungen präziser formuliert sind und Konsistenzsicherung und Vervollständigung leichter ausgeführt werden können) und andererseits die Verständlichkeit der Anforderungen erhält (so dass die Anforderungen weiterhin von informell denkenden Stakeholder verstanden und validiert werden können). Dazu wurde für eine geeignete Teilmenge der Anforderungen für in Fahrzeuge eingebettete Softwaresysteme (nämlich funktionale Nutzeranforderungen) das zugrundeliegende Denkmodell identifiziert und formal definiert, dann eine für die im Requirements Engineering anfallenden Aufgaben geeignete semiformale Darstellungsform des Modells definiert und die Anforderungen entsprechend modelliert. Auf der Grundlage des formalen Modells und der für das Anforderungsmanagement zugeschnittenen semiformalen Darstellungsform konnte eine pragmatische und wirkungsvolle Formalisierungsmethodik für funktionale Nutzeranforderungen erarbeitet werden. Dieses Vorgehen wurde zusammen mit führenden deutschen Automobilherstellern und -zulieferern entwickelt und an einer Fallstudie aus dem Automobilbereich erprobt.

N° de réf. du vendeur 4802636/2

Titre
Modellbasierte Formalisierung von Anforderungen für eingebettete Systeme im Automotive-Bereich
Auteur
Fleischmann, Andreas
Éditeur
GRIN Verlag
Année de publication
2008
État de l'article
Sehr gut
Reliure
Couverture souple
Langue
allemand
ISBN à 10 chiffres
3640174968
ISBN à 13 chiffres
9783640174966
Catalogues du vendeur
Bücher

Buchpark

Trebbin, Allemagne

Vendeur avec une évaluation de 5 étoiles

Vendeur AbeBooks depuis 30 septembre 2021

Frais d'expédition de Allemagne vers Etats-Unis

Article60 à 60 jours ouvrés60 à 60 jours ouvrés
Premier articleEUR 105,00EUR 130,00
Les délais de livraison sont fixés par les vendeurs et varient en fonction du transporteur et du lieu. Les commandes transitant par les douanes peuvent être retardées et les acheteurs sont responsables de tous les droits ou frais associés. Les vendeurs peuvent vous contacter au sujet de frais supplémentaires afin de couvrir toute augmentation des coûts d'expédition de vos articles.

Modes de paiement

  • Visa
  • Mastercard
  • American Express
  • Carte Bleue
  • Apple Pay
  • Google Pay
  • Chèque
  • Paypal
  • Virement bancaire

Description de la boutique

Seit über 30 Jahren handeln wir mit Büchern. Begonnen hat alles als kleiner Fachbuchhandel in Berlin. Heute sind wir spezialisiert auf den An- und Verkauf gebrauchter Bücher. Noch immer liegt unser Fokus dabei auf den Kategorien: Fachbuch und englischsprachige Literatur. Hinzu kommen Bücher aus allen anderen Genres, wie Belletristik, Biografien oder Kinderbücher. Unser oberstes Ziel ist dabei die Weiterverwendung von Dingen und die Schonung von Ressourcen. Neben dem Ankauf von privaten Büchern oder Haushaltsauflösungen kaufen wir bundesweit komplette Bibliotheken und Buchbestände von Institutionen auf, um diese nachhaltig ein weiteres Mal auf den Markt zu bringen. Parallel dazu bietet Buchpark die Möglichkeit, große Mengen einzulagern. Ganze Bibliotheken und umfangreiche Buchbestände werden von uns professionell auf Qualitätsmerkmale hin untersucht und sorgfältig für den Onlinehandel aufbereitet. Wir schenken Büchern ein zweites Leben.

Profil professionnel du vendeur

Buchpark GmbH

Krügerweg 1
Trebbin, Allemagne 14959