Recent Trends in Algebraic Development Techniques

Angebote / Angebote:

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