eng

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

Springer Berlin Heidelberg
2002

Taschenbuch
360 Seiten
ISBN 9783540431596

Herausgeber: Gianna Reggio / Maura Cerioli

Allthesubmissionsweresubjecttocarefulrefereeing,andtheselectionof paperswasmadefollowingfurtherdiscussionbythefullprogramcommittee. Weareextremelygratefultoallworkshopparticipants,tothe(other)m- bersoftheprogramcommittee,andtotheexternalrefereesfortheircontribution tothescienti?cqualityoftheworkshopandofthisvolume. TheWADTseriesissponsoredbyIFIPWG1. 3onFoundationsofSystem Speci?cation(seehttp://www. 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 . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .

Mehr Weniger

. . . . . . . . . 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 forEquationalHig

53,49 €

inkl. MwSt.
zzgl. Versand

in Kürze