Sciweavers

5433 search results - page 429 / 1087
» Tool Support for Traceability-Adaptation
Sort
View
CACM
2008
93views more  CACM 2008»
15 years 7 months ago
Ontologies and the semantic web
The goal of semantic web research is to allow the vast range of web-accessible information and services to be more effectively exploited by both humans and automated tools. To fac...
Ian Horrocks
CORR
2010
Springer
96views Education» more  CORR 2010»
15 years 6 months ago
The System Kato: Detecting Cases of Plagiarism for Answer-Set Programs
Plagiarism detection is a growing need among educational institutions and solutions for different purposes exist. An important field in this direction is detecting cases of source...
Johannes Oetsch, Jörg Pührer, Martin Sch...
CORR
2008
Springer
114views Education» more  CORR 2008»
15 years 6 months ago
Investigating the Potential of Test-Driven Development for Spreadsheet Engineering
It is widely documented that the absence of a structured approach to spreadsheet engineering is a key factor in the high level of spreadsheet errors. In this paper we propose and ...
Alan Rust, Brian Bishop, Kevin McDaid
ENTCS
2008
105views more  ENTCS 2008»
15 years 6 months ago
Development of a Modelica Compiler Using JastAdd
This paper describes experiences from implementing key parts of a compiler for Modelica, an object-oriented language supporting declarative modeling and simulation of complex phys...
Johan Åkesson, Torbjörn Ekman, Gör...
ECEASST
2006
95views more  ECEASST 2006»
15 years 6 months ago
Towards Translating Graph Transformation Approaches by Model Transformations
Abstract. Recently, many researchers are working on semantics preserving model transformation. In the field of graph transformation one can think of translating graph grammars writ...
Frank Hermann, Harmen Kastenberg, Tony Modica