9783540431596 - Recent Trends In Algebraic Development Techniques: 15th International Workshop, WADT 2001, Joint with the CoFI WG Meeting, Genova, Italy, April 1-3, . ... (Lecture ... (15 risultati)

Condizione: As New. Unread book in perfect condition.

Condizione: New.

Condizione: New.

Condizione: New. In.

PF. Condizione: New.

Condizione: New.

Condizione: As New. Unread book in perfect condition.

Taschenbuch. Condizione: Neu. Druck auf Anfrage Neuware - Printed after ordering - Thealgebraicapproachtosystemspeci cationanddevelopment,borninthe early1970sasaformalmethodforabstractdatatypes,encompassestoday ,atthe beginningofthethirdmillennium,theformaldesignofintegratedhardwareand softwaresystems,newspeci cationframeworksandprogrammingparadigms, andawiderangeofapplicationareas. TheworkshopsonAlgebraicDevelopment Techniques,initiatedin1982astheworkshoponAbstractDataTypes,area prominentforumtopresentanddiscusscurrentresearchinthatarea. The15thInternationalWorkshoponAlgebraicDevelopmentTechniques (WADT2001)tookplaceinGenova,asasatelliteofETAPS2001,onApril 1 3,2001,andwasorganizedbyMauraCerioliandGiannaReggio. From1991to1995WADTworkshopswereheldjointlywiththeGeneral WorkshopoftheESPRITBasicResearchWorkingGroupCOMPASS. Following thistradition,theWADT2001washeldjointlywiththeGeneralWorkshopof theESPRITWorkingGroupCoFI. TheCommonFrameworkInitiative,started in1995andfundedsince1998asCoFIWG,iscenteredaroundthede nitionof theCommonAlgebraicSpeci cationLanguage(CASL). TheprogramstartedwithafulldaytutorialontheCASL,followedby32 presentations,severalofthemontheCASLaswell,organizedinparallelsessions duringthefollowingtwodays. Theparallelsessionsweredevotedto:logicsand proofs,concurrentprocesses,institutionsandcategories,applicationsandcas e studies,higher-orderandparameterizedspeci cations,staticanalysis,software architectures,graphandtransformationrules. Themaintopicsoftheworkshopwere: algebraicspeci cation otherapproachestoformalspeci cation speci cationlanguagesandmethods termrewritingandproofsystems speci cationdevelopmentsystems(concepts,tools,etc. ) Theprogramcommitteeinvitedsubmissionsoffullpapersforpossibleinclusion inthisvolume,onthebasisoftheabstractsandthepresentationsatWADT 2001. Allthesubmissionsweresubjecttocarefulrefereeing,andtheselectionof paperswasmadefollowingfurtherdiscussionbythefullprogramcommittee. Weareextremelygratefultoallworkshopparticipants,tothe(other)m- bersoftheprogramcommittee,andtotheexternalrefereesfortheircontr ibution tothescienti cqualityoftheworkshopandofthisvolume. TheWADTseriesissponsoredbyIFIPWG1. 3onFoundationsofSystem Speci cation(seebrics. dk/ pdm/IFIP-WG1. 3). November2001 MauraCerioliandGiannaReggio Organization ProgramCommittee MichelBidoit (Cachan,France) MauraCerioli (Genova,Italy) Hans-J orgKreowski (Bremen,Germany) PeterMosses,chair (Aarhus,Denmark) FernandoOrejas (Barcelona,Spain) FrancescoParisi-Presicce (Roma,Italy) GiannaReggio (Genova,Italy) DonaldSannella (Edinburgh,Scotland) AndrzejTarlecki (Warsaw,Poland) ExternalReferees EgidioAstesiano ManuelKoch MarekBednarczyk MikolajKonarski BenjaminBlanc AlexanderKurz AlexandreBoisseau SabineKuske TomaszBorzyszkowski SlawomirLasota PaoloBottoni ChristophLuth PaoloCenciarelli DirkPattinson HartmutEhrig Wies lawPawlo wski StevenEker Jean-ClaudeReynaud JeanGoubault-Larrecq MarkusRoggenbach PiotrHo man SponsoringInstitutions CoFI(CommonFrameworkInitiative),ESPRITWorkingGroup29432. DISI,Universit`adegliStudidiGenova. IFIPWG1. 3onFoundationsofSystemSpeci cation. TableofContents InteractiveRule-BasedSpeci cationwithanApplication toVisualLanguageDe nition . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1 R. Bardohl,M. Große-Rhode,andM. Simeoni AlgebraicAbstractions . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 21 M. BidoitandA. Boisseau CombiningLogics:ParchmentsRevisited. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 48 C. Caleiro,P. Mateus,J. Ramos,A. Sernadas CanonicalInstitutionsofBehaviour . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 71 J. F. CostaandH. Louren co TheLub eckTransformationSystem:ATransformationSystem forEquationalHigherOrderAlgebraicSpeci cations . . . . . . . . . . . . . . . . . . . 85 W. DoschandS. Magnussen OntheCompatibilityofModelandModel-ClassTransformations . . . . . . . 109 M. GajewskyandF. Parisi-Presicce VerifyingaSimplePipelinedMicroprocessorUsingMaude . . . . . . . . . . . . . . 128 N. A.

Condizione: New. pp. 360.

Taschenbuch. Condizione: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -Thealgebraicapproachtosystemspeci cationanddevelopment,borninthe early1970sasaformalmethodforabstractdatatypes,encompassestoday,atthe beginningofthethirdmillennium,theformaldesignofintegratedhardwareand softwaresystems,newspeci cationframeworksandprogrammingparadigms, andawiderangeofapplicationareas. TheworkshopsonAlgebraicDevelopment Techniques,initiatedin1982astheworkshoponAbstractDataTypes,area prominentforumtopresentanddiscusscurrentresearchinthatarea. The15thInternationalWorkshoponAlgebraicDevelopmentTechniques (WADT2001)tookplaceinGenova,asasatelliteofETAPS2001,onApril 1 3,2001,andwasorganizedbyMauraCerioliandGiannaReggio. From1991to1995WADTworkshopswereheldjointlywiththeGeneral WorkshopoftheESPRITBasicResearchWorkingGroupCOMPASS. Following thistradition,theWADT2001washeldjointlywiththeGeneralWorkshopof theESPRITWorkingGroupCoFI. TheCommonFrameworkInitiative,started in1995andfundedsince1998asCoFIWG,iscenteredaroundthede nitionof theCommonAlgebraicSpeci cationLanguage(CASL). TheprogramstartedwithafulldaytutorialontheCASL,followedby32 presentations,severalofthemontheCASLaswell,organizedinparallelsessions duringthefollowingtwodays. Theparallelsessionsweredevotedto:logicsand proofs,concurrentprocesses,institutionsandcategories,applicationsandcase studies,higher-orderandparameterizedspeci cations,staticanalysis,software architectures,graphandtransformationrules. Themaintopicsoftheworkshopwere: algebraicspeci cation otherapproachestoformalspeci cation speci cationlanguagesandmethods termrewritingandproofsystems speci cationdevelopmentsystems(concepts,tools,etc. ) Theprogramcommitteeinvitedsubmissionsoffullpapersforpossibleinclusion inthisvolume,onthebasisoftheabstractsandthepresentationsatWADT 2001. Allthesubmissionsweresubjecttocarefulrefereeing,andtheselectio nof paperswasmadefollowingfurtherdiscussionbythefullprogramcommittee. Weareextremelygratefultoallworkshopparticipants,tothe(other)m- bersoftheprogramcommittee,andtotheexternalrefereesfortheircontribution tothescienti cqualityoftheworkshopandofthisvolume. TheWADTseriesissponsoredbyIFIPWG1. 3onFoundationsofSystem Speci cation(seebrics. dk/ pdm/IFIP-WG1. 3). November2001 MauraCerioliandGiannaReggio Organization ProgramCommittee MichelBidoit (Cachan,France) MauraCerioli (Genova,Italy) Hans-J orgKreowski (Bremen,Germany) PeterMosses,chair (Aarhus,Denmark) FernandoOrejas (Barcelona,Spain) FrancescoParisi-Presicce (Roma,Italy) GiannaReggio (Genova,Italy) DonaldSannella (Edinburgh,Scotland) AndrzejTarlecki (Warsaw,Poland) ExternalReferees EgidioAstesiano ManuelKoch MarekBednarczyk MikolajKonarski BenjaminBlanc AlexanderKurz AlexandreBoisseau SabineKuske TomaszBorzyszkowski SlawomirLasota PaoloBottoni ChristophLuth PaoloCenciarelli DirkPattinson HartmutEhrig Wies lawPawlo wski StevenEker Jean-ClaudeReynaud JeanGoubault-Larrecq MarkusRoggenbach PiotrHo man SponsoringInstitutions CoFI(CommonFrameworkInitiative),ESPRITWorkingGroup29432. DISI,Universit`adegliStudidiGenova. IFIPWG1. 3onFoundationsofSystemSpeci cation. TableofContents InteractiveRule-BasedSpeci cationwithanApplication toVisualLanguageDe nition . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1 R. Bardohl,M. Große-Rhode,andM. Simeoni AlgebraicAbstractions . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 21 M. BidoitandA. Boisseau CombiningLogics:ParchmentsRevisited. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 48 C. Caleiro,P. Mateus,J. Ramos,A. Sernadas CanonicalInstitutionsofBehaviour . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 71 J. F. CostaandH. Louren co TheLub eckTransformationSystem:ATransformationSystem forEquationalHigherOrderAlgebraicSpeci cations . . . . . . . . . . . . . . . . . . . 85 W. DoschandS. Magnussen OntheCompatibilityofModelandModel-ClassTransformations . . . . . . . 109 M. GajewskyandF. Parisi-Presicce VerifyingaSimplePipeli.

Condizione: New. Dieser Artikel ist ein Print on Demand Artikel und wird nach Ihrer Bestellung fuer Sie gedruckt. Interactive Rule-Based Specification with an Application to Visual Language Definition.- Algebraic Abstractions.- Combining Logics: Parchments Revisited.- Canonical Institutions of Behaviour.- The Luebeck Transformation System: A Transformation System for Eq.

Taschenbuch. Condizione: Neu. This item is printed on demand - Print on Demand Titel. Neuware -Allthesubmissionsweresubjecttocarefulrefereeing,andtheselectionof paperswasmadefollowingfurtherdiscussionbythefullprogramcommittee. Weareextremelygratefultoallworkshopparticipants,tothe(other)m- bersoftheprogramcommittee,andtotheexternalrefereesfortheircontribution tothescienti cqualityoftheworkshopandofthisvolume. TheWADTseriesissponsoredbyIFIPWG1. 3onFoundationsofSystem Speci cation(see brics. dk/¿pdm/IFIP-WG1. 3). November2001 MauraCerioliandGiannaReggio Organization ProgramCommittee MichelBidoit (Cachan,France) MauraCerioli (Genova,Italy) Hans-J¿orgKreowski (Bremen,Germany) PeterMosses,chair (Aarhus,Denmark) FernandoOrejas (Barcelona,Spain) FrancescoParisi-Presicce (Roma,Italy) GiannaReggio (Genova,Italy) DonaldSannella (Edinburgh,Scotland) AndrzejTarlecki (Warsaw,Poland) ExternalReferees EgidioAstesiano ManuelKoch MarekBednarczyk MikolajKonarski BenjaminBlanc AlexanderKurz AlexandreBoisseau SabineKuske TomaszBorzyszkowski SlawomirLasota PaoloBottoni ChristophLuth ¿ PaoloCenciarelli DirkPattinson HartmutEhrig Wies lawPawlo wski StevenEker Jean-ClaudeReynaud JeanGoubault-Larrecq MarkusRoggenbach PiotrHo man SponsoringInstitutions CoFI(CommonFrameworkInitiative),ESPRITWorkingGroup29432. DISI,Universit`adegliStudidiGenova. IFIPWG1. 3onFoundationsofSystemSpeci cation. TableofContents InteractiveRule-BasedSpeci cationwithanApplication toVisualLanguageDe nition . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1 R. Bardohl,M. Große-Rhode,andM. Simeoni AlgebraicAbstractions . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 21 M. BidoitandA. Boisseau CombiningLogics:ParchmentsRevisited. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 48 C. Caleiro,P. Mateus,J. Ramos,A. Sernadas CanonicalInstitutionsofBehaviour . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 71 J. F. CostaandH. Louren¿co TheLub ¿eckTransformationSystem:ATransformationSystem forEquationalHigSpringer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 360 pp. Englisch.

Taschenbuch. Condizione: Neu. 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 (u. a.) | Taschenbuch | x | Englisch | 2002 | Springer | EAN 9783540431596 | Verantwortliche Person für die EU: Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg, juergen[dot]hartmann[at]springer[dot]com | Anbieter: preigu Print on Demand.

Condizione: New. Print on Demand pp. 360 Illus.

Condizione: New. PRINT ON DEMAND pp. 360.