Abstract: Drafting a formal or semi-formal model describing the functional requirements of a system from a textual specification is a prerequisite in the context of a model-driven engineering approach ...

Abstract: The transformation of textual specifications into formal software models is a major challenge in software design automation. This study presents an integrated approach that combines the ...