Fundamental Approaches to Software Engineering: 13th International Conference, FASE 2010, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2010, Paphos, Cyprus, March 20-28, 2010, ProceedingsETAPS 2010 was the 13th instance of the European Joint Conferences on T- oryand Practiceof Software. ETAPS is anannual federatedconference that was establishedin1998bycombininganumberofexistingandnewconferences. This yearitcomprisedtheusual'vesisterconferences(CC, ESOP, FASE, FOSSACS, TACAS), 19 satellite workshops (ACCAT, ARSPA-WITS, Bytecode, CMCS, COCV, DCC, DICE, FBTC, FESCA, FOSS-AMA, GaLoP, GT-VMT, LDTA, MBT, PLACES, QAPL, SafeCert, WGT, and WRLA) and seven invited l- tures (excluding those that were speci'c to the satellite events). The ?ve main conferences this year received 497 submissions (including 31 tool demonstration papers), 130 of which were accepted (10 tool demos), giving an overall acc- tance rate of 26%, with most of the conferences at around 24%. Congratulations thereforetoalltheauthorswhomadeittothe'nalprogramme Ihopethatmost of the other authors will still have found a way of participating in this exciting event, and that you will all continue submitting to ETAPS and contributing to make of it the best conference on software science and engineering. The events that comprise ETAPS address various aspects of the system - velopment process, including speci'cation, design, implementation, analysis and improvement. The languages, methodologies and tools which support these - tivities are all well within its scope. Di'erent blends of theory and practice are represented, withaninclinationtowardtheorywithapracticalmotivationonthe one hand and soundly based practice on the other. Many of the issues involved in software design apply to systems in general, including hardware systems, and the emphasis on software is not intended to be exclusive. ETAPS is a confederation in which each event retains its own identity, with a separate Programme Committee and proceedings. |
Other editions - View all
Common terms and phrases
abstraction actor algorithm analysis antipatterns application approach assignable clauses automated axioms behavior BSML call stack clone composition Computer ConCrash concurrent configuration consistency context corresponding data structures datagroups defined denote Deque detection diagram differencing doubly-linked lists DPOR dynamic entities evaluation example execution explicit heap feature formal fragment framework function graph transformation hardware Heidelberg heuristics IEEE implementation input instance interface events Java JUnit LNCS locations mapping match memory leak meta model constraints metamodel method model checking model class model element model transformation modelling languages morphism nodes object operations OperV parameters performance popularity metrics postcondition predicates properties RBAC reachability represents requirements rescheduling resource rewriting rules runtime scheduling Section semantics sequence sequence diagram SH-System Software Engineering software system source code specification Springer static step Taentzer target techniques thread tool tracking transitions tree variables verified