Zdenek Havlice

Learn 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)
—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(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)
This article discusses the challenge of the Integrated Project Support Environment development. Such an environment could be successfully applicable to a variety of software development project types. Since there are many software development approaches available it is important to choose and use an appropriate development methodology, methods and tools for(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)
The contribution presents a brief characteristic of structural and object models used for development and maintenance of information systems. It also describes utilisation of these models for generation of pedagogic information system IS STUDENT at the Technical University in Košice. It describes possibility of application of UML language (Unified modelling(More)
  • 1