• Automated verification of software 

      Šerý, Ondřej (Univerzita Karlova, Matematicko-fyzikální fakulta, 2010)
      Date of defense: 24. 9. 2010
      Despite the research e ort being invested into the eld of automated veri cation of software, its adoption in industry is still rather slow. Several reasons for this hesitation may be identi ed. The thesis focuses on the ...
    • Behavior Composition in Component Systems 

      Adámek, Jiří (Univerzita Karlova, Matematicko-fyzikální fakulta, 2006)
      Date of defense: 19. 9. 2006
      In order to formally verify a component application, it is suitable to structure the formal specification of its behavior according to the application architecture. Such an approach eases the maintenance of the specification ...
    • Behavior Protocols Extensions 

      Kofroň, Jan (Univerzita Karlova, Matematicko-fyzikální fakulta, 2007)
      Date of defense: 24. 9. 2007
      Formal verification of behavior of a component application requires a suitable specification language. It is necessary that the specification language captures all important aspects of the future implementation with respect ...
    • Components and Services in Resource-Constrained Environments 

      Pop, Tomáš (Univerzita Karlova, Matematicko-fyzikální fakulta, 2013)
      Date of defense: 24. 9. 2013
      of Doctoral Thesis Title: Components and Services in Resource-Constrained Envi- ronments Author: Tomáš Pop tomas.pop@d3s.mff.cuni.cz Department: Department of Distributed and Dependable Systems Faculty of Mathematics and ...
    • Fighting the State Explosion Problem in Component Protocols 

      Holub, Viliam (Univerzita Karlova, Matematicko-fyzikální fakulta, 2007)
      Date of defense: 24. 9. 2007
      In complex software component systems, it is desirable to verify the correctness of the composition before deployment. To achieve a trustworthy composition, the behavior of components is formally described and the composition ...
    • Formal Verfication of Components in Java 

      Parízek, Pavel (Univerzita Karlova, Matematicko-fyzikální fakulta, 2008)
      Date of defense: 29. 9. 2008
      Formal veri cation of a hierarchical component application involves (i) checking of behavior compliance among sub-components of each composite component, and (ii) checking of implementation of each primitive component ...
    • Generating Connectors for Homogenous and Heterogenous Deployment 

      Bureš, Tomáš (Univerzita Karlova, Matematicko-fyzikální fakulta, 2006)
      Date of defense: 19. 9. 2006
      Software connectors are typically used in component-based engineering to model and realize component interconnections. Connectors play an important role both at design time, when they allow for specifying the way components ...
    • Hierarchical Component Models - "A True Story" 

      Ježek, Pavel (Univerzita Karlova, Matematicko-fyzikální fakulta, 2012)
      Date of defense: 25. 9. 2012
      First, this thesis presents an analysis of diversity of component-based software engineering (CBSE) concepts and approaches, and provides a summary of selected runtime-aware component models structured according to newly ...
    • Model Checking and Reduction of Behavior Protocols 

      Šerý, Ondřej (Univerzita Karlova, Matematicko-fyzikální fakulta, 2006)
      Date of defense: 22. 5. 2006
      Behavior protocol is a formalism used for behavior specification of software components. In a regular-expression like syntax, admissible sequences of method invocations are specified abstracting from components' ...
    • Towards Static Analysis of Languages with Dynamic Features 

      Hauzar, David (Univerzita Karlova, Matematicko-fyzikální fakulta, 2014)
      Date of defense: 17. 9. 2014
      Dynamic features of programming languages such as dynamic type system, dynamic method calls, dynamic code execution, and dynamic data structures provide the flexibility which can accelerate the development, but on the other ...
    • Towards thread aware component behavior specifications 

      Poch, Tomáš (Univerzita Karlova, Matematicko-fyzikální fakulta, 2010)
      Date of defense: 24. 9. 2010
      The component based development is a well established methodology of software development. The industry, however does not take the advantage of component behavior modeling. Although the analyses of models guarantee notiobn ...

      © 2017 Univerzita Karlova, Ústřední knihovna, Ovocný trh 3-5, 116 36 Praha; email: admin-repozitar [at] cuni.cz

      Za dodržení všech ustanovení autorského zákona jsou zodpovědné jednotlivé složky Univerzity Karlovy. / Each constituent part of Charles University is responsible for adherence to all provisions of the copyright law.

      Upozornění / Notice: Získané informace nemohou být použity k výdělečným účelům nebo vydávány za studijní, vědeckou nebo jinou tvůrčí činnost jiné osoby než autora. / Any retrieved information shall not be used for any commercial purposes or claimed as results of studying, scientific or any other creative activities of any person other than the author.

      DSpace software copyright © 2002-2015  DuraSpace
      Theme by 
      @mire NV