Deklarerbarhet avser egenskapen hos ett system, en process eller ett objekt att kunna beskrivas och specificeras fullständigt och entydigt genom en formell deklaration. Detta innebär att alla relevanta aspekter, som tillstånd, beteende eller struktur, kan uttryckas i ett definierat språk. Målet är enligt etablerade definitioner.