CINXE.COM

<!DOCTYPE html><html lang="en-US"><head><title>Just a moment...</title><meta http-equiv="Content-Type" content="text/html; charset=UTF-8"><meta http-equiv="X-UA-Compatible" content="IE=Edge"><meta name="robots" content="noindex,nofollow"><meta name="viewport" content="width=device-width,initial-scale=1"><style>*{box-sizing:border-box;margin:0;padding:0}html{line-height:1.15;-webkit-text-size-adjust:100%;color:#313131;font-family:system-ui,-apple-system,BlinkMacSystemFont,Segoe UI,Roboto,Helvetica Neue,Arial,Noto Sans,sans-serif,Apple Color Emoji,Segoe UI Emoji,Segoe UI Symbol,Noto Color Emoji}body{display:flex;flex-direction:column;height:100vh;min-height:100vh}.main-content{margin:8rem auto;max-width:60rem;padding-left:1.5rem}@media (width <= 720px){.main-content{margin-top:4rem}}.h2{font-size:1.5rem;font-weight:500;line-height:2.25rem}@media (width <= 720px){.h2{font-size:1.25rem;line-height:1.5rem}}#challenge-error-text{background-image:url(data:image/svg+xml;base64,PHN2ZyB4bWxucz0iaHR0cDovL3d3dy53My5vcmcvMjAwMC9zdmciIHdpZHRoPSIzMiIgaGVpZ2h0PSIzMiIgZmlsbD0ibm9uZSI+PHBhdGggZmlsbD0iI0IyMEYwMyIgZD0iTTE2IDNhMTMgMTMgMCAxIDAgMTMgMTNBMTMuMDE1IDEzLjAxNSAwIDAgMCAxNiAzbTAgMjRhMTEgMTEgMCAxIDEgMTEtMTEgMTEuMDEgMTEuMDEgMCAwIDEtMTEgMTEiLz48cGF0aCBmaWxsPSIjQjIwRjAzIiBkPSJNMTcuMDM4IDE4LjYxNUgxNC44N0wxNC41NjMgOS41aDIuNzgzem0tMS4wODQgMS40MjdxLjY2IDAgMS4wNTcuMzg4LjQwNy4zODkuNDA3Ljk5NCAwIC41OTYtLjQwNy45ODQtLjM5Ny4zOS0xLjA1Ny4zODktLjY1IDAtMS4wNTYtLjM4OS0uMzk4LS4zODktLjM5OC0uOTg0IDAtLjU5Ny4zOTgtLjk4NS40MDYtLjM5NyAxLjA1Ni0uMzk3Ii8+PC9zdmc+);background-repeat:no-repeat;background-size:contain;padding-left:34px}@media (prefers-color-scheme:dark){body{background-color:#222;color:#d9d9d9}}</style><meta http-equiv="refresh" content="120"></head><body class="no-js"><div class="main-wrapper" role="main"><div class="main-content"><noscript><div class="h2"><span id="challenge-error-text">Enable JavaScript and cookies to continue</span></div></noscript></div></div><script>(function(){window._cf_chl_opt={cvId: '3',cZone: "publications.waset.org",cType: 'non-interactive',cRay: '9134f1b8aa76eb9e',cH: 'vnDuZk83uUDlGiAjeEuHa039Kfn4FJe9rDBBsJre7Vg-1739786571-1.2.1.1-_ojIy3rfbbI1YnBC6QpmZKg2rehmxdiNyloDny9CAakU4SyIcCTCz7nRLBCany07',cUPMDTk: "\/abstracts\/search?q=program%20design&__cf_chl_tk=13pKGAkmXR8eYtsLNYuW2O2vlobfsTsVe..ca74NwvM-1739786571-1.0.1.1-N_ybF8kh7XGunbAEkpO47kEHVwGe5t49FJmoTV2CuVQ",cFPWv: 'b',cITimeS: '1739786571',cTTimeMs: '1000',cMTimeMs: '120000',cTplC: 0,cTplV: 5,cTplB: 'cf',cK: "",fa: "\/abstracts\/search?q=program%20design&__cf_chl_f_tk=13pKGAkmXR8eYtsLNYuW2O2vlobfsTsVe..ca74NwvM-1739786571-1.0.1.1-N_ybF8kh7XGunbAEkpO47kEHVwGe5t49FJmoTV2CuVQ",md: "Z6HeMQdZXYRQc5scnkFE4RxuY9H7vXvzV0Lvm.m4qng-1739786571-1.2.1.1-SAPU0r.idRdpDwjwMRtJrf8XsEYcxH18PRGVpZ0NaxHRTPX0eUZEEx4uxcpkEinE2.QL7KSSTdOVfw90SbJe6f8MBirYNRCHRLsmljrpjGGbt1Sizd96NzuBZztGqfrpd0olW1zusefTijlgb8nRDFXAgwYQcTBErqVD8VlsD7cljVhm_1mkIpoJRQyzvRZOqUFNR_HB0CiDmcvRDkTe2ca4Y9TluMlE2ASpj0HBdAM5WbAlFkFmjWxjLj1m4sOBFQNVAcn6UMz3KSYaXXDMvT4bnrI1DFmeblnOTeaw83mO2xJ5taZgloi8UOfQwNQbLRhR5_Z.iGw6SCqeKdLn9NT4Vim0yE_fW9aycWB.lJyRag_Jo2sy1wLjqRCjQ3k8PBwzLptFJDLwj1IvVzXve6SDafpD_jTcni9h8tdoyNp7nswvaaOY3AkX0HILh8j.OuM6aB3Cs8WQPZbKXXA30AvLErUbWYi5Rhjs3MX4noRGGhZia1CnCPOWmYZs38uS6YJQGe2EhKoPMTOfwOA.Pk6eQSOMoRPG9_IqBwU4Pq2a9bocwXbXOHIHf5Yb4wvBk2lhaqno55EDFxc6Fx6QjjL1EzyJZJzYkzficF1l.jUl9wSf7Tinp221r2tEBdE0Z5ecFN_ZVByAo9zBDXWfbe8OC8aUcRwm8MGb3H0o5PwM23_lt1zQW8fOwb8ZOKh_XZcGrtj7H_oxcfq4DMqtuFlz1UF8gz6vzMu56PyOyiJR5XBbiL.Rc4LGQnvaSyuNN6QagPqCiGoEN5OHFF87YzOdHoyYQRKfAGlLZMIqwKYawN5u7.M0gKqjdLRSDQjDEuQGkzSVOrSf7fwJwp.5Off_9nPA3jENvo3L9GwWJRxWG9lhZChHUbEx2ILM7eMhBqq3ZCJvRMmhXhinrU0xyM11Q5mR41KL308Cj9HVElMtx_lX2G7lYEUlkkZgEEWAG_uCivwVoW29K4nkJLt41WexyuN2gCn9cnMsc.iM49iIyR3R15Jgxz1AOUtiyCkFwp3ZHWp2dOLzEHD_L4dL4Jr5QTWve8SlP7WJ07BvNklohmxGu0PMbdctyU9SMUfZGksngfqY63jRIuqvUElAZ4OWGQ0WdLYd69RUJS3MLH1XfJ0ywPONNEn1pC56E1x2jnoLhcmdPhNzPrsfvxyBlq5aYWE2_uHHQCfyVscjO1w1uqgbgpfhpi.Zq31EC1uvnlwRyx_jE6mzvhiOHcW5sDRxpmR_GAWf.6Vv8cyYhjP8EuGo71Np5CruM.6.GmrQs2gdCXXF60_7M61OMF5x7I5AvuqsMSFLXe4aymaAG80IVkvvMYiNhCOW8l6P6uuThvD8zXwm1RpmuDHLgkzfRpbXJLe1kJllcJTfUJ7vXKLLk6J6EbrA8ElNMDNk3KFRTtXEJNV7d2eFQ2aQmtFAq87OhJLzVlea4beeWUsPIPHQ7gtbDJi.O7JWbgdN7LsZLVrNtsbfCLu7lz8asMm9NZJU717Y2y_R_atL6AcbZ_eOq4gXWzgLZ9DWNEvrjB0ouruOVTm9iBvDi89wkMRrlfvn1XQ1iVW0P8cmZS45Gzx1dOD7xjtM.iw0tJs0oXFr5USEw8sonKldDEvSKH0tQZQicIaI92bruhe8aTTGPGQsxBdlTiJNvglVes1.co3TNhChIVtbEA0Pl40.KzckO.FrP3THQ6a9xbHT6c.9h6R4ElpMVzyIRf1GXGBcof6v9yDku3Go1aMp9TGBuCTstOJHGIfsmhYnC0pVEPGTquCblZgRmUDxi0MoM7I37V3CR3qNLujtxXx9vvwzmRjAbPy_pPDMLqNRZlPBtf1uMRKv10HGW4KxwKUfiyZLB.tQOMQ3l5X4mhUA3jur6lLD4C1X.n2i7HHKKl4M3J1pEw1Tch1HY6SN0hR7i62RAqZOGB1xYDj_mUiZXBO0.l3E.c2vmU8jYeM9JQO9ItD9l2M",mdrd: "zpzANy4KCHI4Y183p.p24sTofrgp2Ld_ec9IkHCQeRs-1739786571-1.2.1.1-giVag971VzILV0adutpMvHwVjvrtT.PMtDT52BYARq9pfJpu_Az_Sn89twiMAJRftF43GVsJAlfFdxGt302xK0KP.fL0q1jXd15bZzKY6QaXnkBvZFzylYP1Em2VrwUP73jME2ZfQ52c8t9g_9Za6fdmZ2B8k7DROqnUgmJFcCWjZsZvo4chFkXmqgbh7MnsXCgzg6sRzsc3RP09DXRddx3LmPubunpYs4PJdIuMPSi2xpp_PEj1.vxJFDp.hSUoCHWfch1pXwBfFa3fqhE0NCu25m2BeUldY6Yp4WDAT_BmGbtvvB8PlP5pMwFsF1XTKOW5.RndPCAXrbA.IZ.SAxirXUrKd_PpfOunou0oA5_.JKs7gA.nHOuEUog3SpBgCzhQSecVrLbiap0JcJOuReUeh1Z69GEAkLtcKybV2xAqASVMsh1pTyBAIZd_VZg8wQXO4GJeorXuO4ynPo.jRt3JdLFj5QgtLhfKeNn7zmvjvLWbY45B1VJr6Mpmse.CxUGRGaQ0Uk81c4qXlzlEa7PpdmXBlWuAiGUnZMnT1J8O1_Sx0SS7OAWUQQZCcbnxA86PKRG8MeAW2gYexjPeEv7b0xy2MyC7qPxVg.WEZQumnccsSCu5Eu_YSFW_mIAkeBqGCBsaHRT_RrCl_uxdIx0Pp9QUiKaF3VQHC4huuUXScj5dy5Z6XHjgMPYylSBxG322AOPnxGpQZPYeqjrgMFD0FpS0Cfk_MQWwMB8SHEFGW0Ao8Ftuy4aUbh_ziIo62h4ABVW2_B.6pORz_eyUhrZRkQRdqZZvEOPjO5zQ8fl2upSOx7j7GuaGuqauAdrXDuMYpvexxEYS.fZv30bO3jlZELRh8iRwB1q1lRGqHSwS_.qlORdzmF_QQoFKB7le8OzdZzTG5WUO74s1XJIPGHGAZPDvc98_eiyn.yKVfHEWFv0mMx7StRp8LA131QR9vUXA4Gh28bCYrgrqeuWhBr.l44c3fr2_kCiHbnVcQ7sOgSQfLRf_dxkjCcPvV3gUt0wXYljJPUjYu9069DkWM49UZIKdu8Vn08vBCri4UOaq8L5WEI.WFOSWqt0DQx4YPAdyif5pwuEYxG75mXBITQwjnctZM6f1Fb1nhks.cGOjf4uSbnaCdnii3YaHDQSL.wSrn45vGWlQYtppIIOdzJkMuinujoH1ktsmWIKAQt8bl3vQO2qewSLXGNihjnkzetGvXYbo2j8spSxM6KVxKyBRfgn5fb5guU6qRCLsdwT7Cd_Fi2VjNZDDAVekLwVqZ9jPBgcwGR5BItatWIzU6jdeIC4a4NZS_qWDjMpaPeMpnDz11pAXrQBAGYUnhxycjeBTyTmXcb078C_hBici1hdSWU6WI0aExatxoRNe1vwBGT4ga_UjVEDnkRIvO5RaHOZBLHO3pgxURwxBsJTsG6TxZpQedCQmfSGSNAKXfxVcfkzbOd4zdK11JTnL8P7f5SwGkngAgAghX4E35gclOksHkqfebiHfyeAuNPNR38Pf.xOmMeoiFCjb7qRVUlLAtA03YK0.0rtQ.o9r_mAyAGk2dTCuwUCGj4B3Ndszp3_pRuE9SWANbodSiiSPX0hx8nJAQ7kDuqJRtT_a3SVoWQFXcG6NUcWxmPItM38132oreJEOGYZa5gih3Ec0EHK5WJlj2OFvXbK.GjN6.5VJ4KBvqTF_XMA0AGU3_e0hnfz76XdH1XNbHpP44tPd_pri5LYuwHL.qVnMe_QBm6hP04fNnvU_5rNmSA06S4o8UfL7POSvmI0P.2JPAyMalC49ewzfHW3MSwVvo8O7NiF77zbiantqALVw0aXDmTaIaMBjW8eBWRcaeY6hjPs2rWQqE8LWGJllRAIvYTP6W.sywArRGYsMmpr2iGpVFT6sHsrwwl_KSyLYt0Wo.t5RYil3yJHK1r_dt7yfsh.v1HlnrM3PgA9yJQl0TzF_CR067sfEZq8sJHR_3wZl62Gc2aO9"};var cpo = document.createElement('script');cpo.src = '/cdn-cgi/challenge-platform/h/b/orchestrate/chl_page/v1?ray=9134f1b8aa76eb9e';window._cf_chl_opt.cOgUHash = location.hash === '' && location.href.indexOf('#') !== -1 ? '#' : location.hash;window._cf_chl_opt.cOgUQuery = location.search === '' && location.href.slice(0, location.href.length - window._cf_chl_opt.cOgUHash.length).indexOf('?') !== -1 ? '?' : location.search;if (window.history && window.history.replaceState) {var ogU = location.pathname + window._cf_chl_opt.cOgUQuery + window._cf_chl_opt.cOgUHash;history.replaceState(null, null, "\/abstracts\/search?q=program%20design&__cf_chl_rt_tk=13pKGAkmXR8eYtsLNYuW2O2vlobfsTsVe..ca74NwvM-1739786571-1.0.1.1-N_ybF8kh7XGunbAEkpO47kEHVwGe5t49FJmoTV2CuVQ" + window._cf_chl_opt.cOgUHash);cpo.onload = function() {history.replaceState(null, null, ogU);}}document.getElementsByTagName('head')[0].appendChild(cpo);}());</script></body></html>