Stock Image

Compilierszenarios Fur Abstrakte Zustandsmaschinen Bei Multi-Core Anwendungen

Winfried Oberkersch

Published by Grin Verlag
ISBN 10: 3656052549 / ISBN 13: 9783656052548
New / Paperback / Quantity Available: 20
From BuySomeBooks (Las Vegas, NV, U.S.A.)
Available From More Booksellers
View all  copies of this book
Add to basket
List Price: US$
Price: US$ 33.96
Convert Currency
Shipping: US$ 3.95
Within U.S.A.
Destination, Rates & Speeds

30 Day Returns Policy

Save for Later

About the Book

Bibliographic Details


Title: Compilierszenarios Fur Abstrakte ...

Publisher: Grin Verlag

Binding: Paperback

Book Condition: New

Book Type: Paperback

Description:

Paperback. 64 pages. Dimensions: 8.3in. x 5.8in. x 0.1in.Bachelorarbeit aus dem Jahr 2011 im Fachbereich Informatik - Programmierung, Note: 1, 0, Karlsruher Institut fr Technologie (KIT) (AIFB), Sprache: Deutsch, Abstract: Diese Bachelorarbeit untersucht, inwieweit sich formal spezifizierte Abstrakte Zustandsmaschinen (engl. : abstract state machines, ASMs) in ausfhrbaren Java Code bersetzen lassen. Hierdurch soll eine Einschtzung gegeben werden, inwieweit eine 100 Modell-getriebene Entwicklung sinnvoll ist. Dies wird am Beispiel von Conways Game of Life gezeigt: Zunchst wird das Modell in der ASM- Sprache CoreASM definiert, dann mit Hilfe eines Compilers in ausfhrbare Java Klassen umgewandelt. Diese Arbeit kommt zu dem Schluss, dass die Abgrenzung zwischen Ground Model und Geschftslogik extrem wichtig ist: Whrend das Ground Model (im Beispiel: die Petrischale) aufgrund fehlender Strukturen (z. B. Felder) in CoreASM kaum umgesetzt werden kann, ist die Geschftslogik (im Beispiel: Transformationsverhalten der Zellen) leicht zu definieren und lsst sich auch im Nachhinein auf eine fr den Compiler erkennbare Weise verndern. Diese Erkenntnis hilft dabei das Konzept der Abstrakten Zustandsmaschinen in den Zusammenhang der modellgetriebenen Entwicklung einzuordnen: Die formale Spezifikation der Geschftslogik lsst sich gut mit ASMs bewerkstelligen, whrend das Ground Model besser klassisch programmiert werden sollte. This item ships from multiple locations. Your book may arrive from Roseburg,OR, La Vergne,TN. Bookseller Inventory # 9783656052548

About this title:

Synopsis: Bachelorarbeit aus dem Jahr 2011 im Fachbereich Informatik - Programmierung, Note: 1,0, Karlsruher Institut für Technologie (KIT) (AIFB), Sprache: Deutsch, Abstract: Diese Bachelorarbeit untersucht, inwieweit sich formal spezifizierte Abstrakte Zustandsmaschinen (engl.: abstract state machines, ASMs) in ausführbaren Java Code übersetzen lassen. Hierdurch soll eine Einschätzung gegeben werden, inwieweit eine 100% Modell-getriebene Entwicklung sinnvoll ist. Dies wird am Beispiel von Conways ?Game of Life" gezeigt: Zunächst wird das Modell in der ASM- Sprache CoreASM definiert, dann mit Hilfe eines Compilers in ausführbare Java Klassen umgewandelt. Diese Arbeit kommt zu dem Schluss, dass die Abgrenzung zwischen Ground Model und Geschäftslogik extrem wichtig ist: Während das Ground Model (im Beispiel: die Petrischale) aufgrund fehlender Strukturen (z.B. Felder) in CoreASM kaum umgesetzt werden kann, ist die Geschäftslogik (im Beispiel: Transformationsverhalten der Zellen) leicht zu definieren und lässt sich auch im Nachhinein auf eine für den Compiler erkennbare Weise verändern. Diese Erkenntnis hilft dabei das Konzept der Abstrakten Zustandsmaschinen in den Zusammenhang der modellgetriebenen Entwicklung einzuordnen: Die formale Spezifikation der Geschäftslogik lässt sich gut mit ASMs bewerkstelligen, während das Ground Model besser klassisch programmiert werden sollte.

"About this title" may belong to another edition of this title.

Bookseller & Payment Information

Payment Methods

This bookseller accepts the following methods of payment:

  • American Express
  • MasterCard
  • Visa

[Search this Seller's Books]

[List this Seller's Books]

[Ask Bookseller a Question]

Bookseller: BuySomeBooks
Address: Las Vegas, NV, U.S.A.

AbeBooks Bookseller Since: May 21, 2012
Bookseller Rating: 5-star rating

Terms of Sale:

We guarantee the condition of every book as it's described on the Abebooks web
sites. If you're dissatisfied with your purchase (Incorrect Book/Not as
Described/Damaged) or if the order hasn't arrived, you're eligible for a refund
within 30 days of the estimated delivery date. If you've changed your mind about a book that you've ordered, please use the Ask bookseller a question link to contact us and we'll respond within 2 business days.

BuySomeBooks is operated by Drive-On-In, Inc., a Nevada co...

[More Information]

Shipping Terms:

Orders usually ship within 1-2 business days. Books are shipped from multiple locations so your order may arrive from Las Vegas,NV, Roseburg,OR, La Vergne,TN, Momence,IL, or Commerce,GA.


Store Description: BuySomeBooks is great place to get your books online. With over eight million titles available we're sure to have what you're looking for. Despite having a large selection of new books available for immediate shipment and excellent customer service, people still tell us they prefer us because of our prices.