Sciweavers

2266 search results - page 171 / 454
» A generic component model for building systems software
Sort
View
ICSE
2008
IEEE-ACM
16 years 6 months ago
CCVisu: automatic visual software decomposition
Understanding the structure of large existing (and evolving) software systems is a major challenge for software engineers. In reverse engineering, we aim to compute, for a given s...
Dirk Beyer
ENTCS
2007
101views more  ENTCS 2007»
15 years 6 months ago
Parametric Performance Contracts: Non-Markovian Loop Modelling and an Experimental Evaluation
Even with todays hardware improvements, performance problems are still common in many software systems. An approach to tackle this problem for component-based software architectur...
Heiko Koziolek, Viktoria Firus
ECBS
2006
IEEE
158views Hardware» more  ECBS 2006»
16 years 16 days ago
Automated Translation of C/C++ Models into a Synchronous Formalism
For complex systems that are reusing intellectual property components, functional and compositional design correctness are an important part of the design process. Common system l...
Hamoudi Kalla, Jean-Pierre Talpin, David Berner, L...
FIW
2007
15 years 8 months ago
Model Inference Approach for Detecting Feature Interactions in Integrated Systems
Many of the formal techniques are orchestrated for interaction detection in a complex integrated solution of hardware and software components. However, the applicability of these ...
Muzammil Shahbaz, Benoît Parreaux, Francis K...
CORR
2008
Springer
86views Education» more  CORR 2008»
15 years 6 months ago
Dynamic System Adaptation by Constraint Orchestration
Abstract. For Paradigm models, evolution is just-in-time specified coordination conducted by a special reusable component McPal. Evolution can be treated consistently and on-the-fl...
Luuk Groenewegen, Erik P. de Vink