Mohlo by sa vám tiež páčiť

Viac informácií o knihe Modellbildung in der Informatik, 1

• Parametre knihy
• Anotácia kniha
• Obľúbené z iného súdka

Nákupom získate 98 bodov

Anotácia knihy

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.§

Parametre knihy

Zaradenie knihy Knihy po nemecky Naturwissenschaften, Medizin, Informatik, Technik Informatik, EDV Informatik

• Celý názov: Modellbildung in der Informatik, 1
• Autor: Manfred Broy, Ralf Steinbrüggen
• Jazyk: Nemčina
• Väzba: Brožovaná
• Počet strán: 256
• EAN: 9783642622670
• ISBN: 3642622674
• ID: 02117257
• Nakladateľ: Springer, Berlin
• Hmotnosť: 410 g
• Rozmery: 235 × 155 × 14 mm
• Dátum vydania: 03. October 2013

Obľúbené z iného súdka

---

---

---