Sciweavers

5433 search results - page 603 / 1087
» Tool Support for Traceability-Adaptation
Sort
View
PVLDB
2008
111views more  PVLDB 2008»
15 years 6 months ago
Semandaq: a data quality system based on conditional functional dependencies
We present SEMANDAQ, a prototype system for improving the quality of relational data. Based on the recently proposed conditional functional dependencies (CFDs), it detects and rep...
Wenfei Fan, Floris Geerts, Xibei Jia
GG
2010
Springer
15 years 5 months ago
Formal Analysis of Functional Behaviour for Model Transformations Based on Triple Graph Grammars
Abstract. Triple Graph Grammars (TGGs) are a well-established concept for the specification of model transformations. In previous work we have formalized and analyzed already cruc...
Frank Hermann, Hartmut Ehrig, Fernando Orejas, Ulr...
ICST
2010
IEEE
15 years 5 months ago
When BDDs Fail: Conformance Testing with Symbolic Execution and SMT Solving
—Model-based testing is a well known technique that allows one to validate the correctness of software with respect to its model. If a lot of data is involved, symbolic technique...
Elisabeth Jöbstl, Martin Weiglhofer, Bernhard...
KBSE
2010
IEEE
15 years 5 months ago
Realizing architecture frameworks through megamodelling techniques
Most practising software architects operate within an architecture framework which is a coordinated set of viewpoints, models and notations prescribed for them. Whereas architectu...
Rich Hilliard, Ivano Malavolta, Henry Muccini, Pat...
LREC
2010
189views Education» more  LREC 2010»
15 years 5 months ago
NLGbAse: A Free Linguistic Resource for Natural Language Processing Systems
Availability of labeled language resources, such as annotated corpora and domain dependent labeled language resources is crucial for experiments in the field of Natural Language ...
Eric Charton, Juan Manuel Torres Moreno