Sciweavers

3987 search results - page 151 / 798
» Ontology-Based Model Transformation
Sort
View
AGTIVE
2007
Springer
15 years 10 months ago
Transforming Timeline Specifications into Automata for Runtime Monitoring
Abstract. In runtime monitoring, a programmer specifies code to execute whenever a sequence of events occurs during program execution. Previous and related work has shown that runt...
Eric Bodden, Hans Vangheluwe
IJCAT
2010
132views more  IJCAT 2010»
15 years 5 months ago
Using weaving models to automate model-driven web engineering proposals
The impact of Model-Driven Software Development in Web Engineering has given raise to the advent of Model-Driven Web Engineering, a new approach for Web Information Systems develop...
Juan M. Vara, Valeria de Castro, Marcos Didonet De...
FMCO
2009
Springer
128views Formal Methods» more  FMCO 2009»
15 years 4 months ago
Patterns for Refinement Automation
Formal modelling is indispensable for engineering highly dependable systems. However, a wider acceptance of formal methods is hindered by their insufficient usability and scalabili...
Alexei Iliasov, Elena Troubitsyna, Linas Laibinis,...
ICECCS
2009
IEEE
140views Hardware» more  ICECCS 2009»
16 years 1 months ago
Common Pitfalls of Using QVT Relations - Graphical Debugging as Remedy
OMG’s Model-Driven Architecture (MDA) has emerged as a new approach for the development of software. For this, the Query/View/Transformation (QVT) standard plays a central role,...
Angelika Kusel, Wieland Schwinger, Manuel Wimmer, ...
ICPR
2004
IEEE
16 years 7 months ago
ART Extension for Description, Indexing and Retrieval of 3D Objects
This paper presents a new three-dimensional shape descriptor, called 3D angular radial transform. This descriptor is an extension of the 2D region base shape descriptor proposed b...
Atilla Baskurt, David Coeurjolly, Julien Ricard