@inproceedings{8501293, author = {L{\'{u}}cio, Levi and Iqbal, Tahira}, title = {Formalizing EARS – First Impressions}, booktitle = {2018 1st International Workshop on Easy Approach to Requirements Syntax (EARS)}, pages = {11-13}, year = {2018}, month = aug, abstract = {The Easy Approach to Requirements Specification (EARS) has been designed primarily as a set of templates to assist requirements engineers in writing software requirements that are clear and understandable. Its target are thus requirements engineers, software architects and developers. Due to the minimalistic nature of the English sentences that make up an EARS specification, it is reasonable to expect that automated tasks can be performed on EARS specification, among which verification and code synthesis. Given English cannot be directly understood by machines without some degree of ambiguity, EARS requirements can only by automatically processed if they are translated in advance into formal specifications. In this short paper, we explore how a translation from EARS into Linear Temporal Logic can be implemented in practice.}, doi = {10.1109/EARS.2018.00009}, keywords = {EARS, Linear Temporal Logic, Translation, Formalization, Model-based Systems Engineering, MbSE}, }