સૉફ્ટવેરના જીવન ચક્ર: ઔપચારિક અર્થમાં શું છે?