PLURALSIGHT CODE CONTRACTS BOOKWARE 視頻教學 英文正式版

　


　
軟體簡介:
　
視頻教學

CodeContractsprovideawayfordeveloperstoexpress
codingassumptionsin.NETlibrariesandapplications,
facilitatingthedeliveryofmorereliablecodethatis
easiertounderstandandmaintain.Inthiscourse,wewill
coverthebasicsofCodeContracts,includinghowto
enforcepreconditions,guaranteepostconditions,and
defineinvariants.

Wewillalsocoversomeadvancedtechniquesavailabletothe
CodeContractslibrary,includinginterfacecontractsand
quantifiers.Bytheendofthiscourse,youshouldknow
enoughtogetstartedusingCodeContracts,andhavea
goodunderstandingofthecapabilitiesofthelibrary.