HETEROGENEOUS SPECIFICATIONS 6 INSTITUCIONES 6 INSTITUTIONS 6 ALGEBRAIC SPECIFICATIONS 3 ALGEBRAS DE FORK 3 ESPECIFICACION ALGEBRAICA 3 ESPECIFICACION HETEROGENEA 3 ESPECIFICACIONES HETEROGENEAS 3 FORK ALGEBRA 3 FORMAL METHODS 3 INGENIERIA DE SOFTWARE 3 METODOS FORMALES 3 METODOS RELACIONALES EN CIENCIAS DE LA COMPUTACION 3 RELATIONAL METHODS IN COMPUTER SCIENCE 3 SOFTWARE ENGINEERING 3 Calculations 2 Category theory 2 Computational linguistics 2 Computer hardware description languages 2 Formal framework 2 Formal languages 2 Formal methods 2 Formal specification 2 Heterogeneous specifications 2 Mathematical formalism 2 Semantics 2 Specifications 2 Structured specification 2 Structuring mechanisms 2 System specification 2