ManagementProblemsandSolutionsTryouts.pptVIP

* * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * Formal methods suitable for systems which require high reliability. The problems: Formal specification is difficult to use in practice. Too many software features cannot be described and defined in mathematical specification writing formal specification requires high skills * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * Software Processes DEFINITION：Coherent sets of activities for specifying, designing, implementing and testing software systems Software processes are hard to apply in general. You need to m