Software engineering has many aspec

Software engineering has many aspects. The
software life cycle described at the beginning of this
chapter outlines the stages in the development of software. Different techniques are
used at each of these stages. We address many of the techniques in this text. In
Chapter 5 we introduce methodologies for developing correct algorithms. We discuss
strategies for testing and validating programs in every chapter. We use a modern
programming language that enables us to write readable, well-organized programs,
and so on. Some aspects of software engineering, such as the development of a formal,
mathematical specification for a program, are beyond the scope of this text.

Kết quả (Việt) 2:

Phần mềm kỹ thuật có nhiều khía cạnh. Các
vòng đời phần mềm được mô tả ở đầu này
chương vạch ra các giai đoạn trong sự phát triển của phần mềm. Các kỹ thuật khác nhau được
sử dụng tại mỗi giai đoạn. Chúng tôi giải quyết nhiều các kỹ thuật trong văn bản này. Trong
chương 5 chúng tôi giới thiệu các phương pháp luận cho việc phát triển các thuật toán chính xác. Chúng tôi thảo luận về
các chiến lược để kiểm tra và xác nhận các chương trình trong mỗi chương. Chúng tôi sử dụng một hiện đại
ngôn ngữ lập trình cho phép chúng tôi viết có thể đọc được, chương trình được tổ chức tốt,
và như vậy. Một số khía cạnh của công nghệ phần mềm, chẳng hạn như sự phát triển của một chính thức,
đặc điểm kỹ thuật toán học cho một chương trình, nằm ​​ngoài phạm vi của văn bản này.