João Pestana

Learn More
This paper presents JFly, a JML-based strategy for incorporating formal specifications into the software development of object oriented programs. The strategy consists in evolving functional requirements into a semi-formal requirements form, and then expressing these requirements as JML formal specifications. What makes our strategy different from existing(More)
This thesis presents a JML-based strategy that incorporates formal specifications into the software development process of object-oriented programs. The strategy evolves functional requirements into a " semi-formal " requirements form, and then expressing them as JML formal specifications. The strategy is implemented as a formal-specification pseudo-phase(More)
  • 1