Sciweavers

7404 search results - page 174 / 1481
» Software performance antipatterns
Sort
View
SOCO
2008
Springer
15 years 4 months ago
Component-Based Access Control: Secure Software Composition through Static Analysis
Abstract. Extensible Component Platforms support the discovery, installation, starting, uninstallation of components at runtime. Since they are often targeted at mobile resource-co...
Pierre Parrend, Stéphane Frénot
WCRE
2008
IEEE
15 years 10 months ago
The Metric Lens: Visualizing Metrics and Structure on Software Diagrams
We present the metric lens, a new visualization of methodlevel code metrics atop UML class diagrams, which allows performing metric-metric and metric-structure correlations on lar...
Heorhiy Byelas, Alexandru Telea
SEUS
2005
IEEE
15 years 10 months ago
A Case Study on Partial Evaluation in Embedded Software Design
Source code generators are often applied in embedded systems design to combine the flexibility necessary for reusability with the performance of highly specialized software. Howe...
Michael Jung, Ralf Laue 0002, Sorin A. Huss
CBSE
2006
Springer
15 years 8 months ago
Towards Encapsulating Data in Component-Based Software Systems
Abstract. A component-based system consists of components linked by connectors. Data can reside in components and/or in external data stores. Operations on data, such as access, up...
Kung-Kiu Lau, Faris M. Taweel
TCAD
2008
181views more  TCAD 2008»
15 years 4 months ago
A Survey of Automated Techniques for Formal Software Verification
The quality and the correctness of software is often the greatest concern in electronic systems. Formal verification tools can provide a guarantee that a design is free of specific...
Vijay D'Silva, Daniel Kroening, Georg Weissenbache...