Sciweavers

2186 search results - page 67 / 438
» Model Transformation Technologies in the Context of Modellin...
Sort
View
KBSE
2003
IEEE
14 years 28 days ago
Automated Environment Generation for Software Model Checking
A key problem in model checking open systems is environment modeling (i.e., representing the behavior of the execution context of the system under analysis). Software systems are ...
Oksana Tkachuk, Matthew B. Dwyer, Corina S. Pasare...
IQ
2001
13 years 9 months ago
Data Quality Challenges in Enabling eBusiness Transformation
: This paper discusses data quality challenges in the context of eBusiness Transformation. It presents the major differences between traditional and eBusiness as they relate to bus...
Arie Segev
PRDC
1999
IEEE
13 years 12 months ago
An Architecture-Based Software Reliability Model
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...
Wen-Li Wang, Ye Wu, Mei-Hwa Chen
SPLC
2007
13 years 8 months ago
Product Line Implementation using Aspect-Oriented and Model-Driven Software Development
Software product line engineering aims to reduce development time, effort, cost, and complexity by taking advantage of the commonality within a portfolio of similar products. The ...
Markus Völter, Iris Groher
CONTEXT
1999
Springer
13 years 12 months ago
Ecological Interfaces: Extending the Pointing Paradigm by Visual Context
Following the ecological approach to visual perception, this paper presents an innovative framework for the design of multimodal systems. The proposal emphasises the role of the vi...
Antonella De Angeli, Laurent Romary, Frederic Wolf...