Sciweavers

1002 search results - page 59 / 201
» Test-Driven Development of Model Transformations
Sort
View
APSEC
2002
IEEE
14 years 1 months ago
Quality Driven Transformation Compositions for Object Oriented Migration
Reengineering legacy software systems to object oriented platforms has received significant attention over the past few years. In this paper, we propose a goal driven software mig...
Ying Zou, Kostas Kontogiannis
EUROMICRO
1996
IEEE
14 years 1 months ago
Behaviour-Preserving Transformations in SHE: A Formal Approach to Architecture Design
SHE (Software/Hardware Engineering) is an objectoriented analysis, specification and design method for complex reactive hardware/software systems. SHE is based on the formal speci...
Jeroen Voeten, P. H. A. van der Putten, M. P. J. S...
WSC
2007
13 years 11 months ago
High-performance computing enables simulations to transform education
This paper presents the case that education in the 21st Century can only measure up to national needs if technologies developed in the simulation community, further enhanced by th...
Dan M. Davis, Thomas D. Gottschalk, Laurel K. Davi...
CORR
2007
Springer
100views Education» more  CORR 2007»
13 years 9 months ago
Finite Volume Analysis of Nonlinear Thermo-mechanical Dynamics of Shape Memory Alloys
In this paper, the finite volume method is developed to analyze coupled dynamic problems of nonlinear thermoelasticity. The major focus is given to the description of martensitic ...
Linxiang X. Wang, Roderick V. N. Melnik
ENTCS
2010
118views more  ENTCS 2010»
13 years 6 months ago
Systematic Refinement of Performance Models for Concurrent Component-based Systems
Model-driven performance prediction methods require detailed design models to evaluate the performance of software systems during early development stages. However, the complexity...
Lucia Kapová, Steffen Becker