Sciweavers

1255 search results - page 106 / 251
» Model-Driven Development of Model Transformations
Sort
View
IASTEDSE
2004
13 years 11 months ago
A software development process supporting non-functional properties
This paper presents a development process with particular focus on non-functional properties. The process is built around the concept of measurements at different levels of abstra...
Simone Röttger, Steffen Zschaler
FMCO
2009
Springer
128views Formal Methods» more  FMCO 2009»
13 years 7 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,...
AVI
2010
13 years 11 months ago
User task-based development of multi-device service-oriented applications
In this paper, we discuss a method and the associated tool support able to exploit Web services in model-based user interface development, starting with the results of a task anal...
Fabio Paternò, Carmen Santoro, Lucio Davide...
BMVC
2000
13 years 11 months ago
Invariant Characterization of the Hough Transform for Pose Estimation of Arbitrary Shapes
We develop a new formulation for including invariance in a general form of the Hough transform. We first develop a formal definition of the Hough transform mapping for arbitrary s...
Alberto S. Aguado, Eugenia Montiel, Mark S. Nixon
IWPSE
2010
IEEE
13 years 8 months ago
An exercise in iterative domain-specific language design
We describe our experiences with the process of designing a domain-specific language (DSL) and corresponding model transformations. The simultaneous development of the language an...
Marcel van Amstel, Mark van den Brand, Luc Engelen