Recent Trends in Algebraic Development Techniques: 15th International Workshop, WADT 2001, Joint with the CoFI WG Meeting, Genova, Italy, April 1-3, 2001. Selected PapersHo?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 82.
2. lappuse
Atvainojiet, šīs lappuses saturs ir ierobežots..
Atvainojiet, šīs lappuses saturs ir ierobežots..
3. lappuse
Atvainojiet, šīs lappuses saturs ir ierobežots..
Atvainojiet, šīs lappuses saturs ir ierobežots..
8. lappuse
Atvainojiet, šīs lappuses saturs ir ierobežots..
Atvainojiet, šīs lappuses saturs ir ierobežots..
9. lappuse
Atvainojiet, šīs lappuses saturs ir ierobežots..
Atvainojiet, šīs lappuses saturs ir ierobežots..
10. lappuse
Atvainojiet, šīs lappuses saturs ir ierobežots..
Atvainojiet, šīs lappuses saturs ir ierobežots..
Lietotāju komentāri - Rakstīt atsauksmi
Ierastajās vietās neesam atraduši nevienu atsauksmi.
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 |
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 apply approach architectural specifications axioms basic behaviour c-room calculus Casl closure operation CoFI colimit component Computer Science concrete category condition consistency consistency proofs constraints construction correct corresponding cryptographic protocol darts datatype defined Definition denote diagram epimorphism equational logic example extended fibring first-order first-order logic fitting morphism formal formula function symbols functor geometric given Gmap[n graph transformation higher-order connector implementation instantiation LNCS n-G-map natural transformation Notes in Computer notion operation parametric unit partial Petri net presentation proof obligations proof-calculus properties pullback pushout refinement result rewriting rules semantics signature morphism sort Elem spec specification specification language Springer Springer-Verlag static analysis structured specifications sumsq superscalar Tarlecki theorem tion Trafos(r transformation framework transformation system variables verification
Bibliogrāfiskā informācija
| Nosaukums | 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 Grāmatas Lecture Notes in Computer Science 2267. sējums. sējums |
| Redaktori | Maura Cerioli, Gianna Reggio |
| Izdevums: | ilustrēts |
| Izdevējs | Springer Science & Business Media, 2002 |
| ISBN | 3540431594, 9783540431596 |
| Apjoms | 348 lappuses |
| Eksportēt avotu | BiBTeX EndNote RefMan |