A Verification-Centric Software Development Process for Java

Design by contract (DBC) is an oft-cited, but rarely followed, programming practice that focuses on writing formal specifications first, and writing code that fulfills those specifications second. The development of static analysis tools over the past several years has made it possible to fully embr...

Celý popis

Uloženo v:

Podrobná bibliografie
Vydáno v:	2009 Ninth International Conference on Quality Software s. 76 - 85
Hlavní autoři:	Zimmerman, D.M., Kiniry, J.R.
Médium:	Konferenční příspěvek
Jazyk:	angličtina
Vydáno:	IEEE 01.08.2009
Témata:	Business Object Notation Concrete Contracts Design by Contract formal methods Formal specifications Java Java Modeling Language Programming Runtime Software design software engineering process Software systems Software testing software verification Writing
ISBN:	1424459125, 9781424459124
ISSN:	1550-6002
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!

Buďte první, kdo okomentuje tento záznam!