Aktualisiert: 2023-07-02
> findR *
Modellbildung in der Informatik
Schlüsselwort: formale Spezifikation
Modellbildung in der Informatik
Praktische Informatik – Eine Einführung
Programmierung bedeutet im Wesentlichen die Übertragung von Funktionen des menschlichen Denkens auf einen Digitalrechner. Der Band Praktische Informatik liefert das nötige Wissen dafür: Aufbau von Rechnern und von Programmiersprachen, Struktur und Verwaltung von Daten, Zerlegung von Problemen. Das Lern- und Arbeitsbuch richtet sich an Studienanfänger und an Informatik-Interessierte, wobei Programmierkenntnisse nicht vorausgesetzt werden. Mit vielen Beispielen in der Programmiersprache Java. Erläuternde Audio-Dateien sind als Download erhältlich.
Aktualisiert: 2023-03-14
> findR *
Eigenschaftsorientierte Beschreibung der logischen Architektur eingebetteter Systeme
Modellbildung in der Informatik
Mehr als nur Programmieren…
Ausführbare Spezifikation von Directory-Systemen in einer logischen Sprache
Das Buch behandelt die Spezifikation von Directory-Systemen
unter Anwendung von Konzepten der logischen Programmierung.
Ausgehend von der Definition derArchitektur eines
Directory-Systems wird eine Spezifikationsmethode zur
Beschreibung solcher Architekturen vorgestellt. Als
Spezifikationssprache dient die Sprache der
Hornklausel-Logik, erweitert um Negation. Im Buch werden
eine von D.B. Terry bei Xerox PARC entworfene Architektur
und ein Ausschnitt aus der Architektur des internationalen
Standards f}r Directory-Systeme (X.500) spezifiziert. Daran
lassen sich die Vorteile der vorgeschlagenen Methode
aufzeigen: Die Spezifikationen sind kompakt, gut lesbar und
besitzen eine deklarative und eine prozedurale Semantik.
Die erstellten Spezifikationen lassen sich auf einem
Prolog-System ausf}hren. Die Ausf}hrbarkeit der
Spezifikationen erweist sich als vielseitig anwendbare
Eigenschaft, welche beispielsweise die Simulation eines
Directory-Systems bei gegebener Konfiguration erm|glicht
oder die ]berpr}fung (Verifikation, Validierung) einer
Spezifikation erleichtert.
Aktualisiert: 2023-04-04
> findR *
Konzepte für eine verteilte wissensbasierte Softwareproduktionsumgebung
Modellbildung in der Informatik
Eigenschaftsorientierte Beschreibung der logischen Architektur eingebetteter Systeme
David Trachtenherz entwickelt einen Lösungsansatz zur eigenschaftsorientierten Beschreibung der logischen Architektur eingebetteter Systeme, der eine präzise deklarative Spezifikation funktionaler Eigenschaften mit wählbarem Grad der Abstraktion für unterschiedliche Entwicklungsphasen und -ebenen ermöglicht.
Aktualisiert: 2023-04-04
> findR *
Modellbildung in der Informatik
Praktische Informatik – Eine Einführung
Programmierung bedeutet im Wesentlichen die Übertragung von Funktionen des menschlichen Denkens auf einen Digitalrechner. Der Band Praktische Informatik liefert das nötige Wissen dafür: Aufbau von Rechnern und von Programmiersprachen, Struktur und Verwaltung von Daten, Zerlegung von Problemen. Das Lern- und Arbeitsbuch richtet sich an Studienanfänger und an Informatik-Interessierte, wobei Programmierkenntnisse nicht vorausgesetzt werden. Mit vielen Beispielen in der Programmiersprache Java. Erläuternde Audio-Dateien sind als Download erhältlich.
Aktualisiert: 2023-04-04
> findR *
Konzepte für eine verteilte wissensbasierte Softwareproduktionsumgebung
Ausführbare Spezifikation von Directory-Systemen in einer logischen Sprache
Das Buch behandelt die Spezifikation von Directory-Systemen
unter Anwendung von Konzepten der logischen Programmierung.
Ausgehend von der Definition derArchitektur eines
Directory-Systems wird eine Spezifikationsmethode zur
Beschreibung solcher Architekturen vorgestellt. Als
Spezifikationssprache dient die Sprache der
Hornklausel-Logik, erweitert um Negation. Im Buch werden
eine von D.B. Terry bei Xerox PARC entworfene Architektur
und ein Ausschnitt aus der Architektur des internationalen
Standards f}r Directory-Systeme (X.500) spezifiziert. Daran
lassen sich die Vorteile der vorgeschlagenen Methode
aufzeigen: Die Spezifikationen sind kompakt, gut lesbar und
besitzen eine deklarative und eine prozedurale Semantik.
Die erstellten Spezifikationen lassen sich auf einem
Prolog-System ausf}hren. Die Ausf}hrbarkeit der
Spezifikationen erweist sich als vielseitig anwendbare
Eigenschaft, welche beispielsweise die Simulation eines
Directory-Systems bei gegebener Konfiguration erm|glicht
oder die ]berpr}fung (Verifikation, Validierung) einer
Spezifikation erleichtert.
Aktualisiert: 2023-04-04
> findR *
Mehr als nur Programmieren…
Statecharts in CSP
Graphische Notationen werden heute standardmäßig zur Modellierung komplexer Softwaresysteme eingesetzt. Eine gängige Notation für die Entwicklung von Steuerungssystemen sind die von Harel eingeführten Statecharts, die durch das Werkzeug Statemate unterstützt wird. Bei der bestehenden Komplexität der Softwaremodelle werden immer stärker Analyseverfahren benötigt, die die industrielle Softwareentwicklung weitgehend unterstützen können. In diesem Buch wird eine neuartige Übersetzungstechnik von Statecharts nach CSP (Communicating Sequential Processes) vorgestellt, auf deren Basis bereits etablierte Softwarewerkzeuge zur Verifikation von Statecharts eingesetzt werden können. Mit dieser Arbeit ist ein erster und wichtiger Schritt getan, um formale Analysetechniken auch in der Softwareentwicklung mit dem Werkzeug STATEMATE einsetzen zu können.
Aktualisiert: 2020-12-04
> findR *
Bücher zum Thema formale Spezifikation
Sie suchen ein Buch über formale Spezifikation? Bei Buch findr finden Sie eine große Auswahl Bücher zum Thema formale Spezifikation. Entdecken Sie neue Bücher oder Klassiker für Sie selbst oder zum Verschenken. Buch findr hat zahlreiche Bücher zum Thema formale Spezifikation im Sortiment. Nehmen Sie sich Zeit zum Stöbern und finden Sie das passende Buch für Ihr Lesevergnügen. Stöbern Sie durch unser Angebot und finden Sie aus unserer großen Auswahl das Buch, das Ihnen zusagt. Bei Buch findr finden Sie Romane, Ratgeber, wissenschaftliche und populärwissenschaftliche Bücher uvm. Bestellen Sie Ihr Buch zum Thema formale Spezifikation einfach online und lassen Sie es sich bequem nach Hause schicken. Wir wünschen Ihnen schöne und entspannte Lesemomente mit Ihrem Buch.
formale Spezifikation - Große Auswahl Bücher bei Buch findr
Bei uns finden Sie Bücher beliebter Autoren, Neuerscheinungen, Bestseller genauso wie alte Schätze. Bücher zum Thema formale Spezifikation, die Ihre Fantasie anregen und Bücher, die Sie weiterbilden und Ihnen wissenschaftliche Fakten vermitteln. Ganz nach Ihrem Geschmack ist das passende Buch für Sie dabei. Finden Sie eine große Auswahl Bücher verschiedenster Genres, Verlage, Autoren bei Buchfindr:
- Formale Sprachbereiche
- formale Sprache
- Formale Sprache des Denkens
- Formale Sprachen
- formale Struktur
- Formale Strukturmodelle
Sie haben viele Möglichkeiten bei Buch findr die passenden Bücher für Ihr Lesevergnügen zu entdecken. Nutzen Sie unsere Suchfunktionen, um zu stöbern und für Sie interessante Bücher in den unterschiedlichen Genres und Kategorien zu finden. Unter formale Spezifikation und weitere Themen und Kategorien finden Sie schnell und einfach eine Auflistung thematisch passender Bücher. Probieren Sie es aus, legen Sie jetzt los! Ihrem Lesevergnügen steht nichts im Wege. Nutzen Sie die Vorteile Ihre Bücher online zu kaufen und bekommen Sie die bestellten Bücher schnell und bequem zugestellt. Nehmen Sie sich die Zeit, online die Bücher Ihrer Wahl anzulesen, Buchempfehlungen und Rezensionen zu studieren, Informationen zu Autoren zu lesen. Viel Spaß beim Lesen wünscht Ihnen das Team von Buchfindr.