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

Informationsteknologi

Forskningsoutput: Kapitel i bok/konferenshandling › Kapitel › Vetenskaplig › Peer 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åk	Engelska
Titel på värdpublikation	Methods, Models and Tools for Fault Tolerance
Redaktörer	Michael Butler, Cliff B. Jones, Alexander Romanovsky, Elena Troubitsyna
Förlag	Springer
Sidor	251–274
ISBN (elektroniskt)	978-3-642-00867-2
ISBN (tryckt)	978-3-642-00866-5, 978-3-642-00866-5
DOI	https://doi.org/10.1007/978-3-642-00867-2
Status	Publicerad - 2009
MoE-publikationstyp	A3 Del av bok eller annan forskningsbok

Publikationsserier

Namn	Programming and Software Engineering
Volym	5454

Åtkomst av dokument

10.1007/978-3-642-00867-2Licens: Ospecificerad

DIJON: Distributed Jointly Operating Networks (Academy of Finland)
Walden, M. (Ansvarig forskare), Sere, K. (CoPI), Plosila, J. (CoPI), Sandvik, P. (CoI), Olszewska, M. (CoI), Tsiopoulos, L. (CoI), Dahlvik, M. (CoI), Wiik, J. (CoI), Laibinis, L. (CoI), Neovius, M. (CoI) & Lumme, K. (CoI)
01/01/08 → 31/12/11
Projekt: Finlands Akademi/Övriga Forskningsråd

Citera det här

@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. red. / Michael Butler; Cliff B. Jones; Alexander Romanovsky; Elena Troubitsyna. Springer, 2009. s. 251–274 (Programming and Software Engineering; Vol. 5454).

Forskningsoutput: Kapitel i bok/konferenshandling › Kapitel › Vetenskaplig › 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

Sammanfattning

Publikationsserier

Åtkomst av dokument

Fingeravtryck

Projekt

DIJON: Distributed Jointly Operating Networks (Academy of Finland)

Citera det här