A Logic for Object-Z
|
Descargar SCORM
Este recurso ha sido solicitado 4 veces (0 veces en los últimos 31 días).
Para poder solicitar este recurso debe identificarse como usuario de la biblioteca
|
| |
Ver
Detalles del recurso
|
|
|
A Logic for Object-Z
|
| Id. |
41752573 |
| Idioma |
inglés
|
| Titulo |
A Logic for Object-Z |
| Autor(es) |
A Logic For Object-z,Graeme Smith
|
| Localización |
http://citeseer.ist.psu.edu/317352.html
|
| Versión |
1.0 |
| Estado |
Final
|
| Descripción |
This paper presents a logic for Object-Z which extends W , the logic for Z adopted as
the basis of the deductive system in the Z Base Standard. The logic provides a basis
on which tool support for reasoning about Object-Z specifications can be developed.
It also formalises the intended meaning of Object-Z constructs and hence provides
an abstract, axiomatic semantics of the language.
1 Introduction
Object-Z[10, 11, 7] is an extension of Z in which the existing syntax and semantics of
Z are retained and new constructs are introduced to facilitate specification in an objectoriented
style. The enhanced structuring improves the readability of large specifications.
It also enables the possibility of modular verification and refinement. This is dependent,
however, on the development of a formal semantics, a proof system and, ultimately, tools
for Object-Z.
Since Object-Z is a conservative extension of Z, in the sense that the existing syntax and
semantics of Z are retained, a natural ...
|
| Tipo |
ps
|
| Palabras clave |
A Logic For Object-z,Graeme Smith A Logic for Object-Z
|
| Tipo de Interactividad |
Expositivo
|
| Nivel de Interactividad |
muy bajo
|
| Audiencia |
Estudiante
Profesor
Autor
|
| Estructura |
Atomic |
| Coste |
no
|
| Copyright |
sí
|
|
unrestricted |
| Formatos |
ps
|
| Requerimientos técnicos |
Browser: Any
|
| Relación |
[IsBasedOn] ftp://svrc.it.uq.edu.au/techreports/tr94-48.ps.gz
[References] oai:CiteSeerPSU:318256
|
| Fecha de contribución |
31-mar-2009 |
| Contacto |
|
|
|
|
|
Valoración de los usuarios
No hay ninguna valoración para este recurso. Sea el primero en
valorar este recurso.
|
|
|
|
