769 search results - page 60 / 154 » Supporting Reflective Practitioners |
ICALT
2008
IEEE
14 years 2 months ago
2008
IEEE
We describe Glosser, a system that supports students in writing essays by 1) scaffolding their reflection with trigger questions, and 2) using text mining techniques to provide co...
CALCO
2007
Springer
13 years 12 months ago
2007
Springer
Abstract. CIRC is an automated circular coinductive prover implemented as an extension of Maude. The circular coinductive technique that forms the core of CIRC is discussed, togeth...
CSEE
2007
Springer
13 years 11 months ago
2007
Springer
Many, if not most, Computer Science programs contain some form of capstone, or senior, project as a key requirement in receiving a bachelor's degree in Computer Science or So...
AMAST
2006
Springer
13 years 11 months ago
2006
Springer
Abstract. In this paper we present the ITP/OCL tool, a rewritingbased tool that supports automatic validation of UML class diagrams with respect to OCL constraints. Its implementat...
ECOOP
2006
Springer
13 years 11 months ago
2006
Springer
This paper briefly describes the design of a dynamic adaptation management framework exploiting the concepts provided by Aspect-Oriented Software Development (AOSD) -in particular ...