Inicio  /  IEEE SOFTWARE  /  Vol: 19 Núm: 1 Par: 0 (2002)  /  Artículo
ARTÍCULO
TITULO

Building Software Securely - Correctness by construction: Developing a Commercial Secure System -

Hall    
Anthony    
Chapman    
Roderick    

Resumen

No disponible

 Artículos similares

       
 
Qidong Zhang, Guiping Lin, Jinghui Guo, Haichuan Jin and Qiming Zhang    
The thermal management system (TMS) for aircraft fuel is a critical component of integrated TMSs in aircraft. As such, its optimal design is necessary to ensure the efficient completion of flight missions. This study presents the model building of a nume... ver más
Revista: Aerospace

 
Margherita Pazzini, Leonardo Cameli, Claudio Lantieri, Valeria Vignali, Daniele Mingozzi and Giuseppe Crescenzo    
BIM (building information modelling) has led to substantial improvements in all design steps. Applied mainly as an information management system in the digital design of structures and buildings, only in recent years has the use of BIM also extended to t... ver más
Revista: Infrastructures

 
Hernan J. Rosas, Ann Sussman, Abigail C. Sekely and Alexandros A. Lavdas    
Eye-tracking technology has numerous applications in both commercial and research contexts. The recent introduction of affordable wearable sensors has significantly broadened the scope of potential uses, spanning fields such as computer gaming, education... ver más
Revista: Applied Sciences

 
Julián Conesa, Francisco José Mula, Kristin A. Bartlett, Ferran Naya and Manuel Contero    
The use of Virtual Reality (VR) is growing in popularity in educational contexts. In this work, we present a novel software application based on immersive VR in which users can interact simultaneously with a model in a shared virtual scene and maintain a... ver más
Revista: Applied Sciences

 
Midya Alqaradaghi, Muhammad Zafar Iqbal Nazir and Tamás Kozsik    
Static analysis is a software testing technique that analyzes the code without executing it. It is widely used to detect vulnerabilities, errors, and other issues during software development. Many tools are available for static analysis of Java code, inc... ver más
Revista: Computers