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)
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)
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)
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)
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)
SUMMARY The component modeling offers the potential to assemble applications much more rapidly than ever before. Agents can be viewed as specialized distributed components, offering greater flexibility than traditional components when developing certain applications. Different kinds of agents have different amounts of personality, mobility, interaction,(More)
After all of gathered experiences related to software and data architecture I realize that integration of knowledge into data mining processes of large and complex software products might be the way of success. Many software products are open minded sources of information mostly supported by large data structures. By the years of usage and implementation of(More)
Teaching software engineering through open source case studies is not a new approach. In spite of this fact only recently are offered courses based on this approach. This involves reuse, understanding, modification and extension of existing software. These skills are highly demanded by the industry. The paper deals with the pedagogical and technical(More)