3792 search results - page 20 / 759 » Techniques for Trusted Software Engineering |
ICSE
2003
IEEE-ACM
14 years 10 months ago
2003
IEEE-ACM
Component-based development is the emerging paradigm in software production, though several challenges still slow down its full taking up. In particular, the "component trust...
SDL
2007
13 years 11 months ago
2007
Software metrics are an essential means to assess software quality. For the assessment of software quality, typically sets of complementing metrics are used since individual metric...
CODES
2002
IEEE
2002
IEEE
Algorithmic transformation techniques for efficient exploration of alternative application instances
14 years 2 months ago
KBSE
2005
IEEE
14 years 3 months ago
2005
IEEE
The Nix software deployment system is based on the paradigm of transparent source/binary deployment: distributors deploy descriptors that build components from source, while clien...
ASM
2003
ASM
14 years 3 months ago
2003
ASM
r in: Abstract State Machines 2003 — Advances in Theory and Applications, Proc. 10th International Workshop, Taormina, Italy, March 3-7, 2003, eds. Egon Boerger, Angelo Gargantin...