Documenting the Progress of the System Development

Marta Olszewska; Marina Walden; Colin Snook

doi:10.1007/978-3-642-00867-2

Documenting the Progress of the System Development

Marta Olszewska, Marina Walden, Colin Snook

Information Technology

Research output: Chapter in Book/Conference proceeding › Chapter › Scientific › peer-review

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.

Original language	English
Title of host publication	Methods, Models and Tools for Fault Tolerance
Editors	Michael Butler, Cliff B. Jones, Alexander Romanovsky, Elena Troubitsyna
Publisher	Springer
Pages	251–274
ISBN (Electronic)	978-3-642-00867-2
ISBN (Print)	978-3-642-00866-5, 978-3-642-00866-5
DOIs	https://doi.org/10.1007/978-3-642-00867-2
Publication status	Published - 2009
MoE publication type	A3 Part of a book or another research book

Publication series

Name	Programming and Software Engineering
Volume	5454

Access to Document

10.1007/978-3-642-00867-2Licence: Unknown

DIJON: Distributed Jointly Operating Networks (Academy of Finland)
Walden, M. (Principal Investigator), Sere, K. (Co-Principal Investigator), Plosila, J. (Co-Principal Investigator), Sandvik, P. (Co-Investigator), Olszewska, M. (Co-Investigator), Tsiopoulos, L. (Co-Investigator), Dahlvik, M. (Co-Investigator), Wiik, J. (Co-Investigator), Laibinis, L. (Co-Investigator), Neovius, M. (Co-Investigator) & Lumme, K. (Co-Investigator)
01/01/08 → 31/12/11
Project: Research Council of Finland/Other Research Councils

Cite this

@inbook{8b9e50610d4046a7979a381b3a0f3cb4,

title = "Documenting the Progress of the System Development",

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.",

author = "Marta Olszewska and Marina Walden and Colin Snook",

year = "2009",

doi = "10.1007/978-3-642-00867-2",

language = "English",

isbn = "978-3-642-00866-5",

series = "Programming and Software Engineering",

publisher = "Springer",

pages = "251–274",

editor = "Michael Butler and Jones, {Cliff B.} and Alexander Romanovsky and Elena Troubitsyna",

booktitle = "Methods, Models and Tools for Fault Tolerance",

}

Documenting the Progress of the System Development. / Olszewska, Marta; Walden, Marina; Snook, Colin.
Methods, Models and Tools for Fault Tolerance. ed. / Michael Butler; Cliff B. Jones; Alexander Romanovsky; Elena Troubitsyna. Springer, 2009. p. 251–274 (Programming and Software Engineering; Vol. 5454).

Research output: Chapter in Book/Conference proceeding › Chapter › Scientific › peer-review

TY - CHAP

T1 - Documenting the Progress of the System Development

AU - Olszewska, Marta

AU - Walden, Marina

AU - Snook, Colin

PY - 2009

Y1 - 2009

N2 - 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.

AB - 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.

U2 - 10.1007/978-3-642-00867-2

DO - 10.1007/978-3-642-00867-2

M3 - Chapter

SN - 978-3-642-00866-5

T3 - Programming and Software Engineering

SP - 251

EP - 274

BT - Methods, Models and Tools for Fault Tolerance

A2 - Butler, Michael

A2 - Jones, Cliff B.

A2 - Romanovsky, Alexander

A2 - Troubitsyna, Elena

PB - Springer

ER -

Documenting the Progress of the System Development

Abstract

Publication series

Access to Document

Fingerprint

Projects

DIJON: Distributed Jointly Operating Networks (Academy of Finland)

Cite this