פיתוח של מערכת או חלק ממערכת בו ההמרה מייצוג אחד למשנהו מתמטית מוכחת, או כשרון להיות עקביים על-ידי ארגומנט הערך השקול.