Mgr. David Šafránek, Ph.D.

Advanced ('rigorózní') thesis

Graphical Specification of Concurrent Systems

Graphical Specification of Concurrent Systems
Abstract:
Visual methods for specification of software with various design and analysis methods of software engineering, nowadays unified into the Universal Modelling Language UML, appear also useful for specification of reactive and interactive systems. The main advantage of such an universal modelling language is its heterogeneity. Unfortunately, there are no formal languages with appropriate universal character …more
Abstract:
Visual methods for specification of software with various design and analysis methods of software engineering, nowadays unified into the Universal Modelling Language UML, appear also useful for specification of reactive and interactive systems. The main advantage of such an universal modelling language is its heterogeneity. Unfortunately, there are no formal languages with appropriate universal character …more
 

Keywords

coordination language visual formalism concurrent systems component-based modeling
 
Language used: English
Date on which the thesis was submitted / produced: 16. 6. 2008
Identifier: https://is.muni.cz/th/kvgna/

Thesis defence

  • Date of defence: 23. 6. 2008

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

Advanced ('rigorózní řízení') programme / field:
Informatics / Informatics

Theses on a related topic

List of theses with an identical keyword.