By Manfred Broy,Ralf Steinbrüggen
Leitlinie dieser Einfuhrung in die Informatik ist die Frage, welche Vorgehensweisen einem challenge informatische Kontur verleihen und welche Techniken zur Verfugung stehen, um Informatiksysteme analysieren oder entwerfen zu konnen.
Modelle enstehen in der Zusammenschau unterschiedlicher Ansichten eines structures, die durch pragnante Diagramme beschrieben werden: Entity-Relationship-, Systemstruktur-, Zustandsubergangs- und Sequenzdiagramme. Inharenter 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 Konsistenzprufung und zur Simulation. Sie gehen den Fragen nach, wie sich Diagramme in formale Spezifikationen ubertragen lassen, woher eine Systementwicklung ihre Argumente nimmt, nach welchen Methoden verifiziert wird und wie interaktive Theorembeweiser, wie z.B. Isabelle/HOL, arbeiten.
Read Online or Download Modellbildung in der Informatik (Xpert.press) (German Edition) PDF
Best application development books
Ext JS 4 Plugin and Extension Development
In DetailExt JS is a natural JavaScript software framework for construction interactive internet functions utilizing recommendations comparable to Ajax, DHTML, and DOM scripting. Ext JS four Plugin and Extension improvement is a realistic, step by step educational which publications you to profit and enhance ExtJS plugins and extensions.
In DetailWebRTC gives you web-based real-time conversation and is decided to revolutionize our view of what the net relatively is. Streaming audio and video from browser to browser, in addition to establishing uncooked entry to the digital camera and microphone, is already making a entire new dynamic internet. WebRTC additionally introduces real-time facts channels that would enable interplay with dynamic facts feeds from sensors and different units.
Mastering Concurrency Programming with Java 8
Grasp the foundations and methods of multithreaded programming with the Java eight Concurrency APIAbout This BookImplement concurrent purposes utilizing the Java eight Concurrency API and its new componentsImprove the functionality of your purposes or approach extra facts even as, profiting from all your assets.
Reactive Internet Programming: State Chart XML in Action
Is net software program so diversified from “ordinary” software program? This publication essentially solutions this question during the presentation of a software program layout approach in line with the kingdom Chart XML W3C common in addition to Java. internet company, Internet-of-Things, and Android functions, specifically, are seamlessly particular and applied from “executable versions.
- Using CiviCRM - Second Edition
- Engineering Psychology and Cognitive Ergonomics: 12th International Conference, EPCE 2015, Held as Part of HCI International 2015, Los Angeles, CA, USA, ... (Lecture Notes in Computer Science)
- Learning QGIS 2.0
- Ionic : Hybrid Mobile App Development
- Getting to Know Web GIS: Second Edition (Getting to Know ArcGIS)
- Amazon Web Services: Migrating your .NET Enterprise Application
Extra info for Modellbildung in der Informatik (Xpert.press) (German Edition)
Sample text