આ કરવા માટે, જરૂરિયાતો, જેમાંથી કેટલાક સ્પષ્ટ રીતે ઔપચારિક છે સંખ્યાબંધ કરે છે.