IEEE - Institute of Electrical and Electronics Engineers, Inc. - A Verification-Centric Software Development Process for Java

2009 9th International Conference on Quality Software (QSIC)

Author(s): Zimmerman, D.M. ; Kiniry, J.R.
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Publication Date: 1 August 2009
Conference Location: Jeju, Korea (South), Korea (South)
Conference Date: 24 August 2009
Page(s): 76 - 85
ISBN (CD): 978-0-7695-3828-0
ISBN (Electronic): 978-1-4244-5913-1
ISBN (Paper): 978-1-4244-5912-4
ISSN (Paper): 1550-6002
DOI: 10.1109/QSIC.2009.18
Regular:

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

Advertisement