in recent years, formal methods have been used as an important tool forperformance evaluation and verification of a wide range of systems. in the viewpoints of engineers and practitioners, however, there are still some major difficultiesin using formal methods. in this paper, we introduce a new formal modelinglanguage to fill the gaps between object-oriented programming languages (oopls)used by...

In Germany the results of the international PISA study disclosed a demand for an increase in the quality and an improvement in the comparability of educational results. In the subjects German, maths and first language (i.e. English) this demand already resulted in the development and publication of first educational standards. With the aim to prepare educational standards for the Informatics fi...

Huge classes with more than 800 students pose a major challenge to lecturers as well as to students, especially when a practical part is included. In order to successfully master lectures of this size, novel kinds of teaching media provide a multitude of enhanced opportunities. In this paper, we present our experiences with the application of new media in our undergraduate course Introduction t...

Cafe is the name of an environment for systematic development of formal speci cations based on algebraic speci cation techniques. The concept of Cafe was conceived by the rst author around 1990 at ETL 1 as a successor of the OBJ language system. The development of Cafe has been supported by IPA 2 from 1992, and the rst version of CafeOBJ (a main speci cation language of Cafe ) was released in D...

This paper describes the application of the ObjectOriented Modeling (OOM) on the modeling of Power Systems. It is intend to develop a computational objectoriented base to represent, in an efficient way, the physical components of a Power System and their methodologies of analysis and synthesis. The generalization level of the classes’ structure allows future specializations, on the side of impl...

In this paper, we present a multi-formalism modeling framework (abbreviated by MFMF) for modeling and simulation. The proposed framework is defined based on the concepts of meta-models and uses object-orientation to overcome the complexities and to enhance the extensibility. The framework can be used as a basis for modeling by various formalisms and to support model composition in a unified man...

Modeling and simulation of processing plants are widely used in industry. Construction of a mathematical model for a plant is a time-consuming and error-prone task. In light of extensive advancements in computer science (both hardware and software), computers are becoming a necessary instrument in industrial activities. Many software tools for modeling, simulation and optimization of proces...

In this paper, we present a multi-formalism modeling framework (abbreviated by MFMF) for modeling and simulation. The proposed framework is defined based on the concepts of meta-models and uses object-orientation to overcome the complexities and to enhance the extensibility. The framework can be used as a basis for modeling by various formalisms and to support model composition in a unified man...