软件工程实践者的方法摘要.ppt

Software engineering Scientific Knowledge Computing science as the scientific basis Formal techniques Based on mathematics and logic Many aspects have been made systematic Methods/methodologies/techniques Languages Tools Processes Software engineering Scientific Knowledge Science .vs. Practice Formalists: base their work on the theoretical foundations of computing science Pragmatists: take that software engineering is a practical discipline that can be benefit from more than formal techniques Engineering Idea Science + Principle + Art Software engineering Science + Principle + Art Science--Com