Software specifications Alloy 2 Automation 2 Computational complexity 2 Computer hardware description languages 2 Computer programming languages 2 DynAlloy 2 Dynamic logic 2 Dynamic programming 2 Formal logic 2 Semantics 2 Software engineering 2 Software specification 2 Software validation 2 Standards 2 Syntactics 2 Applications and expert systems 1 Crowdsourcing 1 Especificación de requerimientos de software 1 Heurísticas ad-hoc 1 Human-in-the-loop 1 Natural language processing 1 Regeneración de lenguaje 1 Reglas de decisión 1 Sistema de transiciones etiquetadas 1 Software requirements 1