Modellbasierte Formalisierung von Anforderungen für eingebettete Systeme im Automotive-Bereich (German Edition) Book PDF, ePub eBook

Join our eBook service for unlimited books & audiobooks. Get a free 7 day subscription! ↓↓↓↓↓


Book Descriptions:
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), 103 Quellen im Literaturverzeichnis, 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.

Modellbasierte Formalisierung von Anforderungen für eingebettete Systeme im Automotive-Bereich (German Edition) by Andreas Fleischmann

From reader reviews:

Patricia Gross:

Have you spare time to get a day? What do you do when you have considerably more or little spare time? Sure, you can choose the suitable activity to get spend your time. Any person spent all their spare time to take a walk, shopping, or went to the particular Mall. How about open or read a book eligible Modellbasierte Formalisierung von Anforderungen für eingebettete Systeme im Automotive-Bereich (German Edition)? Maybe it is for being best activity for you. You recognize beside you can spend your time along with your favorite's book, you can smarter than before. Do you agree with its opinion or you have various other opinion?

David Anthony:

Beside this kind of Modellbasierte Formalisierung von Anforderungen für eingebettete Systeme im Automotive-Bereich (German Edition) in your phone, it could possibly give you a way to get more close to the new knowledge or info. The information and the knowledge you are going to got here is fresh through the oven so don't be worry if you feel like an older people live in narrow town. It is good thing to have Modellbasierte Formalisierung von Anforderungen für eingebettete Systeme im Automotive-Bereich (German Edition) because this book offers to you readable information. Do you oftentimes have book but you do not get what it's about. Oh come on, that wil happen if you have this in your hand. The Enjoyable blend here cannot be questionable, just like treasuring beautiful island. Use you still want to miss the idea? Find this book as well as read it from now!

Victor Shepard:

Don't be worry if you are afraid that this book will filled the space in your house, you can have it in e-book technique, more simple and reachable. That Modellbasierte Formalisierung von Anforderungen für eingebettete Systeme im Automotive-Bereich (German Edition) can give you a lot of buddies because by you checking out this one book you have thing that they don't and make a person more like an interesting person. This specific book can be one of a step for you to get success. This publication offer you information that possibly your friend doesn't realize, by knowing more than some other make you to be great men and women. So , why hesitate? We need to have Modellbasierte Formalisierung von Anforderungen für eingebettete Systeme im Automotive-Bereich (German Edition).

Bryant Kelly:

You can find this Modellbasierte Formalisierung von Anforderungen für eingebettete Systeme im Automotive-Bereich (German Edition) by check out the bookstore or Mall. Just viewing or reviewing it might to be your solve problem if you get difficulties for the knowledge. Kinds of this e-book are various. Not only by simply written or printed but also can you enjoy this book by means of e-book. In the modern era including now, you just looking of your mobile phone and searching what their problem. Right now, choose your current ways to get more information about your e-book. It is most important to arrange yourself to make your knowledge are still change. Let's try to choose appropriate ways for you.