We present a new tool, named DART, for automatically testing software that combines three main techniques: (1) automated extraction of the interface of a program with its external environment using static source-code parsing; (2) automatic generation of a test driver for this interface

effort required. GLUE! (Group Learning Uniform Environment) is an architecture that could overcome this limitation, since it enables the integration of multiple existing external tools in multiple existing learning platforms with a low development effort. This paper discusses the requirements

and hierarchical memory. We discuss several important paradigms for how to solve batched and online problems efficiently in external memory. Programming tools and environments are available for simplifying the programming task. The TPIE system (Transparent Parallel I/O programming Environment) is both easy to use

The integration of third-party external tools in Virtual Learning Environments (VLEs) and social networks enhances the flexibility and the ease of customisation of successful systems such as Moodle and LAMS. In this context, several authors and organisations have proposed different ways to deal

people transfer more readily within than between firms. By embedding knowledge in interactions involving people, organizations can both effect knowledge transfer internally and impede knowledge transfer externally. Thus, knowledge embed-ded in the interactions of people, tools, and tasks provides a basis

This deliverable describes two major goals of WP 6: make existing interac-tion tools for interactive exercises, including assessment tools, interoperable by integrating them with the Math-Bridge system, and integrating exter-nal semantic evaluation tools such as Computer Algebra Systems (CAS) and

The opening lines of this document serve to close this dissertation. In them, I want to sincerely thank all those who have made this work possible, and without whom this dissertation could not have been accomplished. First, I would like to thank my supervisors Miguel and Eduardo, with whom I share the credit of this work, and who have supported me throughout all these years in which we have worked together very closely. They believed in me from the very rst moment I ran into them, and they spent much time and e ort to make this dissertation succeed. Yannis is also one of the great minds that has most in uenced me over these years, and so I owe him much of this work. He insisted in showing me the right way, and he never hesitated to give me on-the- y advice or answers to my questions, despite his busy schedule. Of course, I have to specially thank Asen, Guillermo and Adolfo, who have very closely followed my dissertation, and with whom I had deep and intense discussions. Regarding the development tasks, I have been very lucky to be supported by David and Javier; without their work, this dissertation would have needed much more time, and the developed systems would have been simpler and poorer. Besides, I learnt a lot from all the people working in the GSIC-EMIC research group; people like Chus, Luis Pablo, Iván, Eloy, Osmel, Juan or Alejandra among many others, with whom I shared the good and the bad days in the laboratory. They all made the working environment a dynamic and pleasant place to spend the long working hours. I would also like to use these lines to thank the hospitality of the people I visited in the research stays I made during my PhD. First, thanks to those working in the Institute for

solution. In this survey we explore the hardware aspects of reconfigurable computing machines, from single chip architectures to multi-chip systems, including internal structures and external coupling. We also focus on the software that targets these machines, such as compilation tools that map high

We present an interface connecting the ACL2 theorem prover with external deduction tools. The ACL2 logic contains several mechanisms for proof structuring, which are important to the construction of industrial-scale proofs. The complexity induced by these mechanisms makes the design

We present an interface connecting the ACL2 theorem prover with external deduction tools. The logic of ACL2 contains several constructs intended to facilitate structuring of interactive proof development, which complicates the design of such an interface. We discuss some of these complexities