Patterns, Programming and Everything PDF
Preview Patterns, Programming and Everything
Patterns, Programming and Everything Karin K. Breitman (cid:2) R. Nigel Horspool Editors Patterns, Programming and Everything Editors KarinK.Breitman R.NigelHorspool InformaticsDepartment DepartmentofComputerScience PUC-Rio UniversityofVictoria RiodeJaneiro,RJ,Brazil Victoria,BC,Canada ISBN978-1-4471-2349-1 ISBN978-1-4471-2350-7(eBook) DOI10.1007/978-1-4471-2350-7 SpringerLondonHeidelbergNewYorkDordrecht LibraryofCongressControlNumber:2012938227 ©Springer-VerlagLondon2012 Thisworkissubjecttocopyright.AllrightsarereservedbythePublisher,whetherthewholeorpartof thematerialisconcerned,specificallytherightsoftranslation,reprinting,reuseofillustrations,recitation, broadcasting,reproductiononmicrofilmsorinanyotherphysicalway,andtransmissionorinformation storageandretrieval,electronicadaptation,computersoftware,orbysimilarordissimilarmethodology nowknownorhereafterdeveloped.Exemptedfromthislegalreservationarebriefexcerptsinconnection with reviews or scholarly analysis or material supplied specifically for the purpose of being entered and executed on a computer system, for exclusive use by the purchaser of the work. Duplication of this publication or parts thereof is permitted only under the provisions of the Copyright Law of the Publisher’slocation,initscurrentversion,andpermissionforusemustalwaysbeobtainedfromSpringer. PermissionsforusemaybeobtainedthroughRightsLinkattheCopyrightClearanceCenter.Violations areliabletoprosecutionundertherespectiveCopyrightLaw. Theuseofgeneraldescriptivenames,registerednames,trademarks,servicemarks,etc.inthispublication doesnotimply,evenintheabsenceofaspecificstatement,thatsuchnamesareexemptfromtherelevant protectivelawsandregulationsandthereforefreeforgeneraluse. Whiletheadviceandinformationinthisbookarebelievedtobetrueandaccurateatthedateofpub- lication,neithertheauthorsnortheeditorsnorthepublishercanacceptanylegalresponsibilityforany errorsoromissionsthatmaybemade.Thepublishermakesnowarranty,expressorimplied,withrespect tothematerialcontainedherein. Printedonacid-freepaper SpringerispartofSpringerScience+BusinessMedia(www.springer.com) Foreword Iwasabsolutelydelightedtobeaskedtowritetheforwardtothisbook,whichisa tributetoafriend,acolleagueandagreatcomputerscientist. I have known Judith since we did our PhDs together at the University of Southampton. We both graduated in 1977 from the Department of Mathematics. IwasstudyingPureMathematics,JudithwasoneoftheminorityintheDepartment studying the new subject of Computer Science and she has been a pioneer of the subjecteversince. She came to Southampton from South Africa to work with David Barron. In thosedaystheywerebreakingnewgroundbydevelopingnewcompilertechniques to overcome the disastrous performance issues of the computers of that era. The significance of the work was demonstrated through its take up by industry. After herPhDwasfinished,Judithquicklygraspedthesignificanceofthenewlyemerg- ing Ada programming language for distributed programming—a topic which few were ready to recognise or grapple with at the time—and became an international expertinthedevelopmentofthelanguageinnotimeatall.Herbookwritingcareer startedaroundthistimewithhermonographonDataAbstractioninProgramming Languages. She continued to develop her ideas about distributed programming and paral- lel computing throughout the 1980’s during which time we both found ourselves backatSouthamptonworkingintheDepartmentofComputerScience.Judithwas atremendoushelptomeatthetimebecauseofherwealthofexperienceinresearch andteachingcomputerscience.Iwasanewcomertothefieldandfoundherbooks onprogramming,particularlyPascalwhichwas the standardteachinglanguageof thetime,botheasytoreadandincrediblyrichinpracticalexamples.Shemanaged to bring the language alive to her readers, which is something that seems to elude mostauthorsofcomputersciencetexts. Alwaysaheadofthecrowd,shespottedtheimportanceofJavainthepost-Web era,andwrotethefirstJavatext-book.HerworkonJavaweb-frameworkswastaken upbyindustryandputherandherteamatPretoriafirmlyontheinternationalmap. She then moved onto the world of .NET and C#. Her work in this area was very v vi Foreword highlyvaluedbyMicrosoft,andshewasfrequentlyaskedtospeakatmeetingsor- ganisedbythecompany—aportentofthingstocome. Through her books, her frequent appearance at conferences and her work on international committees such as IFIP, Judith became very well known on the in- ternationalstage.Herbookshavebeentranslatedintofiveotherlanguagesandsold aroundtheworld.Sheisalwaysoneofthefirsttospotnewtrendsincomputersci- enceandtobothapplytheminherresearchandintroducethemtoherstudentsand thewiderworldthroughherbooks. Asonewouldexpectfromreadinghertextbooks,Judithisawonderfulteacher. Shereallycaresaboutherstudentsandworkstoinstilinthemtheloveforcomputer scienceshehasherself.Sheisalsoaveryexperiencedresearchsupervisorandher studentscannowbefoundinanynumberofresearchlaboratoriesaroundtheworld. Over the years, her work has been taken up and used by industry and she was a valuedindustrialconsultant.Buildingonthisandeverreadyforachallenge,Judith moved both continents and career paths to join Microsoft Research as Director of ComputerSciencein2009.Shehasthrownherselfintothisnewrolewithherusual mixofenthusiasmandprofessionalismandhasmadetheroleverymuchherown. Having talked so much about her career and the impact she has had on the in- ternational computer science community, I must also add that Judith is one of the kindestmostgenerouspeopleithasbeenmyprivilegetoworkwithandIamproud to be able to call her one of my closest friends. She gives far more than she takes fromherinteractionswitheveryoneshemeets. Thelistofauthorsofthepapersinthisbookistestamenttothefactthatsomany leadingcomputerscientistsaroundtheworldfeelthesamewayasIdo. Southampton,UK WendyHall Preface Thisvolumecontainscontributionswrittenbyauthorswhohaveallworkedinsome capacity with Judith Bishop during her distinguished career. When Judith reached a certain milestone in her age (and we will leave the reader to figure out which one), we had the idea of putting together this book in recognition of her career and her accomplishments. We contacted various researchers and industry profes- sionals who have worked with Judith and asked them if they would be willing to contribute material for this book. Their responses were overwhelmingly positive. Pleasenotethatwemadeadeliberatedecisionnottoinviteanycolleaguesfromher currentemployer,MicrosoftResearch,tocontributematerialasthismighthaveled toconflictofinterestissues.HoweverwemadeanexceptionforTonyHeywhois Judith’s superior at Microsoft Research; he graciously agreedto providean After- wordforthisvolume.SinceTonyrepresentsthelastplacewhereJudithhasworked, we thought that it would be symmetric to have a Foreword from someone at the firstplacewheresheworked.ThatsomeoneisWendyHallfromtheUniversityof Southampton.Wearegratefultohertoo. The material in this book spans a wide variety of research areas. The variety reflectsthemanyresearchinterestsofJudithandhercollaborators,andalsoreflects her transitions from one important research area to another over the course of her career.WehavealsoincludedtwocontributionswhichareanythingbutPatterns(or Programming).Weleaveittothereadertodiscoverwhichonestheseare.Wehope youwillfindthemtobeasamusingaswedid. We thank every author for contributing their time and energy into helping this book come to fruition. We also thank Springer for publishing this volume and for providingtheirhelp. Victoria,Canada R.NigelHorspool RiodeJaneiro,Brazil KarinBreitman vii Contents AssessingDependabilityforMobileandUbiquitousSystems:IsTherea RoleforSoftwareArchitectures? . . . . . . . . . . . . . . . . . . . . 1 MarcoAutili,PaolaInverardi,andMassimoTivoli ABestiaryofOverlookedDesignPatterns . . . . . . . . . . . . . . . . . . 13 JohnAycock EndUserProgramminginSmartHome . . . . . . . . . . . . . . . . . . . 19 VilmosBilicki,ZoltánRak,MiklósKasza,ÁdámVégh,RóbertBéládi, andTiborGyimóthy ReconceptualizingBottom-UpTreeRewriting . . . . . . . . . . . . . . . 31 K.JohnGough Automated Adaptation of Component Interfaces with Type Based Adaptation . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 45 ThomasGschwind TheBenefitsofBadTeaching . . . . . . . . . . . . . . . . . . . . . . . . . 63 DerrickG.Kourie SSA-BasedSimulatedExecution . . . . . . . . . . . . . . . . . . . . . . . 75 JonasLundberg,MathiasHedenborg,andWelfLöwe TowardsaCalculusofObjectPrograms . . . . . . . . . . . . . . . . . . . 91 BertrandMeyer FormalSpecificationasHigh-LevelProgramming:TheASSLApproach. 129 EmilVassevandMikeHinchey AtomicityinReal-TimeComputing . . . . . . . . . . . . . . . . . . . . . 147 JanVitek ix x Contents TuningKeywordPatternMatching. . . . . . . . . . . . . . . . . . . . . . 167 BruceW.Watson AnAfterwordforJudith:TheNextPhaseofHerCareer . . . . . . . . . 173 TonyHey AuthorIndex . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 175 Contributors Marco Autili Dipartimento di Informatica, Università degli Studi di L’Aquila, L’Aquila,Italy John Aycock Department of Computer Science, University of Calgary, Calgary, Alberta,Canada RóbertBéládi DepartmentofSoftwareEngineering,UniversityofSzeged,Szeged, Hungary VilmosBilicki FrontEndARTSoftwareLtd,Szeged,Hungary K.JohnGough SchoolofComputerScience,QueenslandUniversityofTechnol- ogy,Brisbane,Australia ThomasGschwind ZurichResearchLaboratory,IBM,Rüschlikon,Switzerland Tibor Gyimóthy Department of Software Engineering, University of Szeged, Szeged,Hungary MathiasHedenborg SchoolofComputerScience,Mathematics,andPhysics,Lin- naeusUniversity,Växjö,Sweden Mike Hinchey Lero–the Irish Software Engineering Research Centre, University ofLimerick,Limerick,Ireland Paola Inverardi Dipartimento di Informatica, Università degli Studi di L’Aquila, L’Aquila,Italy MiklósKasza DepartmentofSoftwareEngineering,UniversityofSzeged,Szeged, Hungary Derrick G. Kourie Fastar Research Groups, Department of Computer Science, UniversityofPretoria,Pretoria,SouthAfrica WelfLöwe SchoolofComputerScience,Mathematics,andPhysics,LinnaeusUni- versity,Växjö,Sweden xi xii Contributors Jonas Lundberg School of Computer Science, Mathematics, and Physics, Lin- naeusUniversity,Växjö,Sweden BertrandMeyer ITMO&EiffelSoftware,ETHZurich,Zürich,Switzerland ZoltánRak FrontEndARTSoftwareLtd,Szeged,Hungary Massimo Tivoli Dipartimento di Informatica, Università degli Studi di L’Aquila, L’Aquila,Italy EmilVassev Lero–theIrishSoftwareEngineeringResearchCentre,Universityof Limerick,Limerick,Ireland ÁdámVégh DepartmentofSoftwareEngineering,Universityof Szeged,Szeged, Hungary JanVitek ComputerScienceFaculty,PurdueUniversity,WestLafayette,USA BruceW.Watson FASTARResearchGroup,CenterforKnowledgeDynamicsand Decision-Making,StellenboschUniversity,Stellenbosch,RepublicofSouthAfrica
The list of books you might like
