Mostra el registre d'ítem simple
Semàntica externa: una variant interessant de la semàntica de comportament
dc.contributor.author | Palasí Lallana, Vicent Ramon |
dc.date.accessioned | 2016-11-25T11:13:04Z |
dc.date.available | 2016-11-25T11:13:04Z |
dc.date.issued | 1996-06 |
dc.identifier.citation | Palasi, V. "Semàntica externa: una variant interessant de la semàntica de comportament". 1996. |
dc.identifier.uri | http://hdl.handle.net/2117/97238 |
dc.description.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. |
dc.format.extent | 16 p. |
dc.language.iso | cat |
dc.relation.ispartofseries | LSI-96-33-R |
dc.subject.other | External semantics |
dc.subject.other | Software correctness |
dc.subject.other | Algebraic specification |
dc.title | Semàntica externa: una variant interessant de la semàntica de comportament |
dc.type | External research report |
dc.rights.access | Open Access |
local.identifier.drac | 1904630 |
dc.description.version | Postprint (published version) |
local.citation.author | Palasi, V. |