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

Podrobná bibliografie

Vydáno v:	Electronic notes in theoretical computer science Ročník 240; s. 5 - 21
Hlavní autoři:	Cataño, Néstor, Barraza, Fernando, García, Daniel, Ortega, Pablo, Rueda, Camilo
Médium:	Journal Article
Jazyk:	angličtina
Vydáno:	Elsevier B.V 02.07.2009
Témata:	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 přístup:	Získat plný text
Tagy:	Přidat tag Žádné tagy, Buďte první, kdo vytvoří štítek k tomuto záznamu!