A JML-Based strategy for incorporating formal specifications into the software development process

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 strateg...

Full description

Bibliographic Details
Main Author: Pestana, João Miguel Alves (author)
Format: masterThesis
Language:eng
Published: 2010
Subjects:
Software development
Software correctness
Formal methods
Design by contract
Java Modelling Language (JML)
JML-based strategy
Informal functional requirements
Semi-formal functional requirements
Invariants
Formal specifications
Abstract variables
Java
.
Centro de Ciências Exatas e da Engenharia
Online Access:http://hdl.handle.net/10400.13/78
Country:Portugal
Oai:oai:digituma.uma.pt:10400.13/78

Internet

http://hdl.handle.net/10400.13/78

Similar Items