fortiss wissenschaftliche Publikationen

Wissenschaftliche Publikationen

Veröffentlichungen, Zeitschriftenaufsätze und Broschüren mit Ergebnissen aus dem Institut

Wissenschaftliche Publikationen

Stichworte: 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

Liste als BibTeX-Datei exportieren