Información General

• Editores: Springer Alemania
• Año de publicación: 2001
• País: Alemania
• Idioma: inglés
• ISBN: 3-540-43159-4
• Texto completo no disponible (Saber más ...)

Otros catálogos

• Red de Bibliotecas Universitarias (REBIUN)

Listado de artículos

• • Interactive rule-based specification with an application to visual language definition

    R. Bardohl, M. Grofe-Rhode, M. Simeoni

    págs. 1-20

    

  • Algebraic abstractions

    M. Bidoit, A. Boisseau

    págs. 21-47

    

  • Combining logics: parchments revisited

    J. Ramos, P. Mateus, A. Sernadas, Carlos Caleiro

    págs. 48-70

    

  • Canonical institutions of behaviour

    H. Lourenço, J. F. Costa

    págs. 71-84

    

  • The Lübeck Transformation System: a transformation system for equational higher order algebraic specifications

    S. Magnussen, W. Dosch

    págs. 85-108

    

  • On the compatibility of model and model-class transformations

    F. Parisi-Presicce, M. Gajewsky

    págs. 109-127

    

  • Verifying a simple pipelined micropocessor using maude

    N. A. Harman

    págs. 128-151

    

  • Verifying architectural specifications

    P. Hoffman

    págs. 152-175

    

  • Geometric modelling with CASL

    F. Ledoux, Y. Bertrand, P. Le Gall, A. Arnould

    págs. 176-200

    

  • A compositional approach to connector construction

    J. L. Fiadeiro, A. Lopes, Miguel Alexandre Wermelinger

    págs. 201-220

    

  • Institution independent static analysis for CASL

    T. Mossakowski, B. Klin

    págs. 221-237

    

  • Tight and loose semantics for transformation systems

    Hartmut Ehrig, Fernando Orejas Valdés, E. Pino

    págs. 238-255

    

  • Presentations for abstract context institutions

    W. Pawlowski

    págs. 256-279

    

  • Programs, proofs and parametrized specifications

    I. Poernomo, John Newsome Crossley, Martin Wirsing

    págs. 280-304

    

  • Towards trustworthy specifications 1: consistency checks

    M. Roggenbach, L. Schröder

    págs. 305-327

    

  • The common framework initiative for algebraic specifications

    D. Sannella

    págs. 328-344