Statecharts in CSP . Ein Prozeßmodell in CSP zur Analyse von STATEMATE-Statecharts (Schriftenreihe Forschungsergebnisse zur Informatik)
4 Angebote vergleichen
Bester Preis: € 69,95 (vom 28.10.2016)1
Statecharts in CSP, Ein Prozeßmodell in CSP zur Analyse von STATEMATE-Statecharts (1999)
DE PB NW FE
ISBN: 9783860649299 bzw. 3860649299, in Deutsch, Verlag Dr. Kovac, Hamburg, Taschenbuch, neu, Erstausgabe.
Von Händler/Antiquariat, Verlag Dr. Kovac GmbH [56043471], Hamburg, Germany.
Forschungsergebnisse zur Informatik, Band 48 190 pages. 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.
Forschungsergebnisse zur Informatik, Band 48 190 pages. 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.
2
| Statecharts in CSP | Kovac | 1999
DE NW
ISBN: 9783860649299 bzw. 3860649299, in Deutsch, Kovac, neu.
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.
3
Statecharts in CSP . Ein Prozeßmodell in CSP zur Analyse von STATEMATE-Statecharts (Schriftenreihe Forschungsergebnisse zur Informatik) (1999)
DE PB NW FE
ISBN: 9783860649299 bzw. 3860649299, in Deutsch, 190 Seiten, Verlag Dr. Kovac, Taschenbuch, neu, Erstausgabe.
Lieferung aus: Deutschland, Versandfertig in 1 - 2 Werktagen.
Von Händler/Antiquariat, verlagdrkovac.
Die Beschreibung dieses Angebotes ist von geringer Qualität oder in einer Fremdsprache. Trotzdem anzeigen
Von Händler/Antiquariat, verlagdrkovac.
Die Beschreibung dieses Angebotes ist von geringer Qualität oder in einer Fremdsprache. Trotzdem anzeigen
4
Statecharts in CSP - Ein Prozessmodell in CSP zur Analyse von Statemate-Statecharts
DE HC NW
ISBN: 9783860649299 bzw. 3860649299, in Deutsch, Kovac, Dr. Verlag, gebundenes Buch, neu.
Lieferung aus: Deutschland, Versandkosten nach: Deutschland.
Von Händler/Antiquariat, InternetBuchhandlung A. Bell, [3194875].
Gebunden, Neuware, Internationaler Versand, PayPal, Banküberweisung.
Von Händler/Antiquariat, InternetBuchhandlung A. Bell, [3194875].
Gebunden, Neuware, Internationaler Versand, PayPal, Banküberweisung.
Lade…