Semàntica externa: una variant interessant de la semàntica de comportament
Visualitza/Obre
Estadístiques de LA Referencia / Recolecta
Inclou dades d'ús des de 2022
Cita com:
hdl:2117/97238
Tipus de documentReport de recerca
Data publicació1996-06
Condicions d'accésAccés obert
Tots els drets reservats. Aquesta obra està protegida pels drets de propietat intel·lectual i
industrial corresponents. Sense perjudici de les exempcions legals existents, queda prohibida la seva
reproducció, distribució, comunicació pública o transformació sense l'autorització del titular dels drets
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.
CitacióPalasi, V. "Semàntica externa: una variant interessant de la semàntica de comportament". 1996.
Forma partLSI-96-33-R
Col·leccions
Fitxers | Descripció | Mida | Format | Visualitza |
---|---|---|---|---|
1400226286.pdf | 1,631Mb | Visualitza/Obre |