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

ver descrição completa

Detalhes bibliográficos
Autor principal: Pestana, João Miguel Alves (author)
Formato: masterThesis
Idioma:eng
Publicado em: 2010
Assuntos:
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
Texto completo:http://hdl.handle.net/10400.13/78
País:Portugal
Oai:oai:digituma.uma.pt:10400.13/78

Texto Completo

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

Registos relacionados