Sciweavers

5433 search results - page 694 / 1087
» Tool Support for Traceability-Adaptation
Sort
View
IFIP
2010
Springer
15 years 5 months ago
ePAL Vision 2020 for Active Ageing of Senior Professionals
In order to enhance the active life of senior professionals, one fundamental challenge is to identify ways to assist promoting the role of elder people within the continuously agei...
Hamideh Afsarmanesh, Simon Samwel Msanjila
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...