• DocumentCode
    1832173
  • Title

    Creating GUI-based DSL formal tools

  • Author

    Silva, R. ; Mota, Alexandre ; Rizzi Starr, Rodrigo

  • Author_Institution
    Inf. Center - Fed. Univ. of Pernambuco, Recife, Brazil
  • fYear
    2013
  • fDate
    14-16 Aug. 2013
  • Firstpage
    520
  • Lastpage
    527
  • Abstract
    In this paper we propose a rigorous methodology to create GUI-based DSLs formal tools. From a formal specification of a DSL we extract a metamodel and create a user-friendly (GUI) front-end. Then we use a code synthesizer to create a formally verified back-end. At the end we link both parts using a wrapper solution. We aim at providing a productive and trustworthy development methodology to safety critical industries.
  • Keywords
    formal verification; graphical user interfaces; specification languages; trusted computing; GUI-based DSL formal tools; code synthesizer; formal specification; formally verified back-end; safety critical industries; trustworthy development methodology; user-friendly front-end; wrapper solution; Abstracts; DSL; Graphical user interfaces; Logic gates; Reactive power; Semantics; Syntactics;
  • fLanguage
    English
  • Publisher
    ieee
  • Conference_Titel
    Information Reuse and Integration (IRI), 2013 IEEE 14th International Conference on
  • Conference_Location
    San Francisco, CA
  • Type

    conf

  • DOI
    10.1109/IRI.2013.6642514
  • Filename
    6642514
    • Link To Document
    https://search.isc.ac/dl/search/defaultta.aspx?DTC=49&DC=1832173