Sciweavers

6650 search results - page 80 / 1330
» models 2009
Sort
View
CAISE
2009
Springer
15 years 11 months ago
Incremental Detection of Model Inconsistencies Based on Model Operations
Due to the increasing use of models, and the inevitable model inconsistencies that arise during model-based software development and evolution, model inconsistency detection is gai...
Xavier Blanc, Alix Mougenot, Isabelle Mounier, Tom...
AIED
2009
Springer
16 years 29 days ago
Learner Trust in Learner Model Externalisations
This paper introduces t-OLM, an open learner model to investigate user trust in a range of learner model externalisations. It was found that, while sufficient levels of use were ma...
Norasnita Ahmad, Susan Bull
ICSEA
2009
IEEE
15 years 4 months ago
Integrating Quality Modeling with Feature Modeling in Software Product Lines
Due to the large number of possible variants in typical Software Product Lines (SPLs), the modeling of, explicit knowledge of, and predictability of the quality tradeoffs inherent ...
Joerg Bartholdt, Marcel Medak, Roy Oberhauser
ASPDAC
2009
ACM
249views Hardware» more  ASPDAC 2009»
15 years 11 months ago
Automatic generation of Cycle Accurate and Cycle Count Accurate transaction level bus models from a formal model
— This paper proposes the first automatic approach to simultaneously generate Cycle Accurate and Cycle Count Accurate transaction level bus models. Since TLM (Transaction Level M...
Chen Kang Lo, Ren-Song Tsay
SEKE
2009
Springer
16 years 27 days ago
Business Modeling for Service Engineering: Toward an integrated Procedure Model
Abstract—Business modeling for service engineering aims at flexible transformation of business logic into software code. The ISE framework is an interdisciplinary approach which...
Gregor Scheithauer, Stefan Augustin, Guido Wirtz