10 березня 2011 о 09:48 +0100 Bernhard R. Link написав(-ла):
> * Євгеній Мещеряков [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 la
* Євгеній Мещеряков [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 deve
9 березня 2011 о 18:49 + Florian Schanda написав(-ла):
> I would say "This package contains the tools necessary for checking
> if programs adhere to the SPARK rules and the tools to show freedom
> of runtime exceptions in those programs."
>
> And then also say: "To compile SPARK programs use a
Євгеній Мещеряков wrote:
> 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
Package: wnpp
Severity: wishlist
Owner: "Євгеній Мещеряков"
* Package name: spark
Version : spark-gpl-2010-SMT
* URL : http://libre.adacore.com/libre/tools/spark-gpl-edition/
* License : GPL3+
Programming Lang: Ada, Prolog, C++
Description : SPARK program
5 matches
Mail list logo