Projects per year
While UML gives an intuitive image of the system, formal methods provide the proof of its correctness. We can benefit from both aspects by combining UML and formal methods. Even for the combined method we need consistent and compact description of the changes made during the system development. In the development process certain design patterns can be applied. In this paper we introduce progress diagrams to document the design decisions and detailing of the system in successive refinement steps. A case study illustrates the use of the progress diagrams.
|Title of host publication||Methods, Models and Tools for Fault Tolerance|
|Editors||Michael Butler, Cliff B. Jones, Alexander Romanovsky, Elena Troubitsyna|
|ISBN (Print)||978-3-642-00866-5, 978-3-642-00866-5|
|Publication status||Published - 2009|
|MoE publication type||A3 Part of a book or another research book|
|Name||Programming and Software Engineering|