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 ...
Read More
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.
Read Less
Add this copy of Modellbildung in Der Informatik to cart. $28.17, new condition, Sold by Ingram Customer Returns Center rated 5.0 out of 5 stars, ships from NV, USA, published 2013 by Springer.
Add this copy of Modellbildung in Der Informatik (Xpert. Press) (German to cart. $53.67, good condition, Sold by Bonita rated 4.0 out of 5 stars, ships from Newport Coast, CA, UNITED STATES, published 2013 by Springer.
Add this copy of Modellbildung in Der Informatik to cart. $37.56, new condition, Sold by Ingram Customer Returns Center rated 5.0 out of 5 stars, ships from NV, USA, published 2003 by Springer.
Add this copy of Modellbildung in Der Informatik (Xpert. Press) (German to cart. $67.78, good condition, Sold by Bonita rated 4.0 out of 5 stars, ships from Newport Coast, CA, UNITED STATES, published 2003 by Springer.
