F-ORM METHOD: a F-ORM Methodology for Reusing Specifications