La especificación como una forma de descripción del comportamiento del software se ha vuelto un tanto subjetiva; esta subjetividad ha conllevado la creación de diferentes paradigmas de especificación, siendo los dos ...