Sciweavers

1005 search results - page 11 / 201
» Patterns for Refinement Automation
Sort
View
GIS
2009
ACM
14 years 2 months ago
Topological relations from metric refinements
Naive Geography’s premise “Topology matters, metric refines” calls for metric properties that provide opportunities for finergrained distinctions than the purely qualitative...
Max J. Egenhofer, Matthew P. Dube
FMCO
2004
Springer
123views Formal Methods» more  FMCO 2004»
13 years 11 months ago
rCOS: Refinement of Component and Object Systems
Abstract. We present a model of object-oriented and component-based refinement. For object-orientation, the model is class-based and refinement is about correct changes in the stru...
Zhiming Liu, Jifeng He, Xiaoshan Li
FLAIRS
2006
13 years 8 months ago
Introspective Subgroup Analysis for Interactive Knowledge Refinement
When knowledge systems are deployed into a real-world application, then the maintenance and the refinement of the knowledge are essential tasks. Many existing automatic knowledge ...
Martin Atzmüller, Joachim Baumeister, Frank P...
ICIW
2007
IEEE
13 years 11 months ago
A Refined Goal Model for Semantic Web Services
The idea of service orientation envisions dynamic detection and execution of suitable Web services for solving a particular request. Most realization approaches pay only little att...
Michael Stollberg, Barry Norton
GCC
2003
Springer
14 years 20 days ago
Automated Detection of Design Patterns
: Detection of instances of design patterns is useful for the software maintenance. This paper proposes a new framework for the automated detection of instances of design patterns....
Zhixiang Zhang, Qinghua Li