269 search results - page 5 / 54 » A Formal Model for Integrating Multiple Views |
ENTCS
2006
13 years 7 months ago
2006
We propose a formal method to validate the reliability of a web application, by modeling interactions among its constituent objects. Modeling exploits the recent "Multiple Le...
FASE
2008
Springer
13 years 9 months ago
2008
Springer
Abstract. The complexity of large system models in software engineering nowadays is mastered by using different views. View-based modeling aims at creating small, partial models, e...
ICDE
1997
IEEE
14 years 8 months ago
1997
IEEE
A data warehouse stores integrated information from multiple distributed data sources. In effect, the warehouse stores materialized views over the source data. The problem of ensu...
TVCG
2010
13 years 2 months ago
2010
Multiple simulation runs using the same simulation model with different values of control parameters usually generate large data sets that capture the variational aspects of the be...
VVEIS
2007
13 years 8 months ago
2007
Being the de-facto standard (object-oriented-OO) method(-logy) for software-intensive systems development, UML with its different diagrams and supporting tools represent nowadays t...