In the collaborative learning environment, there are various kinds of information, such as faces of students and learning materials, and the interface which shows these information effectively is required. If the information is provided effectively, students would communicate with others smoothly and progress the learning efficiently. When we study in the group, we tend to focus on what we are ...

The challenge of this joint project was to design and implement an environment for the creation of advanced telephone services (Intelligent Network Services) on the basis of a library of basic service components going beyond standard 'clipboard-architectures' with some testing support. The novelty of our approach consists of introducing a declarative speci cation layer, which is used for the co...

men dieser Arbeit realisiert. Bei PROGRES wurden die Codegenerierung und das UPGRADERahmenwerk angepasst. DRAGOS ersetzt nun das bisher verwendete GRAS vollständig. Seine Verwendung ist transparent und hat keinen Einfluss auf die Spezifikation oder die Werkzeugentwicklung. Die durch GRAS bedingten Einschränkungen sind weggefallen. Für Fujaba wurde ein spezielles Plugin entwickelt, das dessen Co...

Market price systems constitute a well-understood class of mechanisms that under certain conditions provide eeective decentralization of decision making with minimal communication overhead. In a market-oriented programming approach to distributed problem solving, we derive the activities and resource allocations for a set of computational agents by computing the competitive equilibrium of an ar...

Nowadays, systems are growing in power and in access to more resources and services. This situation makes it necessary to provide user-centered systems that act as intelligent assistants. These systems should be able to interact in a natural way with human users and the environment and also be able to take into account user goals and environment information and changes. In this paper, we presen...

OOZE, which stands for “Object Oriented Z Environment,” is a generalized wide spectrum object oriented language that builds on the notation and style of Z. OOZE supports requirements, specifications, interpretable programs, and compilable programs. The OOZE system is based on OBJ3, and provides rapid prototyping and theorem proving facilities over a module database. OOZE modules can be generic,...

Object-oriented frameworks provide reusable design, implementation, and testing for a family of software systems. Several non-integrated testing techniques are introduced to test the frameworks and their applications at different engineering stages and testing levels. This paper introduces an environment in which four framework-based testing techniques are integrated. The testing techniques are...

Key Performance Indicator (KPI) is a type of performance measurement that evaluates the success of an organization or a partial activity in which it engages. If during the running process instance the monitoring results show that the KPIs do not reach their target values, then the influential factors should be identified, and the appropriate adaptation strategies should be performed to prevent ...

Over the last ten years there has been a major shift in programming language design from procedural languages to object-oriented languages. Most universities have adopted an object-oriented language for their first programming course. However, far less consideration has been given to the program development environment. In this paper we argue that the environment is possibly more important than...

It is worthwhile mentioning that the area of formal specifications, particularly as refers to object orientation, has not been widely developed, due to its proposal being recent and novel, mixing the traditional benefits of formal specification languages (consistency, completion and lack of ambiguity in the software developed) with object-oriented characteristics such as encapsulation, inherita...