979 search results - page 68 / 196 » Automated Environment Generation for Software Model Checking |
ASPDAC
2006
ACM
14 years 2 months ago
2006
ACM
– An instruction set level reference model was developed for the development of synergistic processing unit (SPU) , which is one of the key components of the cell processor [1][2...
IBMRD
2006
13 years 9 months ago
2006
The challenge for the development of next generation software is the successful management of the complex computational environment while delivering to the scientist the full powe...
MODELLIERUNG
2008
13 years 10 months ago
2008
Abstract: Model transformation is not only a crucial but also one of the most complicated aspects of model-driven software development (MDSD). An adequate transformation language i...
ICSM
2006
IEEE
14 years 2 months ago
2006
IEEE
The MDA approach aims to ease software maintenance faced with platform and business evolution. In this approach, main development artifacts, i.e. models, are defined with the Meta...
RTCSA
2006
IEEE
14 years 2 months ago
2006
IEEE
In this paper, we present a model-driven approach to RTOS-based embedded software development and an automated tool that can produce RTOS-specific code. Our contributions are two ...