Sommario: Recent trends in algebraic development techniques :

Salvato in:

Dettagli Bibliografici
Ente Autore:	International workshop on algebraic development techniques :Gênes
Altri autori:	Cerioli, Maura, 19..- (Direttore editoriale), Reggio, Gianna (Direttore editoriale)
Natura:	Livre numérique
Lingua:	Anglais
Pubblicazione:	Berlin [etc.] : Springer [20..]. Cham : Springer Nature
Serie:	Lecture notes in computer science 2267
Soggetti:	Génie logiciel Informatique Types abstraits de données (informatique) Logique symbolique et mathématique Informatique > Mathématiques Logiciels > Développement Actes de congrès
Accesso online:	Accès sur la plateforme de l'éditeur Accès sur la plateforme Istex Accès Université d'Orléans Accès INSA CVL
Nota:	Archives Springer e-books (Licence nationale) Archives Springer e-books (Licence nationale)
Autres localisations:	Voir dans le Sudoc
Edition sous un autre format:	• Recent trends in algebraic development techniques, 15th International Workshop, WADT 2001 Joint with the CoFI WG Meeting, Genova, Italy, April 1-3, 2001, Selected papers, Maura Cerioli, Gianna Reggio (eds.), Berlin, Springer, 2001, 1 vol. (X-343 p.), Lecture notes in computer science, 3-540-43159-4 • Recent Trends in Algebraic Development Techniques, Texte imprimé, 9783662177976

Sommario:

Interactive Rule-Based Specification with an Application to Visual Language Definition
Algebraic Abstractions
Combining Logics: Parchments Revisited
Canonical Institutions of Behaviour
The Lübeck Transformation System: A Transformation System for Equational Higher Order Algebraic Specifications
On the Compatibility of Model and Model-Class Transformations
Verifying a Simple Pipelined Microprocessor Using Maude
Verifying Architectural Specifications
Geometric Modelling with CASL
A Compositional Approach to Connector Construction
Institution Independent Static Analysis for Casl
Tight and Loose Semantics for Transformation Systems
Presentations for Abstract Context Institutions
Programs, Proofs and Parametrized Specifications
Towards Trustworthy Specification I: Consistency Checks
The Common Framework Initiative for Algebraic Specification and Development of Software: Recent Progress.