Documenting the Progress of the System Development

Marta Olszewska, Marina Walden, Colin Snook

Forskningsoutput: Kapitel i bok/konferenshandlingKapitelVetenskapligPeer review

Sammanfattning

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.
OriginalspråkEngelska
Titel på gästpublikationMethods, Models and Tools for Fault Tolerance
RedaktörerMichael Butler, Cliff B. Jones, Alexander Romanovsky, Elena Troubitsyna
FörlagSpringer
Sidor251–274
ISBN (elektroniskt)978-3-642-00867-2
ISBN (tryckt)978-3-642-00866-5, 978-3-642-00866-5
DOI
StatusPublicerad - 2009
MoE-publikationstypA3 Del av bok eller annan forskningsbok

Publikationsserier

NamnProgramming and Software Engineering
Volym5454

Fingeravtryck

Fördjupa i forskningsämnen för ”Documenting the Progress of the System Development”. Tillsammans bildar de ett unikt fingeravtryck.

Citera det här