Sciweavers

117 search results - page 1 / 24
» Automating Hardware and Software Evolution Analysis
Sort
View
ECBS
2009
IEEE
109views Hardware» more  ECBS 2009»
13 years 11 months ago
Automating Hardware and Software Evolution Analysis
Brian Dougherty, Jules White, Chris Thompson, Doug...
IOLTS
2007
IEEE
88views Hardware» more  IOLTS 2007»
13 years 11 months ago
Automated Derivation of Application-aware Error Detectors using Static Analysis
Karthik Pattabiraman, Zbigniew Kalbarczyk, Ravisha...
SERP
2007
13 years 6 months ago
Using Constraints with Action Language for Model Evolution
- Since the advent of model driven software engineering (MDSE) it has become necessary to develop techniques and tools for model evolution. In this paper we examine two issues and ...
Shahid Alam, Samuel A. Ajila
IWPC
2000
IEEE
13 years 9 months ago
Automated Quality Analysis of Component Software for Embedded Systems
The Java programming language has gained increasing importance for the development of embedded systems. To be cost efficient, such systems have to cope with significant hardware...
Jens H. Jahnke, Jörg Niere, Jörg P. Wads...
SEMCO
2009
IEEE
13 years 11 months ago
Using a Formal Language Constructs for Software Model Evolution
— In this paper we present an automated support for software model evolution using a formal language constructs. For this, we extended Object Constraint Language (OCL) with actio...
Samuel A. Ajila, Shahid Alam