Home > Term: invariant
invariant
An assertion that should always be true for a specified segment or at a specified point of a computer program.
- Μέρος του λόγου: noun
- Κλάδος/Τομέας: Υπολογιστές; Software
- Category: Software engineering
- Organization: IEEE Computer Society
0
Δημιουργός
- artemis
- 100% positive feedback