Documenting the Progress of the System Development

Marta Olszewska, Marina Walden, Colin Snook

Research output: Chapter in Book/Conference proceedingChapterScientificpeer-review


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.
Original languageEnglish
Title of host publicationMethods, Models and Tools for Fault Tolerance
EditorsMichael Butler, Cliff B. Jones, Alexander Romanovsky, Elena Troubitsyna
ISBN (Electronic)978-3-642-00867-2
ISBN (Print)978-3-642-00866-5, 978-3-642-00866-5
Publication statusPublished - 2009
MoE publication typeA3 Part of a book or another research book

Publication series

NameProgramming and Software Engineering


Dive into the research topics of 'Documenting the Progress of the System Development'. Together they form a unique fingerprint.

Cite this