Sciweavers

5664 search results - page 206 / 1133
» Creativity support tools
Sort
View
VL
2005
IEEE
105views Visual Languages» more  VL 2005»
15 years 9 months ago
A Formal Approach to the Generation of Visual Language Environments Supporting Multiple Views
In this paper we present a formal approach, based on meta-modelling and graph transformation, to the generation of environments for visual languages (VLs) supporting multiple view...
Esther Guerra, Paloma Díaz, Juan de Lara
ECLIPSE
2004
ACM
15 years 9 months ago
Supporting model checking education using BOGOR/Eclipse
This paper describes our effort on developing educational materials on model checking to help foster the adoption of software model checking. We describe the course materials tha...
Matthew B. Dwyer, John Hatcliff, Matthew Hoosier
DEXAW
1999
IEEE
114views Database» more  DEXAW 1999»
15 years 8 months ago
A Web-Based Distributed Environment to Support Teleteaching: Design and Implementation Issues
Web based systems have been shown to be useful tools for supporting educational communication for teachers and students. In this paper we present such a system, which is an Integr...
Christos Bouras, Apostolos Gkamas, Thrasyvoulos Ts...
ICAIL
2007
ACM
15 years 7 months ago
A Linguistic-ontological Support for Multilingual Legislative Drafting: the DALOS Project
Coherence and alignment of the legislative language highly contribute to the quality of legislative processes, to the clarity of legislative texts and to their accessibility. DALOS...
Enrico Francesconi, Pier-Luigi Spinosa, Daniela Ti...
CRIWG
2003
15 years 5 months ago
Improving the Use of Strategies in Computer-Supported Collaborative Processes
The members of a work group need to apply a common strategy to collaboratively solve a problem. A good strategy will mainly depend on the collaboration scenario, participants’ ba...
César A. Collazos, Luis A. Guerrero, Jos&ea...