fortiss scientific publications

Scientific publications

Publications, journal articles and brochures with results from the institute

Scientific publications

Keywords: formal specification;formal verification;temporal logic;requirement specification;English sentences;minimalistic nature;software architects;writing software requirements;formal specifications;EARS requirements;code synthesis;EARS specification;Ear;Software;Engines;Oils;Static analysis;Tools;Natural languages;EARS;Linear Temporal Logic;Translation;Formalization

Export list as BibTeX file

2018

  • August 2018Formalizing EARS – First ImpressionsLevi Lúcio and Tahira Iqbal In 2018 1st International Workshop on Easy Approach to Requirements Syntax (EARS), pages 11-13, DetailsDOIBIB