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

Pirmais vāks
Maura Cerioli, Gianna Reggio
Springer Science & Business Media, 2002. gada 23. janv. - 348 lappuses
Ho?man GeometricModellingwithCASL. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 176 F. Ledoux,A. Arnould,P. LeGall,andY. Bertrand ACompositionalApproachtoConnectorConstruction . . . . . . . . . . . . . . . . . 201 A. Lopes,M. Wermelinger,andJ. L. Fiadeiro InstitutionIndependentStaticAnalysisforCasl . . . . . . . . . . . . . . . . . . . . . . . . 221 T. MossakowskiandB. Klin TightandLooseSemanticsforTransformationSystems. . . . . . . . . . . . . . . . . 238 F. Orejas,H. Ehrig,andE. Pino PresentationsforAbstractContextInstitutions. . . . . . . . . . . . . . . . . . . . . . . . 256 W. Paw lowski Programs,ProofsandParametrizedSpeci?cations. . . . . . . . . . . . . . . . . . . . . . 280 I. Poernomo,J. N. Crossley,andM. Wirsing TowardsTrustworthySpeci?cationsI:ConsistencyChecks . . . . . . . . . . . . . . 305 M. RoggenbachandL. Schr ̈oder X TableofContents TheCommonFrameworkInitiativeforAlgebraicSpeci?cation andDevelopmentofSoftware:RecentProgress. . . . . . . . .

No grāmatas satura

Saturs

Interactive RuleBased Specification with an Application to Visual Language Definition
1
Algebraic Abstractions
21
Parchments Revisited
48
Canonical Institutions of Behaviour
71
A Transformation System for Equational Higher Order Algebraic Specifications
85
On the Compatibility of Model and ModelClass Transformations
109
Verifying a Simple Pipelined Microprocessor Using Maude
128
Verifying Architectural Specifications
152
A Compositional Approach to Connector Construction
201
Institution Independent Static Analysis for CASL
221
Tight and Loose Semantics for Transformation Systems
238
Presentations for Abstract Context Institutions
256
Programs Proofs and Parametrized Specifications
280
Consistency Checks
305
Recent Progress
328
Author Index
344

Geometric Modelling with CASL
176

Citi izdevumi - Skatīt visu

Bieži izmantoti vārdi un frāzes

Bibliogrāfiskā informācija