Versenden
Drucken
Ring, Martin und Stoppe, Jannis und Drechsler, Rolf (2018) UMLAUT: Synthesis of Natural Language from Constrained UML Models. In: Workshop on Design Automation for Understanding Hardware Designs. 5th Workshop on Design Automation for Understanding Hardware Designs (DUHDe), 2018-03-23, Dresden, Deutschland.
![[img]](https://elib.dlr.de/style/images/fileicons/application_pdf.png) |
PDF
174kB |
Kurzfassung
Understanding formal specifications is a fundamental prerequisite in the design of any complex system. While it is feasible to machine check the conformance of an implementation to a specification, in practice many problems arise from the fact, that it is currently impossible for a machine to check the consistency of a specification in terms of the vision of a stakeholder, the requirements of concerned parties, or any laws which are not formalised. This paper presents an approach to generate natural language from formal specifications to aid in communicating complex technical matters to human beings.
| elib-URL des Eintrags: | https://elib.dlr.de/121392/ | ||||||||||||||||
|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|
| Dokumentart: | Konferenzbeitrag (Vortrag) | ||||||||||||||||
| Titel: | UMLAUT: Synthesis of Natural Language from Constrained UML Models | ||||||||||||||||
| Autoren: |
| ||||||||||||||||
| Datum: | 23 März 2018 | ||||||||||||||||
| Erschienen in: | Workshop on Design Automation for Understanding Hardware Designs | ||||||||||||||||
| Referierte Publikation: | Ja | ||||||||||||||||
| Open Access: | Ja | ||||||||||||||||
| Gold Open Access: | Nein | ||||||||||||||||
| In SCOPUS: | Nein | ||||||||||||||||
| In ISI Web of Science: | Nein | ||||||||||||||||
| Status: | veröffentlicht | ||||||||||||||||
| Stichwörter: | Natural Language Processing, NLP, Hardware Design, Synthesis | ||||||||||||||||
| Veranstaltungstitel: | 5th Workshop on Design Automation for Understanding Hardware Designs (DUHDe) | ||||||||||||||||
| Veranstaltungsort: | Dresden, Deutschland | ||||||||||||||||
| Veranstaltungsart: | Workshop | ||||||||||||||||
| Veranstaltungsdatum: | 23 März 2018 | ||||||||||||||||
| HGF - Forschungsbereich: | keine Zuordnung | ||||||||||||||||
| HGF - Programm: | keine Zuordnung | ||||||||||||||||
| HGF - Programmthema: | keine Zuordnung | ||||||||||||||||
| DLR - Schwerpunkt: | keine Zuordnung | ||||||||||||||||
| DLR - Forschungsgebiet: | keine Zuordnung | ||||||||||||||||
| DLR - Teilgebiet (Projekt, Vorhaben): | keine Zuordnung | ||||||||||||||||
| Standort: | Bremerhaven | ||||||||||||||||
| Institute & Einrichtungen: | Institut für den Schutz maritimer Infrastrukturen > Maritime Sicherheitstechnologien | ||||||||||||||||
| Hinterlegt von: | Stoppe, Dr.-Ing. Jannis | ||||||||||||||||
| Hinterlegt am: | 25 Feb 2021 09:41 | ||||||||||||||||
| Letzte Änderung: | 24 Apr 2024 20:25 |
Nur für Mitarbeiter des Archivs: Kontrollseite des Eintrags
