Entwicklung eines jABC Plugin zur grafischen Beschreibung von Transformationen strukturierter Daten
- Standort
-
Deutsche Nationalbibliothek Frankfurt am Main
- Umfang
-
Online-Ressource
- Sprache
-
Deutsch
- Anmerkungen
-
Dortmund, Technische Universität, Diplomarbeit, 2008
- Klassifikation
-
Informatik
- Ereignis
-
Veröffentlichung
- (wo)
-
Dortmund
- (wer)
-
Universitätsbibliothek Dortmund
- (wann)
-
2013
- Urheber
- Beteiligte Personen und Organisationen
- Handle
-
2003/30117
- URN
-
urn:nbn:de:101:1-201608011709
- Rechteinformation
-
Der Zugriff auf das Objekt ist unbeschränkt möglich.
- Letzte Aktualisierung
-
14.08.2025, 10:48 MESZ
Datenpartner
Dieses Objekt wird bereitgestellt von:
Deutsche Nationalbibliothek. Bei Fragen zum Objekt wenden Sie sich bitte an den Datenpartner.
Deutsche Nationalbibliothek. Bei Fragen zum Objekt wenden Sie sich bitte an den Datenpartner.
Beteiligte
- Neubauer, Johannes
- Steffen, Bernhard
- Nagel, Ralf
- Universitätsbibliothek Dortmund
Entstanden
- 2013
Ähnliche Objekte (12)
LocalChecker plugin for the jABC
Grundlagen der höheren Informatik, Bd. 1.. Induktives Vorgehen
Das Dogma vom Kreuz : Beitrag zu einer staurozentrischen Theologie
Abstrakte Interpretationen beim Optimieren von Programmlaufzeiten : e. Optimalitätskonzept u. seine Anwendung
Finite model checking and beyond
Service-oriented design : the jABC Approach
Composition, decomposition and model checking of pushdown processes
Pushdown processes : parallel composition and model checking
Der Herr im Felde! : Soldatenbüchlein
Verification, model checking, and abstract interpretation : 5th international conference ; proceedings
Efficient and optimal bit vector data flow analyses : a uniform interprocedural framework
Gemeinsamer Bericht über die Forschungsvorhaben Vollständige interprozedurale Programmoptimierung und Interprozedurale Datenflussanalysegeneratoren
LocalChecker plugin for the jABC
Grundlagen der höheren Informatik, Bd. 1.. Induktives Vorgehen
Das Dogma vom Kreuz : Beitrag zu einer staurozentrischen Theologie
Abstrakte Interpretationen beim Optimieren von Programmlaufzeiten : e. Optimalitätskonzept u. seine Anwendung
Finite model checking and beyond
Service-oriented design : the jABC Approach
Composition, decomposition and model checking of pushdown processes
Pushdown processes : parallel composition and model checking
Der Herr im Felde! : Soldatenbüchlein
Verification, model checking, and abstract interpretation : 5th international conference ; proceedings
Efficient and optimal bit vector data flow analyses : a uniform interprocedural framework
Gemeinsamer Bericht über die Forschungsvorhaben Vollständige interprozedurale Programmoptimierung und Interprozedurale Datenflussanalysegeneratoren
LocalChecker plugin for the jABC
Grundlagen der höheren Informatik, Bd. 1.. Induktives Vorgehen
Das Dogma vom Kreuz : Beitrag zu einer staurozentrischen Theologie
Abstrakte Interpretationen beim Optimieren von Programmlaufzeiten : e. Optimalitätskonzept u. seine Anwendung
Finite model checking and beyond
Service-oriented design : the jABC Approach
Composition, decomposition and model checking of pushdown processes
Pushdown processes : parallel composition and model checking
Der Herr im Felde! : Soldatenbüchlein
Verification, model checking, and abstract interpretation : 5th international conference ; proceedings
Efficient and optimal bit vector data flow analyses : a uniform interprocedural framework