软件工程要用 的方法建立软件开发中的各种模型和各种算法，如可靠性模型，说明用户需求的形式化模型等。