Data/hora: 14/06/2024 17:05:10

Biblioteca(s): | Embrapa Agricultura Digital.
Data corrente: | 11/09/1996
Data da última atualização: | 18/12/2007
Autoria: | FIELDING, E.; JONES, C.
Título: | Program design by data refinement.
Ano de publicação: | 1982
Fonte/Imprenta: | In: BJORNER, D.; JONES, C. B. Formal specification and software development. Englewood Cliffs: Prentice-Hall International, 1982.
Páginas: | p.323-351.
Idioma: | Inglês
Conteúdo: | The case is made above for studying language and their implementations. There is, however, a large body of material on program development relating to other application areas. This material frequently uses specification by pre-/post-conditions and abstracts data types; the related design techniques are justified by rules about control constructs and data refinement. This chapter exemplifies the relevant parts of VDM. Special emphasis is put on the refinement of abstract data types to machine representations since this is the activity which is more relevant to the early stages of program development. In this chapter, modules are isoled and developed separately. This focusses on a different area of VDM from that considered in earlier parts. So far attention hasbeen on the order of actions as fixed by combinators; here the concern is with the individual actions. Clearly, both aspects must be considered in a development method. The example considered is the access to data via keys. This is a problem which is of great importance to many computer applications and which relates to the topic of databases discussed later in this part of the book. The material here is derived from [Fielding 80a]. Full details of the "rigorous approah" to software developments are given in [JONES 80a] and overviews are available in [JONES 81b, STOY 81a]. Another interesting application of this material is given in a recent UK Department of Industry survey of Program Design Methods in which VDM is applied to the definition of KAPSE...
Categoria do assunto: | --
Registro original: | Embrapa Agricultura Digital (CNPTIA)
Exemplares: | CNPTIA - (4137-1) - ADD - PL - -- - 005.1 - BJO - 1986.00333 - DIS