Curioso hallazgo no?Hadez is an object oriented specification language for hypertext design, is derived from the formal specification languages Z and Z++, and further extended with constructs oriented towards the specification of hypermedia. Hadez is based on OOHDM and divides the specification of an application into three parts: conceptual schema, structural schema, and perspective schema.