Recent Trends in Algebraic Development Techniques: 15th International Workshop, WADT 2001, Joint with the CoFI WG Meeting, Genova, Italy, April 1-3, 2001. Selected PapersMaura 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
Mēģiniet meklēt visos sējumos: De%EF%AC%81nition
1.–0. rezultāts no 0.
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 |
344 | |
Citi izdevumi - Skatīt visu
Recent Trends in Algebraic Development Techniques: 15th International ... Maura Cerioli,Gianna Reggio Priekšskatījums nav pieejams - 2014 |
Recent Trends in Algebraic Development Techniques: 15th International ... Maura Cerioli,Gianna Reggio Priekšskatījums nav pieejams - 2002 |
Bieži izmantoti vārdi un frāzes
abstract context institutions algebraic high level algebraic specification amalgamation analysis apply approach architectural specifications axioms basic behaviour c-room C₁ calculus Casl closure operation CoFI colimit component Computer Science concrete category consistency consistency proofs constraints construction context institutions correct corresponding cryptographic protocol darts datatype defined definition denote diagram Dim[n epimorphism equational logic example extended fibring finite first-order first-order logic fitting morphism formal formula function symbols functor given Gmap[n higher-order connector implementation instantiation LNCS Mossakowski n-G-map natural transformation Notes in Computer notion operation parametric unit partial Petri net place/transition presentation proof obligations proof-calculus properties pullback pushout refinement result rewriting rules semantics signature morphism sort Elem spec specification language Springer Springer-Verlag static structured specifications sumsq superscalar t₁ Tarlecki theorem tion transformation framework transformation system variables verification