5525 search results - page 546 / 1105 » Verification of Model Transformations |
219
click to vote
ICWE
2005
Springer
16 years 22 days ago
2005
Springer
Abstract. Conceptual modelling is a promising approach for Web application development, thanks to innovative CASE tools that can transform high-level specifications into executabl...
189
click to vote
MLMI
2004
Springer
16 years 17 days ago
2004
Springer
In this paper a system that transforms speech waveforms to animated faces are proposed. The system relies on continuous state space models to perform the mapping, this makes it po...
185
click to vote
ICSM
2003
IEEE
16 years 15 days ago
2003
IEEE
This paper presents a graph matching model for the software architecture recovery problem. Because of their expressiveness, the graphs have been widely used for representing both ...
206
click to vote
QOSA
2009
Springer
15 years 11 months ago
2009
Springer
When software projects evolve their actual implementation and their intended architecture may drift apart resulting in problems for further maintenance. As a countermeasure it is g...
191
click to vote
PRDC
1999
IEEE
15 years 11 months ago
1999
IEEE
In this paper we present an analytical model for estimating architecture-based software reliability, according to the reliability of each component, the operational profile, and t...