Sciweavers

3792 search results - page 22 / 759
» Techniques for Trusted Software Engineering
Sort
View
CORR
2008
Springer
143views Education» more  CORR 2008»
13 years 10 months ago
A Type System for Data-Flow Integrity on Windows Vista
The Windows Vista operating system implements an interesting model of multi-level integrity. We observe that in this model, trusted code must participate in any information-flow a...
Avik Chaudhuri, Prasad Naldurg, Sriram K. Rajamani
ECSA
2007
Springer
14 years 4 months ago
Issues in Applying Empirical Software Engineering to Software Architecture
Empirical software engineering focuses on the evaluation of software engineering technologies, such as processes and tools, by comparing related sets of data. It has contributed a ...
Davide Falessi, Philippe Kruchten, Giovanni Canton...
AGILEDC
2007
IEEE
14 years 4 months ago
Overcoming Fear with Trust
This is a story of how one project succeeded in delighting their customer, despite being put into the most difficult of all situations for an agile team – a fixed price contract...
Brian Button
ICSE
2003
IEEE-ACM
14 years 10 months ago
The Grand Challenge of Trusted Components
Reusable components equipped with strict guarantees of quality can help reestablish software development on a stronger footing, by taking advantage of the scaling effect of reuse ...
Bertrand Meyer
CLEIEJ
2010
13 years 7 months ago
Practices and Techniques for Engineering Process Capability Models
Software Process Improvement, based on a Maturity Level or a Process Capability Profile, from a Capability Maturity Model or an ISO/IEC 15504-based model, is well established in t...
Clenio F. Salviano, Marcia R. M. Martinez, Alessan...