A. Sánchez

Learn More
This paper presents the main steps of an automatic transformation technique that generates formal specifications starting from non-formal object oriented methods. This technique provides, through well-specified rules, the transformation of non-formal Object Oriented (OO) models into Formal Requirements Specification (FRS), allowing the validation of final(More)
  • 1