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

Tutkimustuotos: Artikkeli kirjassa/raportissa/konferenssijulkaisussa › Luku › Tieteellinen › vertaisarvioitu

Abstrakti

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.

Alkuperäiskieli	Englanti
Otsikko	Methods, Models and Tools for Fault Tolerance
Toimittajat	Michael Butler, Cliff B. Jones, Alexander Romanovsky, Elena Troubitsyna
Kustantaja	Springer
Sivut	251–274
ISBN (elektroninen)	978-3-642-00867-2
ISBN (painettu)	978-3-642-00866-5, 978-3-642-00866-5
DOI - pysyväislinkit	https://doi.org/10.1007/978-3-642-00867-2
Tila	Julkaistu - 2009
OKM-julkaisutyyppi	A3 Kirjan osa tai toinen tutkimuskirja

Julkaisusarja

Nimi	Programming and Software Engineering
Vuosikerta	5454

Pääsy asiakirjaan

10.1007/978-3-642-00867-2Lisenssi: Määrittelemätön

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

Viittausmuodot

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

Tutkimustuotos: Artikkeli kirjassa/raportissa/konferenssijulkaisussa › Luku › Tieteellinen › vertaisarvioitu

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

Abstrakti

Julkaisusarja

Pääsy asiakirjaan

Sormenjälki

Projektit

DIJON: Distributed Jointly Operating Networks (Academy of Finland)

Viittausmuodot