Sciweavers

1148 search results - page 140 / 230
» WebML modelling in UML
Sort
View
ENTCS
2006
115views more  ENTCS 2006»
13 years 10 months ago
Using ATL for Checking Models
Working with models often requires the ability to assert the compliance of a given model to a given set of constraints. Some tools are able to check OCL invariants on UML models. ...
Jean Bézivin, Frédéric Jouaul...
IIWAS
2008
13 years 11 months ago
A model-prover for constrained dynamic conversations
In a service-oriented architecture, systems communicate by exchanging messages. In this work, we propose a formal model based on OCL-constrained UML Class diagrams and a methodolo...
Diletta Cacciagrano, Flavio Corradini, Rosario Cul...
JSS
2006
88views more  JSS 2006»
13 years 10 months ago
A formal representation of functional size measurement methods
Estimating software size is a difficult task that requires a methodological approach. Many different methods that exist today use distinct abstractions to depict a software system...
Marjan Hericko, Ivan Rozman, Ales Zivkovic
ICCSA
2010
Springer
13 years 7 months ago
An Aspect-Oriented Approach for Mobile Embedded Software Modeling
Recently, it is one of the most challenging fields in software engineering for embedded software development, since the advancement of embedded technologies has made our life incre...
Yong-Yi Fanjiang, Jong-Yih Kuo, Shang-Pin Ma, Wong...
SEDE
2010
13 years 8 months ago
BigCube: A Metamodel for Managing Multidimensional Data
New emerging scientific applications in geosciences, sensor and spatio-temporal domains require adaptive analysis frameworks that can handle large datasets with multiple dimension...
Ganesh Viswanathan, Markus Schneider