Sciweavers

2846 search results - page 76 / 570
» A Software Performance Engineering Tool based on the UML-SPT
Sort
View
MRCO
2005
Springer
15 years 11 months ago
An Engineering Approach to Adaptation and Calibration
A new computing era after Mainframes, PC’s and mobiles is becoming more and more anticipated since the beginning of the 21st century. This new era is often described with several...
Michael Fahrmair, Wassiou Sitou, Bernd Spanfelner
MODELS
2007
Springer
16 years 12 days ago
Model and Formalism Driven Development of Collaborative Applications
In this position paper, we explain our approach for collaborative systems development based on a model of cooperative applications and a formalism called ORCHESTRA allowing to exp...
Bertrand T. David, René Chalon
CSMR
2008
IEEE
16 years 22 days ago
Modularity-Oriented Refactoring
Refactoring, in spite of widely acknowledged as one of the best practices of object-oriented design and programming, still lacks quantitative grounds and efficient tools for tasks...
Sergio Bryton, Fernando Brito e Abreu
COMPSAC
2007
IEEE
16 years 18 days ago
Visualization of Concurrent Program Executions
Various program analysis techniques are efficient at discovering failures and properties. However, it is often difficult to evaluate results, such as program traces. ls for abst...
Cyrille Artho, Klaus Havelund, Shinichi Honiden
AMAST
2010
Springer
15 years 1 months ago
Type Fusion
Fusion is an indispensable tool in the arsenal of techniques for program derivation. Less well-known, but equally valuable is type fusion, which states conditions for fusing an app...
Ralf Hinze