Sayansi ya tarakilishi
Tangu wakati huo imekuwa ikijadiliwa kuwa sayansi ya kompyuta inaweza kuainishwa kama sayansi ya majaribio kwani hutumia upimaji wa majaribio kutathmini usahihi wa programu, lakini shida inabaki katika kufafanua sheria na nadharia za sayansi ya kompyuta (ikiwa zipo) na kufafanua asili ya majaribio katika sayansi ya kompyuta. Watetezi wa kuainisha sayansi ya kompyuta kama taaluma ya uhandisi wanasema kuwa kutegemewa kwa mifumo ya hesabu huchunguzwa kwa njia sawa na madaraja katika uhandisi wa kiraia na ndege katika uhandisi wa anga. Pia wanahoji kwamba ingawa sayansi ya majaribio inachunguza kile kilichopo sasa, sayansi ya kompyuta inachunguza kile kinachowezekana kuwepo na wakati wanasayansi wanagundua sheria kutokana na uchunguzi, hakuna sheria sahihi ambazo zimepatikana katika sayansi ya kompyuta na badala yake inahusika na kuunda matukio.