Assessing whether a company’s business practices conform to laws and regulations and follow standards and best practices, i.e., compliance governance, is a complex and costly task. Few software tools aiding compliance governance exist; however, they typically do not really address the needs of who is actually in charge of assessing and controlling compliance, that is, compliance experts and aud...

Modeling tools facilitate the development process from modeling to coding. Such tools can be designed using a Model-Driven approach in metamodeling environments called MetaCASE tools. However, current MetaCASE tools still require, in most cases, manual programming to build full tool support for the modeling language. In this paper, we want to specify, using models, diagram editors with a high g...

This paper summarizes author’s experiences of teaching a course on process modelling and simulation at Faculty of Applied Informatics, Tomas Bata University in Zlin, Czech Republic. It briefly presents contents of the course in both lectures and tutorials together with adopted methodology and used software tools. Requirements for the students to pass the course are also given as well as some st...

The development of safety-critical embedded systems is supported by a number of development tools, which are increasingly integrated into automated tool chains. Safety standards require these tool chains to be qualified, which is costly and requires a large effort. To reduce cost and effort tool chains can be composed of pre-qualified tools and then themselves pre-qualified by identifying the p...

1 Introduction Jackson (Jackson 95) recognises the vital difference between an application's domain and its code: two different worlds, each with its own language, experts, ways of thinking etc. A finished application forms the intersection between these worlds. The difficult job of the software engineer is to build a bridge between these worlds, at the same time as solving problems in both wor...

This paper describes the taxonomy for designing interactive groupware systems. The taxonomy defines the objectives, methods and principles for classifying models and facilitates their integration. In particular, we show the integration process of models in two notations such as CIAN, which considers collaboration and human-computer interaction issues, and UML, which allows specifying the functi...

Competency management is a crucial success factor for organizations in the area of tension between knowledge management, human resource management, and process management, and has to be considered from a knowledge economy perspective. A basis for developing appropriate qualification measures in organizations is the comparison of necessary and available competencies. Given the time and cost inte...

The object-oriented programming paradigm is becoming a popular development tool for large complex systems. This is happening for a variety of reasons, such as the richer and more natural data modeling capabilities of the object paradigm, its ability to capture application semantics, and the support it provides for rapid prototyping of systems. A prominent feature of the object paradigm is inher...

This paper presents HyROOM, a proposal for an extension of UML-like languages by continuous activities for the specification of mixed discrete-continuous, or hybrid, systems. It is implemented in a CASE tool prototype based on the Real-time Object Oriented Modeling methodology. All vital parts of HyROOM’s operational simulation semantics are mapped into HyCharts, a formal framework for hybrid s...