Sciweavers

5434 search results - page 340 / 1087
» Tool support for MOLA
Sort
View
IFM
2010
Springer
204views Formal Methods» more  IFM 2010»
15 years 5 months ago
Collaborative Modelling and Co-simulation in the Development of Dependable Embedded Systems
This paper presents initial results of research aimed at developing methods and tools for multidisciplinary collaborative development of dependable embedded systems. We focus on th...
John S. Fitzgerald, Peter Gorm Larsen, Ken Pierce,...
SQJ
2008
96views more  SQJ 2008»
15 years 5 months ago
Evaluating pattern conformance of UML models: a divide-and-conquer approach and case studies
A design pattern is realized in various forms depending on the context of the applications. There has been intensive research on detecting pattern instances in models and in implem...
Dae-Kyoo Kim, Wuwei Shen
IWPC
2010
IEEE
15 years 5 months ago
Identification of Idiom Usage in C++ Generic Libraries
—A tool supporting the automatic identification of programming idioms specific to the construction of C++ generic libraries is presented. The goal is to assist developers in unde...
Andrew Sutton, Ryan Holeman, Jonathan I. Maletic
OTM
2010
Springer
15 years 5 months ago
Integrating Keywords and Semantics on Document Annotation and Search
This paper describes GoNTogle, a framework for document annotation and retrieval, built on top of Semantic Web and IR technologies. GoNTogle supports ontology-based annotation for ...
Nikos Bikakis, Giorgos Giannopoulos, Theodore Dala...
PVLDB
2010
151views more  PVLDB 2010»
15 years 5 months ago
Data Auditor: Exploring Data Quality and Semantics using Pattern Tableaux
We present Data Auditor, a tool for exploring data quality and data semantics. Given a rule or an integrity constraint and a target relation, Data Auditor computes pattern tableau...
Lukasz Golab, Howard J. Karloff, Flip Korn, Divesh...