SenTiva and Next-Generation Programming System