Where academic tradition
meets the exciting future

You are here: TUCS > PUBLICATIONS > Publication Search > Documenting the Progress of th...

Documenting the Progress of the System Development

Marta Plaska, Marina Walden, Colin Snook, Documenting the Progress of the System Development. In: Michael Butler, Cliff Jones, Alexander Romanovsky, Elena Troubitsyna (Eds.), Workshop on Methods, Models and Tools for Fault Tolerance - Proceedings, 118-127, 2007.

Abstract:

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.

Files:

Full publication in PDF-format

BibTeX entry:

@INPROCEEDINGS{inpPlWaSn07a,
  title = {Documenting the Progress of the System Development},
  booktitle = {Workshop on Methods, Models and Tools for Fault Tolerance - Proceedings},
  author = {Plaska, Marta and Walden, Marina and Snook, Colin},
  editor = {Butler, Michael and Jones, Cliff and Romanovsky, Alexander and Troubitsyna, Elena},
  pages = {118-127},
  year = {2007},
  keywords = {progress diagram, statemachines, stepwise development, refinement, UML, Event-B, action systems, graphical representation},
}

Belongs to TUCS Research Unit(s): Distributed Systems Laboratory (DS Lab)

Edit publication