Hledat
Zobrazují se záznamy 1-5 z 5
XPath,XSLT, XQuery: Formal Approach
XPath,XSLT, XQuery: Formal Approach
Dizertační práce (OBHÁJENO)
Vedoucí práce: Pokorný, Jaroslav
Datum publikování: 2006
Datum obhajoby: 21. 04. 2006
Fakulta / součást: Matematicko-fyzikální fakulta / Faculty of Mathematics and Physics
Abstrakt nenalezen
Performance in Software Development Cycle: Regression Benchmarking
Performance in Software Development Cycle: Regression Benchmarking
Dizertační práce (OBHÁJENO)
Vedoucí práce: Tůma, Petr
Datum publikování: 2006
Datum obhajoby: 19. 09. 2006
Fakulta / součást: Matematicko-fyzikální fakulta / Faculty of Mathematics and Physics
Abstrakt: The development cycle of large software is necessarily prone to introducing software errors that are hard to find and fix. Automated regular testing (regression testing) is a popular method used to reduce the cost of finding ...
Principles of Kind Parsing
Principles of Kind Parsing
Dizertační práce (OBHÁJENO)
Vedoucí práce: Král, Jaroslav
Datum publikování: 2006
Datum obhajoby: 20. 12. 2006
Fakulta / součást: Matematicko-fyzikální fakulta / Faculty of Mathematics and Physics
Abstrakt nenalezen
Behavior Composition in Component Systems
Behavior Composition in Component Systems
Dizertační práce (OBHÁJENO)
Vedoucí práce: Plášil, František
Datum publikování: 2006
Datum obhajoby: 19. 09. 2006
Fakulta / součást: Matematicko-fyzikální fakulta / Faculty of Mathematics and Physics
Abstrakt: 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 ...
Generating Connectors for Homogenous and Heterogenous Deployment
Generating Connectors for Homogenous and Heterogenous Deployment
Dizertační práce (OBHÁJENO)
Vedoucí práce: Plášil, František
Datum publikování: 2006
Datum obhajoby: 19. 09. 2006
Fakulta / součást: Matematicko-fyzikální fakulta / Faculty of Mathematics and Physics
Abstrakt: 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 ...