ABSTRACT There has been much interest in using software tools to scaffold learners in complex tasks, that is, to provide supports that enable students to deal with more complex content and skill demands than they could otherwise handle. Many different approaches to scaffolding techniques have been presented in a broad range of software tools. We discuss two mechanisms to explain how software to...

There has been much interest in using software tools to scaffold learners in complex tasks, that is, to provide supports that enable students to deal with more complex content and skill demands than they could otherwise handle. Many different approaches to scaffolding techniques have been presented in a broad range of software tools. I argue that two complementary mechanisms can explain how a d...

This paper discusses the use of relation algebra operations on formal contexts. These operations are a generalisation of some of the context operations that are described in the standard FCA textbook (Ganter & Wille, 1999). This paper extends previous research in this area with respect to applications and implementations. It also describes a software tool (FcaFlint) which in combination with Fc...

Abstract This paper presents an analytical framework for classifying software tools and systems dealing with spatio-temporal information developed for applications in the cultural heritage field. These can be numerous and quite different from one another, depending for the purpose they were developed for. In order to assess if one of the already existing software tools and systems can be used o...

Esterel Technologies’ SCADE Suite is one of the most important development tools for software for safety-critical systems. It is used for designing many critical components of aerospace, automotive and transportation applications. For such systems safety analysis is a key requirement in the development process. In this paper we show how one formal safety analysis method – Deductive Cause-Conseq...