A Case Study in JML-Assisted Software Development

This paper presents a case study in formal software development of a plugin for a Java Desktop project management application using JML. Our goals for the case study include determining how JML-based formal methods can be incorporated in traditional software engineering practices used in the softwar...

Celý popis

Uložené v:
Podrobná bibliografia
Vydané v:Electronic notes in theoretical computer science Ročník 240; s. 5 - 21
Hlavní autori: Cataño, Néstor, Barraza, Fernando, García, Daniel, Ortega, Pablo, Rueda, Camilo
Médium: Journal Article
Jazyk:English
Vydavateľské údaje: Elsevier B.V 02.07.2009
Predmet:
Formal Methods
International Center for Tropical Agriculture (CIAT)
Java
Java Modeling Language (JML)
Software Development
International Center for Tropical Agriculture (CIAT)
Java
Software Development
Formal Methods
Java Modeling Language (JML)
ISSN:1571-0661, 1571-0661
On-line prístup:Získať plný text
Tagy: Pridať tag
Žiadne tagy, Buďte prvý, kto otaguje tento záznam!
Popis
Shrnutí:This paper presents a case study in formal software development of a plugin for a Java Desktop project management application using JML. Our goals for the case study include determining how JML-based formal methods can be incorporated in traditional software engineering practices used in the software industry and how the use of JML for modeling software requirements can enforce the programming of correct Java code. We demonstrate how JML-based formal methods can be used so as to effectively contribute to the making of decisions within a software development team.
ISSN:1571-0661
1571-0661
DOI:10.1016/j.entcs.2009.05.042