The development of large software systems is teamwork that requires tool support for coordinating cooperative activities, maintaining project control and sharing information. Existing collaborative environments that aim to support cooperative software development often try to predefine and automate the development process. This leads to problems since software development is a highly dynamic pr...

Learning Networks consist of learners who are able to create, share and study learning activities. Through the emerging behaviour of such a network it may consist of a large amount of learning activities. Thus, the learners face the problem to select the most suitable learning activity regarding their learning goals in order to study the most efficient and effective learning path. This simulati...

This paper presents an approach to find, specify and use the specialization interface of an object-oriented framework as a set of framework-specific patterns. The approach is based on the assumption that the user tries to reuse a framework by setting meaningful goals in the context of their application and then achieves the goals by performing a sequence of programming tasks. The goals can be r...

This paper describes the pilot study of phonetic segmentation applied to Nijmegen Corpus of Casual Czech (NCCCz). This corpus contains informal speech of strong spontaneous nature which influences the character of produced speech at various levels. This work is the part of wider research related to the analysis of pronunciation reduction in such informal speech. We present the analysis of the a...

We formalize the rigorous but informal description of the semantics of statecharts given by Harel and Naamad in [3] which corresponds to the semantics underlying the commercial tool STATEMATE. We closely follow [3] to increase confidence that our semantics actually corresponds to their informal description. In [3] the semantics is given by a detailed description of the so-called basic step algo...

Although design patterns have become increasingly popular, most of them are presented in an informal way. Patterns, proposed by the SOA design pattern community, are described with a proprietary informal notation, which can raise ambiguity and may lead to their incorrect usage. Modeling SOA design patterns with a standard formal notation avoids misunderstanding by software architects and helps ...

The article develops a process and control model for the analysis and design of inter-firm relations, in which both opportunism and trust play a role. Its aim is to develop a tool which helps to analyze combinations, balances and imbalances of trust and opportunism, formal and informal forms of governance, and viable sequences of strategies of governance, depending on different conditions. It e...

IDD-MC is a symbolic analysis tool for bounded stochastic Petri nets with extended arcs. Its engine is based on Interval Decision Diagrams and facilitate the validation of standard Petri net properties, model checking the Computation Tree Logic (CTL) and the Stochastic Continuous Logic (CSL). In this paper we give an informal overview of the currently implemented analysis techniques and report ...

In this work, we propose a variant of P system based on the rewriting of string-objects by means of evolutionary rules. The membrane structure of such a P system seems to be a very natural tool for simulating the filters in accepting networks of evolutionary processors with filtered connections. We discuss an informal construction supporting this simulation. A detailed proof is to be considered...

Object-oriented analysis and design benefits from active collaboration between developers and users. Based on user studies of collaborative modelling practice, we are developing a tool, called Knight, for supporting this active collaboration. By combining a large shared screen with gesture recognition and zoomable interfaces, Knight allows the collaborative construction of UML based models mixe...