: Support for cooperative distributed applications is an important direction of computer systems research involving developments in operating systems, programming languages and dat...
There is a conceptual gap between the way we currently articulate requirements and the reuse-driven paradigm embodied in component-based system development. The principal challenge...
Abstract. This paper gives an overview of the KeY approach and highlights the main features of the KeY system. KeY is an approach (and a system) for the deductive verification of ...
Adaptive Hypermedia Systems represent a great potential for e-learning; nevertheless instructors and designers find it difficult to develop adaptive application within their frame...
— This paper presents a study of the learning process in a distance collaborative learning environment with a chat system and a Wiki, and development of a new chat system based o...