Utilize este identificador para referenciar este registo: http://hdl.handle.net/10400.13/78
Título: A JML-Based strategy for incorporating formal specifications into the software development process
Autor: Pestana, João Miguel Alves
Palavras-chave: 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
Data de Defesa: 2009
Resumo: 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 that runs in parallel with the other phase of software development. What makes our strategy different from other software development strategies used in literature is the particular use of JML specifications we make all along the way from requirements to validation-and-verification.
URI: http://hdl.handle.net/10400.13/78
Aparece nas colecções:Dissertações de Mestrado

Ficheiros deste registo:
Ficheiro Descrição TamanhoFormato 
MestradoJoaoPestana.pdf883,25 kBAdobe PDFVer/Abrir


FacebookTwitterDeliciousLinkedInDiggGoogle BookmarksMySpace
Formato BibTex MendeleyEndnote Degois 

Todos os registos no repositório estão protegidos por leis de copyright, com todos os direitos reservados.