Software Engineering (SWE)

Goal

Maintainability:

$✓$

Reliability:

$✓$

Portability:

$✓$

Performance:

Security:

$✓$

Description

These rules promote "best practices" for software development.

Rules

SWE01, SWE02, SWE03, SWE04

• Use SPARK Extensively (SWE01)
• Enable Optional Warnings and Treat As Errors (SWE02)
• Use A Static Analysis Tool Extensively (SWE03)
• Hide Implementation Artifacts (SWE04)