10 березня 2011 о 09:48 +0100 Bernhard R. Link написав(-ла): > * Євгеній Мещеряков <eugen@debian.org> [110309 19:39]: > > Description : SPARK programming language toolset > > > > SPARK is a programming language and a set of software development > > products for high assurance software. The SPARK programming language is > > the only language specifically designed to support the development of > > safety or security critical software. In combination with the SPARK > > toolset, SPARK prevents, detects and eliminates defects early in the > > lifecycle as the source code is developed. It is, effectively, the > > result of applying the principles of Correctness by Construction to the > > design of a programming language and associated verification tools. > > I suggest to either replace that or simply remove it. At least I'm not > able to get any information out of it. > Does this text look better (from Wikipedia): SPARK is a formally-defined computer programming language based on the Ada programming language, intended to be secure and to support the development of high integrity software used in applications and systems where predictable and highly reliable operation is essential either for reasons of safety or for business integrity.
Attachment:
signature.asc
Description: Digital signature