135 search results - page 19 / 27 » Applicability of the BLAST Model Checker: An Industrial Case... |
GG
2008
Springer
14 years 10 months ago
2008
Springer
The model-driven development of model transformations requires both a technique to model model transformations as well as a means to transform transformation models. Therefore, t...
85
Voted
ASE
2008
14 years 9 months ago
2008
In the last years several efforts have been devoted by researchers in the Requirements Engineering community to the development of methodologies for supporting designers during req...
91
Voted
CAISE
2010
Springer
14 years 10 months ago
2010
Springer
Abstract As service-based Internet systems get increasingly complex they become harder to manage at design time as well as at runtime. Nowadays, many systems are described in terms...
79
Voted
ER
2007
Springer
15 years 3 months ago
2007
Springer
1 A number of e-Processes (i.e. software processes for developing e-Commerce information systems) exist in industry. We presuppose that for a subclass of these their targeted quali...
COMAD
2009
14 years 10 months ago
2009
Implementing a CRM Analytics solution for a business involves many steps including data extraction, populating the extracted data into a warehouse, and running an appropriate mini...