Idioma:

Methods of programming selected papers on the CIP-project

M Broy 1949-; M Wirsing (Martin)

Localização: ICMC - Inst. Ciên. Mat. Computação (68-02 Lncs v.544 e.1 ) e outros locais(Acessar)

Título:
Methods of programming selected papers on the CIP-project
Autor: M Broy 1949-; M Wirsing (Martin)
Assuntos: Electronic digital computers -- Programming; TÉCNICAS DE PROGRAMAÇÃO; METODOLOGIA E TÉCNICAS DE COMPUTAÇÃO; COLETÂNEA
Notas: Includes bibliographical references and indexes
Descrição: Two metamodels for application system development : conventional vs. object-oriented approach / W. Hesse -- Transformational meta program development / B. Krieg-Brückner -- Another case study on reusability of transformationaldevelopments pattern matching according to Knuth, Morris, and Pratt / H.A. Partsch, N. Völker -- A formal method for the systematic reuse of specification components / R. Hennicker, M. Wirsing -- Deductive program development : evaluatiion in reverse Polish notation as an example / M. Broy -- Literate program derivation : a case study / P. Pepper -- Programs viewed as SKOLEM functions / R. Steinbrüggen -- Calculating a garbage collector / U. Berger,W. Meixner, B. Möller -- On the use of elements of functional programming in program development by transformations / R. Berghammer, H. Ehler -- Transformational development of circuit descriptions for binary adders / C. Delgado Kloos, W. Dosch
Títulos relacionados: Série:Lecture notes in computer science 544
Editor: Berlin New York Springer-Verlag
Data de criação/publicação: c1991
Formato: xii, 268 p. ill. 24 cm.
Idioma: Inglês

Links

Voltar para lista de resultados