Semàntica externa: una variant interessant de la semàntica de comportament

Consultar RECERCAT

Para acceder a los documentos con el texto completo, por favor, siga el siguiente enlace: http://hdl.handle.net/2117/97238

Título:	Semàntica externa: una variant interessant de la semàntica de comportament
Autor/a:	Palasí Lallana, Vicent Ramon
Abstract:	Starting from behavioural semantics, a new semantics called "external semantics" is proposed. The aim of this new semantics is to solve the problem of software correctness with respect to an algebraic specification.
Materia(s):	-External semantics -Software correctness -Algebraic specification
Derechos:
Tipo de documento:	Artículo - Versión publicada Informe
Compartir:

Palasí Lallana, Vicent Ramon

Palasí Lallana, Vicent Ramon

Palasí Lallana, Vicent Ramon

Palasí Lallana, Vicent Ramon

Palasí Lallana, Vicent Ramon

Coordinación

Patrocinio