agatsiko k'abantu bari mu rubyiniro his cleanroom software development process emphasized top down design and formal specification habumugisha avuga ko babasatse bakabakuramo amafaranga y'u rwanda ibihumbi icyenda bakayatwara