Sciweavers

2255 search results - page 17 / 451
» High Assurance Software Systems
Sort
View
115
Voted
EUROMICRO
1997
IEEE
15 years 9 months ago
The Harpoon security system for helper programs on a Pocket Companion
In this paper we present a security framework for executing foreign programs, called helpers, on a Pocket Companion: a wireless hand-held computer. A helper program as proposed is...
Gerard J. M. Smit, Paul J. M. Havinga, Daniël...
LAWEB
2003
IEEE
15 years 10 months ago
Towards an Ontology for Software Metrics and Indicators as the Foundation for a Cataloging Web System
In order to the software and web measurement field becomes a more robust engineering discipline it is mandatory to start reaching a common agreement between researchers and other s...
María de los Angeles Martín, Luis Ol...
88
Voted
CASES
2001
ACM
15 years 8 months ago
An empirical evaluation of high level transformations for embedded processors
Björn Franke, Michael F. P. O'Boyle
WORDS
2005
IEEE
15 years 10 months ago
A Graph-Based Model for Component-Based Software Development
Software metrics can be used to objectively quantify the quality of software components and systems, alleviating quality and risk concerns and raising assurance in component-based...
Sahra Sedigh-Ali, Arif Ghafoor
WCRE
2009
IEEE
15 years 11 months ago
An Exploratory Study of the Impact of Code Smells on Software Change-proneness
—Code smells are poor implementation choices, thought to make object-oriented systems hard to maintain. In this study, we investigate if classes with code smells are more change-...
Foutse Khomh, Massimiliano Di Penta, Yann-Gaë...