Modellbildung in Der Informatik - Xpert.Press (Paperback)
  • Modellbildung in Der Informatik - Xpert.Press (Paperback)
zoom

Modellbildung in Der Informatik - Xpert.Press (Paperback)

(author), (author)
£24.99
Paperback 256 Pages / Published: 03/10/2013
  • We can order this

Usually dispatched within 3 weeks

  • This item has been added to your basket

Leitlinie dieser Einf hrung in die Informatik ist die Frage, welche Vorgehensweisen einem Problem informatische Kontur verleihen und welche Techniken zur Verf gung stehen, um Informatiksysteme analysieren oder entwerfen zu k nnen.

Modelle enstehen in der Zusammenschau unterschiedlicher Ansichten eines Systems, die durch pr gnante Diagramme beschrieben werden: Entity-Relationship-, Systemstruktur-, Zustands bergangs- und Sequenzdiagramme. Inh renter Bestandteil dieser grafischen Beschreibungstechniken ist die Charakterisierung der zugrundeliegenden Daten (z.B. in funktionaler Programmierung). Die Autoren verwenden in Ihrem Werk AutoFOCUS zum Diagramm-orientierten Systementwurf, zur Konsistenzpr fung und zur Simulation. Sie gehen den Fragen nach, wie sich Diagramme in formale Spezifikationen bertragen lassen, woher eine Systementwicklung ihre Argumente nimmt, nach welchen Methoden verifiziert wird und wie interaktive Theorembeweiser, wie z.B. Isabelle/HOL, arbeiten.

Publisher: Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
ISBN: 9783642622670
Number of pages: 256
Weight: 381 g
Dimensions: 234 x 156 x 14 mm
Edition: Softcover Reprint of the Original 1st 2004 ed

You may also be interested in...

Metasploit
Added to basket
£41.99
Paperback
TCP / IP For Dummies
Added to basket
BTEC Level 3 National IT Student Book 1
Added to basket
ITIL service strategy
Added to basket
The Tcp/ip Guide
Added to basket
SharePoint 2013 For Dummies
Added to basket
Building Microservices
Added to basket
Networks: A Very Short Introduction
Added to basket
Cisco Networking All-in-One For Dummies
Added to basket
Cryptography Engineering
Added to basket
Network Security For Dummies
Added to basket
Active Directory For Dummies
Added to basket
Nmap Network Scanning
Added to basket

Please sign in to write a review

Your review has been submitted successfully.