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)
Featuritis or creeping featurism is the tendency for the number of features in a product (usually software product) to rise with each release of the product. Most of the time featurism adds unnecessary complexity to a software product. Therefore, some software designers have recently embraced a minimalistic approach to creating their products by presenting(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