Sciweavers

17 search results - page 2 / 4
» Towards a Unifying Approach for Performance-Driven Software ...
Sort
View
CORR
2010
Springer
178views Education» more  CORR 2010»
13 years 3 months ago
Towards A Shape Analysis for Graph Transformation Systems
Graphs and graph transformation systems are a frequently used modelling technique for a wide range of different domains, covering areas as diverse as refactorings, network topolog...
Dominik Steenken, Heike Wehrheim, Daniel Wonisch
UML
2000
Springer
13 years 8 months ago
Towards a UML Profile for Software Architecture Descriptions
Abstract. To formally describe architectures of software systems, specific languages called Architecture Description Languages (ADLs) have been developed by academic institutions a...
Mohamed Mancona Kandé, Alfred Strohmeier
BCS
2008
13 years 6 months ago
Tools for Traceable Security Verification
Dependable systems evolution has been identified by the UK Computing Research Committee (UKCRC) as one of the current grand challenges for computer science. We present work toward...
Jan Jürjens, Yijun Yu, Andreas Bauer 0002
EUROMICRO
2004
IEEE
13 years 8 months ago
Investigations in Applying Metrics to Multi-View Architecture Models
The goal of our research is to develop industry-proof software architecture and design metrics. We identify a number of problems that arise in computing software architecture and ...
Johan Muskens, Michel R. V. Chaudron, Christian La...
DATE
2010
IEEE
183views Hardware» more  DATE 2010»
13 years 3 months ago
Toward optimized code generation through model-based optimization
—Model-Based Development (MBD) provides an al level of abstraction, the model, which lets engineers focus on the business aspect of the developed system. MBD permits automatic tr...
Asma Charfi, Chokri Mraidha, Sébastien G&ea...