Titlebook: Reliable Software Technologies – Ada-Europe 2011; 16th Ada-Europe Inte Alexander Romanovsky,Tullio Vardanega Conference proceedings 2011 Th

生气地

身体萌芽

The SQALE Quality and Analysis Models for Assessing the Quality of Ada Source CodeThis article presents the quality and analysis model of the SQALE assessment method of software source code. It explains how an Ada quality model compliant to SQALE is implemented and the results of its application to selected software, and how the use of Ada reduces the quality debt unlike many other technologies.

interior

一个姐姐

Multicore Programming in ParaSailThe advent of multicore processors requires a new approach to programming. ParaSail is an example of such a new approach. It is a marriage of implicit parallelism and formal methods integrated into a simplified yet powerful programming language.