Sciweavers

3410 search results - page 124 / 682
» Measuring Model Transformation in Model Driven Development
Sort
View
ISIM
2007
15 years 7 months ago
Formal Computation Independent Model of the Problem Domain within the MDA
The proposed approach called Topological Functioning Modeling for Model Driven Architecture (TFMfMDA) uses formal mathematical foundations of Topological Functioning Model. It intr...
Janis Osis, Erika Asnina, Andrejs Grave
IJON
2006
57views more  IJON 2006»
15 years 6 months ago
Prenatal development of ocular dominance and orientation maps in a self-organizing model of V1
How orientation and ocular-dominance maps develop before visual experience begins is controversial. Possible influences include molecular signals and spontaneous activity, but the...
Stefanie Jegelka, James A. Bednar, Risto Miikkulai...
ICWE
2007
Springer
16 years 14 days ago
Tool Support for Model Checking of Web Application Designs
: In this work we report our experience in applying model checking techniques to the analysis of static and dynamic properties of Web application models. We propose a mix of tools ...
Marco Brambilla, Jordi Cabot, Nathalie Moreno
SIGSOFT
2003
ACM
15 years 11 months ago
Modeling and validation of service-oriented architectures: application vs. style
Most applications developed today rely on a given middleware platform which governs the interaction between components, the access to resources, etc. To decide, which platform is ...
Luciano Baresi, Reiko Heckel, Sebastian Thöne...
SOFTVIS
2003
ACM
15 years 11 months ago
Visualizing Model Mappings in UML
Whenever multiple representations or models of a system exist, there is the possibility of defining how they relate. In model driven software development, it is essential that th...
Jan Hendrik Hausmann, Stuart Kent