Back to search

Bc. Martin Zavadil

Master's thesis

Nástroje pro práci s message sequence charts

Tools for Message Sequence Charts
Abstract:
Tato práce popisuje vybrané dostupné nástroje pro práci s Message Sequence Charts (MSC). Jejich popis je zaměřen na použitelnost, dostupnost a nabízené analytické funkce. Hlavním cílem práce je s pomocí zkušeností s těmito nástroji navrhnout nový nástroj, ve kterém budou vhodně zkombinovány nejlepší vlastnosti zkoumaných nástrojů.
Abstract:
The thesis describes several tools for Message Sequence Charts (MSC). The description is focused on usability, availability and analytical functions which they provide. The goal of the thesis is to design new tool with help of experiences with available tools.
 

Keywords

Message Sequence Charts MSC uBET Smyle MSCan LTSA Telelogic Tau KLOCwork MSC2SDL synthetizer MS Visio nástroj proces zpráva ověřování vlastností coregion general ordering race condition tool process message property checking
 
Language used: Czech
Date on which the thesis was submitted / produced: 5. 1. 2009
Identifier: https://is.muni.cz/th/vz0fv/

Thesis defence

  • Date of defence: 10. 2. 2009
  • Supervisor: RNDr. Vojtěch Řehák, Ph.D.
  • Reader: Ing. Petr Gotthard

Citation record

Cite this text

Full text of thesis

Contents of on-line thesis archive
Published in Theses:
  • světu
Other ways of accessing the text
Institution archiving the thesis and making it accessible: Masarykova univerzita, Fakulta informatiky
Složka Reference to the local database directory of the institution

Masaryk University

Faculty of Informatics

Master programme / field:
Applied Informatics / Applied Informatics

Theses on a related topic

List of theses with an identical keyword.
All theses