The project will research and propose a new approach to system’s requirements engineering through the use of semantics, ontologies and appropriate NLP techniques. The aim is to propose of an integrated flow-down of developing and formalising requirements specifications and a new framework for the definition of a minimum set of consistent formalisms and languages for representing the requirements and performing the necessary validations.