000			01288nab a22002777 4500
001			H004.415 JOU
003			AR-sfUTN
008			190909b xx |||p|r|||| 00| 0 spa d
040			_cAR-sfUTN
080			_aH004.415 JOU
100			_aMaley, David
700			_aSpence, Ivor
245			_aSupporting design by contract in C++
336			_2rdacontent _atexto _btxt
337			_2rdamedia _asin mediación _bn
338			_2rdacarrier _avolumen _bnc
505			_aApp.9 is an Annotation Preprocessor for C/C++ programs developed in Unix environments. It recognizes assertions that appear as annotations of the source text, written using extended comment indicators. It recognizes three assertion constructs: assume (preconditions), promise (postconditions), return (specifies a constraint on the return value of a function), and a fourth construct, assert, that specifies a constraint on an intermediate state of a function body.
650			_aSYSTEMS DESIGN
650			_aCONTRACTS
650			_aCOMPUTER PROGRAMMING
650			_aOBJECT ORIENTED PROGRAMMING
650			_aLANGUAGE C++
773			_tJOOP : the journal of object-oriented programming _wH004.415 JOU _nS.T.:H004.415 JOU PP3435 _g(vol. 14, nro. 3, Aug-Sep. 2001), p. 8-19
942			_cAN
999			_c37448 _d37448