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

Full description

Saved in:

Bibliographic Details
Published in:	Electronic notes in theoretical computer science Vol. 240; pp. 5 - 21
Main Authors:	Cataño, Néstor, Barraza, Fernando, García, Daniel, Ortega, Pablo, Rueda, Camilo
Format:	Journal Article
Language:	English
Published:	Elsevier B.V 02-07-2009
Subjects:	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)
Online Access:	Get full text
Tags:	Add Tag No Tags, Be the first to tag this record!

Description
Summary:	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