Hledat
Zobrazují se záznamy 1-2 z 2
Conceptual Modeling for XML
Konceptuální Modelování XML
Dizertační práce (OBHÁJENO)
Vedoucí práce: Pokorný, Jaroslav
Datum publikování: 2008
Datum obhajoby: 29. 09. 2008
Fakulta / součást: Matematicko-fyzikální fakulta / Faculty of Mathematics and Physics
Abstrakt: XML is a popular format for data representation. As the amount of data represented in XML grows, it is necessary to concentrate on the process of modeling XML schemes of the XML representations. However, modeling the XML ...
Formal Verfication of Components in Java
Formal Verfication of Components in Java
Dizertační práce (OBHÁJENO)
Vedoucí práce: Plášil, František
Datum publikování: 2008
Datum obhajoby: 29. 09. 2008
Fakulta / součást: Matematicko-fyzikální fakulta / Faculty of Mathematics and Physics
Abstrakt: 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 ...