Sciweavers

650 search results - page 84 / 130
» Modeling SPARK systems with UML
Sort
View
DATE
2009
IEEE
116views Hardware» more  DATE 2009»
15 years 6 months ago
An MDE methodology for the development of high-integrity real-time systems
—This paper reports on experience gained and lessons learned from an intensive investigation of model-driven engineering methodology and technology for application to high-integr...
Silvia Mazzini, Stefano Puri, Tullio Vardanega
STEP
2005
IEEE
15 years 5 months ago
Managing Model Quality in UML-Based Software Development
With the advent of UML and MDA, models play an increasingly important role in software development. Hence, the management of the quality of models is of key importance for complet...
Christian F. J. Lange, Michel R. V. Chaudron
SIGMOD
2006
ACM
142views Database» more  SIGMOD 2006»
15 years 12 months ago
Model driven development of secure XML databases
In this paper, we propose a methodological approach for the model driven development of secure XML databases (DB). This proposal is within the framework of MIDAS, a model driven m...
Belén Vela, Eduardo Fernández-Medina, Esperanza ...
DAGSTUHL
2006
15 years 1 months ago
Aspect-Oriented Techniques for Web Services: a Model-Driven Approach
In order to tackle the entire web service life cycle, it is necessary to face how to model systems based on service functionality and also how to add extra-functional properties to...
Guadalupe Ortiz, Juan Hernández
ECIR
2006
Springer
15 years 1 months ago
Using Concept-Based Indexing to Improve Language Modeling Approach to Genomic IR
Genomic IR, characterized by its highly specific information need, severe synonym and polysemy problem, long term name and rapid growing literature size, is challenging IR communit...
Xiaohua Zhou, Xiaodan Zhang, Xiaohua Hu