Sciweavers

HASE
2007
IEEE
15 years 8 months ago
Model Validation using Automatically Generated Requirements-Based Tests
In current model-based development practice, validation that we are building a correct model is achieved by manually deriving requirements-based test cases for model testing. Mode...
Ajitha Rajan, Michael W. Whalen, Mats Per Erik Hei...
EUROMICRO
2009
IEEE
15 years 8 months ago
Automated Feature Model-Based Generation of Refinement Transformations
Model-driven application engineering builds on the concept of model transformations. To weave additional refinement parts into an application model, so-called refinement transform...
Lucia Kapová, Thomas Goldschmidt
EUROMICRO
2009
IEEE
15 years 8 months ago
Multi-layered Virtual Machines for Security Updates in Grid Environments
The use of user specific virtual machines (VMs) in Grid and Cloud computing reduces the administration overhead associated with manually installing required software for every user...
Roland Schwarzkopf, Matthias Schmidt, Niels Fallen...
141
Voted
HASE
2007
IEEE
15 years 8 months ago
Goal-Oriented Patterns for UML-Based Modeling of Embedded Systems Requirements
Embedded systems are used for critical applications that must adhere to safety constraints. Developers of these systems face three key challenges when attempting to apply existing...
Heather Goldsby, Sascha Konrad, Betty H. C. Cheng
EUROMICRO
2009
IEEE
15 years 8 months ago
SuGI - Portal and Training Systems for Grid Middlewares
Grid computing is a research and development topic, currently getting much attention. As a result, new ideas as well as research and project results are being produced at a very h...
Joachim Götze, Bernd Reuther, Paul Mülle...