Free delivery for orders over 69.99 euro

Check order status

Become part of a community of book lovers from all over the world and get access to a whole bunch of benefits. Create an account for free

Free delivery for purchases over 69.99 €

DPD courier 3.99 € DPD point 3.49 € GLS courier 4.99 € GLS point 3.99 € Croatian Post 4.99 € Overseas courier 4.99 € Box Now 4.49 €

Contact

How to shop

Help

My account

▸ Empty :-(

Free delivery for orders over 69.99 euro

Entwicklung und Bewertung zeitkritischer Softwaremodelle

Name: Entwicklung und Bewertung zeitkritischer Softwaremodelle
Brand: Books on Demand
SKU: 01798356
Price: 35.49 EUR
Availability: InStock
Author: Michael Barth
ISBN: 9783839111574

Simulationsbasierter Ansatz und Methodik

Michael Barth

Language

German

Book Hardback

Libristo code: 01798356

Publishers Books on Demand, November 2008

Zeitkritische Software bereits aufgrund einer ersten Modell-beschreibung in ihrem Verhalten bewertba... Full description

Libristo code: 01798356

86 b

35.49 €

In stock at our supplier Shipping in 10-13 days

Up to 30 days for returns

Customers also purchased

Non-Sovereign Self, Responsibility, and Otherness Rosine Kelz

Hardback

145.16 €

ET AVEC TANGO, NOUS VOILA TROIS ! Justin RICHARDSON Book

Hardback

20.70 €

Foundations of Large-Scale Multimedia Information Management and Retrieval Edward Y. Chang

Hardback

102.33 €

Encyclopedia of Medieval Literature in Britain Sian Echard

Hardback

709.46 €

East European Political System Baruch A Hazan

Hardback

249.62 €

New English Book For Children (Advanced) Anna Makarenko

Paperback

13.76 €

SQL WINDOWS 5.0 DEVELOPER SHAH GRISWOLD

Book

66.85 €

Preadjusted Edgewise Fixed Orthodontic Appliances - Principles and Practice Farhad B. Naini

Hardback

133.40 €

JOURNAL D'UN COURTISAN. T11 (1698) La Querelle du Quiétisme. DANGEAU

Paperback

37.19 €

Catalogue de Joyaux, Colliers de Perles, Parures En Perles, Brillants Anciens, Pierres de Couleur Frédéric Masson

Paperback

16.88 €

Research Handbook on Sport Governance Mathieu Winand

Paperback

59.51 €

città nera Domenico Trischitta

Paperback

11.05 €

A Heart Regained: A Novel (1888) Carmen Sylva

Paperback

23.62 €

Contes divers 1883 Guy de Maupassant

Paperback

9.54 €

Liečba Schopenhauerom Irvin D. Yalom

Hardback

15.37 €

The NBA Summer Almanac, 2019 edition: Cover 2 Richard Lu

Paperback

23.41 €

Vie Et Amours Du Chevalier de Faublas. Tome 7 LOUVET DE COUVRAY-J

Paperback

20.70 €

Influenza del cambiamento climatico e delle dighe sul fiume Moussa Mahamane Oumarou

Paperback

35.38 €

Coloring Book: Triple Anti Stress Yves Kervella

Paperback

7.73 €

Cannon and camera; sea and land battles of the Spanish-American war in Cuba; camp life, and the return of the soldiers John Hemment

Paperback

31.05 €

My Language Is a Jealous Lover Shirin Ramzanali Fazel

Paperback

20.60 €

Don't Touch My Hair Emma Dabiri

MP3

9.24 €

El gol de la vida-La historia de Kaka Jeremy V. Jones

Adobe ePub DRM

4.11 €

Herbarz Polski; Volume 11 Adam Boniecki

Paperback

26.53 €

Zeitkritische Software bereits aufgrund einer ersten Modell-beschreibung in ihrem Verhalten bewertbar zu machen, kann helfen teure Entwicklungskosten zu sparen. Nach einer Skizze bekannter Techniken und ihrer Einschränkungen und Probleme verfolgt dieses Buch im ersten Teil einen eigenen, pragmatischen, aber formal fundierten Ansatz. Dazu werden Beschreibungstechniken für Modelle, Umgebungen und Lasten eingeführt, die einzelne Bearbeitungsabläufe mittels einer zeitbehafteten Semantik bewertbar machen. Im zweiten Teil wird gezeigt, wie die formalen Spezifikationstechniken in einem Werkzeug vollständig gekapselt werden können. Diese müssen dadurch vom Anwender nicht mehr beherrscht werden und sind in Notationen der Praxis (UML-Aktivitätsdiagramme) übersetzbar. Durch den Werkzeugbau stellt diese Arbeit auch ein Musterbeispiel für den Software-Entwurf und Entwicklung unter Einbeziehung formaler Methoden dar.