22.12. Definíció (Megfelel -nek). pontosan akkor felel meg a specifikációs feltételnek, ha van olyan invariáns tulajdonság ami mellett megfelel a feltételnek.
22.12. Definíció (Megfelel -nek).
pontosan akkor felel meg a specifikációs feltételnek, ha van olyan invariáns tulajdonság ami mellett megfelel a feltételnek.
22.13. Definíció. pontosan akkor felel meg a specifikációs feltételnek mellett, ha .
22.13. Definíció.
pontosan akkor felel meg a specifikációs feltételnek mellett, ha .
-nek).
pontosan akkor felel meg a
specifikációs feltételnek, ha van olyan
invariáns tulajdonság ami mellett megfelel a feltételnek.
pontosan akkor felel meg a
specifikációs feltételnek
mellett, ha
.
invariáns tulajdonság mellett