Acta Informatica 26, 287-308 (1989)
|
Descargar SCORM
¡Sea el primero en solicitar este recurso!
Para poder solicitar este recurso debe identificarse como usuario de la biblioteca
|
| |
Ver
Detalles del recurso
|
|
|
Acta Informatica 26, 287-308 (1989)
|
| Id. |
41958348 |
| Idioma |
inglés
|
| Titulo |
Acta Informatica 26, 287-308 (1989) |
| Autor(es) |
Joseph M. Morris
|
| Localización |
http://citeseer.ist.psu.edu/522803.html
|
| Versión |
1.0 |
| Estado |
Final
|
| Descripción |
Introduction
We take the view that a specification language is a programming language with added fancy
constructs and notions that admit ease of expression but may be expensive or even impossible to implement.
The programming task is to make a specification and then step by step eliminate the fancy constructs with
correctness-preserving transformations, or refinements, until, all going well, we arrive at a program. Among
the added notions of specification languages are a richer set of data types - sets, bags, mappings,
unbounded sequences, etc. - than we are used to seeing in programming languages; their replacement with
simpler types during program development is called "data refinement". To be useful, data refinement must
proceed piecewise. That is to say, we want to refine the constituent pieces of a specification more or less
independently of one another so that the refinement of the whole specification is not much more than the
composition of its reftned constituents. We give a n
|
| Tipo |
pdf
|
| Palabras clave |
Joseph M. Morris Acta Informatica 26, 287-308 (1989)
|
| Tipo de Interactividad |
Expositivo
|
| Nivel de Interactividad |
muy bajo
|
| Audiencia |
Estudiante
Profesor
Autor
|
| Estructura |
Atomic |
| Coste |
no
|
| Copyright |
sí
|
|
unrestricted |
| Formatos |
pdf
|
| Requerimientos técnicos |
Browser: Any
|
| Relación |
[IsBasedOn] http://www.compapp.dcu.ie/~jmorris/pubs/dataref.pdf
[References] oai:CiteSeerPSU:225734
|
| 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.
|
|
|
|
