3792 search results - page 84 / 759 » Techniques for Trusted Software Engineering |
VMCAI
2004
Springer
14 years 4 months ago
2004
Springer
Typed Assembly Languages (TALs) can be used to validate the safety of assembly-language programs. However, typing rules are usually trusted as axioms. In this paper, we show how to...
ICSE
2008
IEEE-ACM
14 years 11 months ago
2008
IEEE-ACM
Models become increasingly important for software development processes. Though there is a multitude of software modeling tools available, the handling of diagrams is still diffic...
IWPC
2000
IEEE
14 years 3 months ago
2000
IEEE
This paper presents a framework for software architecture recovery and restructuring. The user specifies a high level abstraction view of the system using a structured pattern la...
ICCBSS
2004
Springer
14 years 4 months ago
2004
Springer
Abstract. This workshop explores innovative ways of integrating COTS software into software systems for purposes often unimagined by their original designers. It emphasizes tools a...
CAISE
2006
Springer
14 years 2 months ago
2006
Springer
The quest for designing secure and trusted software has led to refined Software Engineering methodologies that rely on tools to support the design process. Automated reasoning mech...