verdikt.uni-passau.de
Veröffentlichungen - Universität Passau
http://www.verdikt.uni-passau.de/informationsmanagement/forschungsprojekte/verdikt/veroeffentlichungen
Lehrstuhl für Informatik mit Schwerpunkt Informationsmanagement. Fakultät für Informatik und Mathematik. Alumni, Förderer, Freunde. Folgende wissenschaftliche Publikationen wurden im Zusammenhang mit dem Verdikt-Projekt veröffentlicht:. Franz Weitl and Shin Nakajima:. Incremental construction of counterexamples in model checking web documents. Proceedings of the 6th International Workshop on Automated Specification and Verification of Web Systems (WWV'10), Vienna, Austria. 2010 LNCS, volume 6184. Logic-B...
verdikt.uni-passau.de
Überblick - Universität Passau
http://www.verdikt.uni-passau.de/informationsmanagement/forschungsprojekte/verdikt/ueberblick
Lehrstuhl für Informatik mit Schwerpunkt Informationsmanagement. Fakultät für Informatik und Mathematik. Alumni, Förderer, Freunde. Größere Texte, zum Beispiel ein Sammelband, eine technische Dokumentation oder eine ganze Website, werden meistens unter Beteiligung mehrerer Autoren und Autorinnen geschrieben. Ohne gewisse Richtlinien und Koordination ist es normalerweise schwierig ein passendes Ergebnis zu erzielen. Ziele des Projekts Verdikt. Die Deutsche Forschungsgemeinschaft (DFG) fördert das Projekt ...
verdikt.uni-passau.de
Downloads - Universität Passau
http://www.verdikt.uni-passau.de/informationsmanagement/forschungsprojekte/verdikt/downloads
Lehrstuhl für Informatik mit Schwerpunkt Informationsmanagement. Fakultät für Informatik und Mathematik. Alumni, Förderer, Freunde. Hier können Sie Demonstrations-Versionen des Verdikt Verifikators herunterladen. Die erste Version (nur auf Deutsch verfügbar) wurde auch am Tag der Offenen Tür der Universität Passau am 08.11.2008 vorgeführt. Die zweite Version (auf Deutsch und Englisch verfügbar, Beispieldokument auf Englisch) wurde auf der Konferenz DocEng '09. Demo 1: Tag der Offenen Tür 2008. Stellen Si...
ifis.uni-passau.de
Projekte - Universität Passau
http://www.ifis.uni-passau.de/projekte
Institut für Informationssysteme und Softwaretechnik. Fakultät für Informatik und Mathematik. Alumni, Förderer, Freunde. Die IFIS Produktpalette umfasst Softwarekomponenten aus den Bereichen. Medienarchive mit globaler Vernetzbarkeit und intelligenter Suchfunktion. Workflowmanagment mit Workflow-Evolution und -Migration. StudIP, HISQIS, ILIAS.
im.uni-passau.de
Forschungsprojekte - Universität Passau
http://www.im.uni-passau.de/informationsmanagement/forschungsprojekte
Lehrstuhl für Informatik mit Schwerpunkt Informationsmanagement. Fakultät für Informatik und Mathematik. Alumni, Förderer, Freunde. BiT - Interaktives Produkberatungssystem. InteLeC - Integrierter eLearning Campus. MonArch - Digitale Archive für Bauwerke und kulturhistorische Stätten. Verdikt - Konsistenzprüfung für digitale Dokumente. StudIP, HISQIS, ILIAS.
verdikt.uni-passau.de
Verdikt - Verifikation semistrukturierter Dokumente mit Kontextabhängigkeiten - Universität Passau
http://www.verdikt.uni-passau.de/informationsmanagement/forschungsprojekte/verdikt
Lehrstuhl für Informatik mit Schwerpunkt Informationsmanagement. Fakultät für Informatik und Mathematik. Alumni, Förderer, Freunde. Verdikt - Verifikation semistrukturierter Dokumente mit Kontextabhängigkeiten. Verdikt - Verifikation semistrukturierter Dokumente mit Kontextabhängigkeiten. Ein koordinierender Herausgeber muss das verwendete (Fach-) Vokabular vereinheitlichen, bestimmte Richtlinien für den Text entwerfen und ihre Einhaltung überprüfen. Eine solche Richtlinie könnte für technische Dokum...