A Method of Software System Security Verification and Evaluation Based on Extension of AADL Model

Author(s):  
Bohan Wang ◽  
Wenjun Ke ◽  
Jianwei Zhang ◽  
Xinrui Gao ◽  
Jing Chen ◽  
...  
1977 ◽  
Vol 16 (03) ◽  
pp. 144-153 ◽  
Author(s):  
E. Vaccari ◽  
W. Delaney ◽  
A. Chiesa

A software system for the automatic free-text analysis and retrieval of radiological reports is presented. Such software involves: (1) automatic translation of the specific natural language in a formalized metalanguage in order to transform the radiological report in a »normalized report« analyzable by computer; (2) content processing of the normalized report to select desired information. The approach used to accomplish point (1) is described in detail referring to a specific application.


2016 ◽  
Vol 23 (99) ◽  
pp. 53-57
Author(s):  
Evgenij V. Berlizov ◽  
◽  
Viktor Hapiak ◽  
Vira Liubchenko ◽  
◽  
...  

Sign in / Sign up

Export Citation Format

Share Document