Sciweavers

5647 search results - page 887 / 1130
» A word from the editor
Sort
View
JOT
2006
185views more  JOT 2006»
15 years 6 months ago
Empirical Study of Object-Oriented Metrics
The increasing importance of software measurement has led to development of new software measures. Many metrics have been proposed related to various constructs like class, coupli...
K. K. Aggarwal, Yogesh Singh, Arvinder Kaur, Ruchi...
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
JSA
2006
131views more  JSA 2006»
15 years 6 months ago
Bidirectional liveness analysis, or how less than half of the Alpha's registers are used
Interprocedural data flow analyses of executable programs suffer from the conservative assumptions that need to be made because no precise control flow graph is available and beca...
Bjorn De Sutter, Bruno De Bus, Koen De Bosschere
ENTCS
2007
108views more  ENTCS 2007»
15 years 6 months ago
An Adaptation-based Approach to Incrementally Build Component Systems
Software components are now widely used in the development of systems. However, incompatibilities between their behavioural interfaces may make their composition impossible. The o...
Pascal Poizat, Gwen Salaün, Massimo Tivoli
ENTCS
2007
143views more  ENTCS 2007»
15 years 6 months ago
Formal Fault Tree Analysis - Practical Experiences
Safety is an important requirement for many modern systems. To ensure safety of complex critical systems, well-known safety analysis methods have been formalized. This holds in pa...
Frank Ortmeier, Gerhard Schellhorn