SPARK ist ein Subset der Programmiersprache Ada, das die genaue Spezifikation des Designs oder Anforderungen im Quellcode mit einer formalen Notation für Contracts unterstützt, einschließlich Pre- und Post-Bedingungen für Funktionen und Abhängigkeiten im Informationsaus-tausch zwischen Modulen.
SPARK is a programming language that supports the precise specification of design or requirements in source code using a notation for formal contracts, including pre-conditions and post-conditions for subprograms, and inter-module information flow dependencies.
Danach können Sie den Quellcode mit folgendem Befehl auschecken
After that, you can check out the source with the following command
Experimenteller Linux Support ist verfügbar wenn der Quellcode mit - enable-qsv kompiliert wird.
Experimental Linux support requires building from source with - enable-qsv.
Verwalten Sie mehr als nur Quellcode mit dem Skripteditor
Manage more than source code with the script editor
Für uns individuell entwickelte Software ist uns außerdem im Quellcode mit einer Hersteller- und Entwicklerdokumentation zu überlassen.
Any software developed specifically for us must also be transferred as source code with manufacturer and developer documentation.
Diese Option kann deaktiviert werden, damit auf Wunsch ein Problem nur im Quellcode mit einer speziellen Hintergrundfarbe markiert wird.
This option can be disabled to cause an issue to only be marked in the source code with a special background color if desired.
Gut dokumentierter Quellcode mit über 95% Testabdeckung.
Well-commented source code with over 95% test coverage.
Sobald eine Sicherheitslücke bestätigt wird, überprüft das Sicherheitsteam die notwendigen Schritte, um die Schwachstelle zu beheben und den Quellcode mit der Korrektur zu aktualisieren.
Once a vulnerability is confirmed, the security team verifies the steps necessary to fix the vulnerability and updates the source code with the fix.
Quellcode mit Kommentaren und Grafiken
Source code with comments and graphics
Bearbeiten von Quellcode mit Syntax-Markierung
Edit source code with syntax highlighting
Potentially sensitive or inappropriate content
Examples are used only to help you translate the word or expression searched in various contexts. They are not selected or validated by us and can contain inappropriate terms or ideas. Please report examples to be edited or not to be displayed. Potentially sensitive, inappropriate or colloquial translations are usually marked in red or in orange.
