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
1.5. rezultāts no 28.
. lappuse
... Springer - Verlag Berlin Heidelberg New York This work is subject to copyright . All rights are reserved , whether ... Springer - Verlag . Violations are liable for prosecution under the German Copyright Law . Springer - Verlag ...
... Springer - Verlag Berlin Heidelberg New York This work is subject to copyright . All rights are reserved , whether ... Springer - Verlag . Violations are liable for prosecution under the German Copyright Law . Springer - Verlag ...
1. lappuse
Atvainojiet, šīs lappuses saturs ir ierobežots..
Atvainojiet, šīs lappuses saturs ir ierobežots..
19. lappuse
Atvainojiet, šīs lappuses saturs ir ierobežots..
Atvainojiet, šīs lappuses saturs ir ierobežots..
21. lappuse
Atvainojiet, šīs lappuses saturs ir ierobežots..
Atvainojiet, šīs lappuses saturs ir ierobežots..
48. lappuse
Atvainojiet, šīs lappuses saturs ir ierobežots..
Atvainojiet, šīs lappuses saturs ir ierobežots..
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 - 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