Tell a friend
Print
Ring, Martin and Stoppe, Jannis and 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 |
Abstract
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.
| Item URL in elib: | https://elib.dlr.de/121392/ | ||||||||||||||||
|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|
| Document Type: | Conference or Workshop Item (Speech) | ||||||||||||||||
| Title: | UMLAUT: Synthesis of Natural Language from Constrained UML Models | ||||||||||||||||
| Authors: |
| ||||||||||||||||
| Date: | 23 March 2018 | ||||||||||||||||
| Journal or Publication Title: | Workshop on Design Automation for Understanding Hardware Designs | ||||||||||||||||
| Refereed publication: | Yes | ||||||||||||||||
| Open Access: | Yes | ||||||||||||||||
| Gold Open Access: | No | ||||||||||||||||
| In SCOPUS: | No | ||||||||||||||||
| In ISI Web of Science: | No | ||||||||||||||||
| Status: | Published | ||||||||||||||||
| Keywords: | Natural Language Processing, NLP, Hardware Design, Synthesis | ||||||||||||||||
| Event Title: | 5th Workshop on Design Automation for Understanding Hardware Designs (DUHDe) | ||||||||||||||||
| Event Location: | Dresden, Deutschland | ||||||||||||||||
| Event Type: | Workshop | ||||||||||||||||
| Event Date: | 23 March 2018 | ||||||||||||||||
| HGF - Research field: | other | ||||||||||||||||
| HGF - Program: | other | ||||||||||||||||
| HGF - Program Themes: | other | ||||||||||||||||
| DLR - Research area: | no assignment | ||||||||||||||||
| DLR - Program: | no assignment | ||||||||||||||||
| DLR - Research theme (Project): | no assignment | ||||||||||||||||
| Location: | Bremerhaven | ||||||||||||||||
| Institutes and Institutions: | Institute for the Protection of Maritime Infrastructures > Maritime Security Technologies | ||||||||||||||||
| Deposited By: | Stoppe, Dr.-Ing. Jannis | ||||||||||||||||
| Deposited On: | 25 Feb 2021 09:41 | ||||||||||||||||
| Last Modified: | 24 Apr 2024 20:25 |
Repository Staff Only: item control page
