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

一個(gè)姐姐

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.