Sciweavers

2806 search results - page 354 / 562
» BML and Related Tools
Sort
View
ICSE
2008
IEEE-ACM
16 years 7 months ago
Detecting model inconsistency through operation-based model construction
Nowadays, large-scale industrial software systems may involve hundreds of developers working on hundreds of different but related models representing parts of the same system spec...
Xavier Blanc, Isabelle Mounier, Alix Mougenot, Tom...
SIGSOFT
2007
ACM
16 years 7 months ago
On marrying ontological and metamodeling technical spaces
In software engineering, the use of models and metamodeling approaches (e.g., MDA with MOF/UML) for purposes such as software design or software validation is an established pract...
Fernando Silva Parreiras, Steffen Staab, Andreas W...
SIGSOFT
2001
ACM
16 years 7 months ago
Combining UML and formal notations for modelling real-time systems
This article explores a dual approach to real-time software development. Models are written in UML, as this is expected to be relatively easy and economic. Then models are automat...
Luigi Lavazza, Gabriele Quaroni, Matteo Venturelli
WWW
2004
ACM
16 years 7 months ago
E-learning personalization based on itineraries and long-term navigational behavior
In this paper we describe a practical framework for studying the navigational behavior of the users of an e-learning environment integrated in a virtual campus. The students navig...
Enric Mor, Julià Minguillón
WWW
2004
ACM
16 years 7 months ago
Network arts: exposing cultural reality
In this article, we explore a new role for the computer in art as a reflector of popular culture. Moving away from the static audiovisual installations of other artistic endeavors...
David A. Shamma, Sara Owsley, Kristian J. Hammond,...