|Modification dateThis property is a special property in this wiki.
5 September 2014 18:45:37 +
|Allows valueThis property is a special property in this wiki.
, compiler +
, database-application-development +
, debugging +
, game-development +
, model-checker +
, program-build-automation +
, program-editor +
, programming-language +
, programming-language-conversion +
, shell +
, small-specific-development-task +
, specification-tool +
, version-control +
, static-analysis +
, testing-qa +
|Subproperty ofThis property is a special property in this wiki.
|Has typeThis property is a special property in this wiki.
Permission is granted to copy, distribute and/or modify this document
under the terms of the GNU Free Documentation License, Version 1.3 or
any later version published by the Free Software Foundation; with no
Invariant Sections, no Front-Cover Texts, and no Back-Cover Texts. A
copy of the license is included in the page “GNU Free
The copyright and license notices on this page only apply to the
text on this page. Any software or copyright-licenses or other
similar notices described in this text has its own copyright notice
and license, which can usually be found in the distribution or license