Zdenek Havlice

Learn More
Nowadays, knowledge about design and implementation models of current version of software system and also knowledge about application domain of software system are important for software engineering processes related to design, management, maintenance and modification of software system. Utilization of proper knowledge can streamline and speed up each phase(More)
This paper presents principles for model based testing of embedded systems with use of critical knowledge about system and their environment. For critical knowledge representation UML models can be used. These properties have different priority, impact, dependency, which creates different situations for testing. Critical properties mentioned in this article(More)
As we know all software products require maintenance and support. After observing time requirements for maintenance and all needed innovations and changes I realize that cost for those activities is somewhere around half of all bugged for software product. The more years is software used and alive the more time and costs are required. Linear dependency(More)
The paper presents a proposal of a method for MDA based " on-the-fly " modelling of Musical Real Time Applications. The method is based on use of the Executable and Translatable UML approach (xtUML) with regards to implementation on embedded systems. Since the goal is to implement a real-time application requiring certain real-time Quality of Service (QoS)(More)
Modeling is one of the most important factors in the process of computer systems development. It is the process of representing real-world concepts in the computer domains as a blueprint for the purpose of software development. Recent trends in software and system development have also revealed the value of developing systems at higher levels of(More)
A choice of suitable specifications of Information Systems (IS) in Software Life Cycle (SwLC) (represented by formal or semi-formal models, dependencies between them and the way they are used during SwLC phases execution) influence the cost and the outcomes quality for a given SwLC phase. Research area is oriented to analysis and design of the methods that(More)
The paper discusses a choice of appropriate software architecture with regards to the specifications of embedded applications as information systems particularly used in area of radio and television broadcast audio program processing. The main requirement of mentioned embedded systems is an extremely good real-time response and minimized latency between(More)
Approaches dealing with the problem of adaptive software design and implementation could be divided into two main categories. First, there are theoretical approaches usually dealing with foundations of design (i.e. architecture). Approaches of the second category address the problem from the point of view of existing technical solutions and search for the(More)
This paper is focused on a problematic about three-dimensional visualizations of data. The main task of visualization is to provide information to the user much more effective than raw data. We present an overview of current research in this area. Also we present our visualization tool for visualizing of critical properties of databases in the(More)