Những thuộc tính của các phần mềm cung cấp một giải thích về việc thực hiện của một hàm.