:facetid:toc:\"db/conf/fase/fase2008.bht\"OK:facetid:toc:db/conf/fase/fase2008.bhtWil M. P. van der AalstMarlon DumasFlorian GottschalkArthur H. M. ter HofstedeMarcello La RosaJan MendlingCorrectness-Preserving Configuration of Business Process Models.FASE46-612008Conference and Workshop Papersopenconf/fase/AalstDGHRM0810.1007/978-3-540-78743-3_4https://doi.org/10.1007/978-3-540-78743-3_4https://dblp.org/rec/conf/fase/AalstDGHRM08URL#5347121Dalal AlrajehAlessandra RussoSebastián UchitelDeriving Non-zeno Behavior Models from Goal Models Using ILP.FASE1-152008Conference and Workshop Papersopenconf/fase/AlrajehRU0810.1007/978-3-540-78743-3_1https://doi.org/10.1007/978-3-540-78743-3_1https://dblp.org/rec/conf/fase/AlrajehRU08URL#5347122Yoram AtirDavid HarelAsaf KleinbortShahar MaozObject Composition in Scenario-Based Programming.FASE301-3162008Conference and Workshop Papersopenconf/fase/AtirHKM0810.1007/978-3-540-78743-3_23https://doi.org/10.1007/978-3-540-78743-3_23https://dblp.org/rec/conf/fase/AtirHKM08URL#5347123Colin Atkinson 0001Dietmar StollOrthographic Modeling Environment.FASE93-962008Conference and Workshop Papersopenconf/fase/AtkinsonS0810.1007/978-3-540-78743-3_7https://doi.org/10.1007/978-3-540-78743-3_7https://dblp.org/rec/conf/fase/AtkinsonS08URL#5347124Therese BergBengt Jonsson 0001Harald RaffeltRegular Inference for State Machines Using Domains with Equality Tests.FASE317-3312008Conference and Workshop Papersopenconf/fase/BergJR0810.1007/978-3-540-78743-3_24https://doi.org/10.1007/978-3-540-78743-3_24https://dblp.org/rec/conf/fase/BergJR08URL#5347125Dénes BisztrayReiko HeckelHartmut EhrigVerification of Architectural Refactorings by Rule Extraction.FASE347-3612008Conference and Workshop Papersopenconf/fase/BisztrayHE0810.1007/978-3-540-78743-3_26https://doi.org/10.1007/978-3-540-78743-3_26https://dblp.org/rec/conf/fase/BisztrayHE08URL#5347126Laura BocchiStephen GortonStephan Reiff-MarganiecEngineering Service Oriented Applications: From StPowla Processes to SRML Models.FASE163-1782008Conference and Workshop Papersopenconf/fase/BocchiGR0810.1007/978-3-540-78743-3_13https://doi.org/10.1007/978-3-540-78743-3_13https://dblp.org/rec/conf/fase/BocchiGR08URL#5347127Artur BoronatJosé Meseguer 0001An Algebraic Semantics for MOF.FASE377-3912008Conference and Workshop Papersopenconf/fase/BoronatM0810.1007/978-3-540-78743-3_28https://doi.org/10.1007/978-3-540-78743-3_28https://dblp.org/rec/conf/fase/BoronatM08URL#5347128Juliana Küster Filipe BowlesSotiris MoschoyiannisWhen Things Go Wrong: Interrupting Conversations.FASE131-1452008Conference and Workshop Papersopenconf/fase/BowlesM0810.1007/978-3-540-78743-3_11https://doi.org/10.1007/978-3-540-78743-3_11https://dblp.org/rec/conf/fase/BowlesM08URL#5347129Achim D. BruckerBurkhart WolffHOL-OCL: A Formal Proof Environment for UML/OCL.FASE97-1002008Conference and Workshop Papersopenconf/fase/BruckerW0810.1007/978-3-540-78743-3_8https://doi.org/10.1007/978-3-540-78743-3_8https://dblp.org/rec/conf/fase/BruckerW08URL#5347130Javier CámaraGwen SalaünCarlos CanalClint: A Composition Language Interpreter (Tool Paper).FASE423-4272008Conference and Workshop Papersopenconf/fase/CamaraSC0810.1007/978-3-540-78743-3_31https://doi.org/10.1007/978-3-540-78743-3_31https://dblp.org/rec/conf/fase/CamaraSC08URL#5347131Gabriel CiobanuMaciej KoutnyModelling and Verification of Timed Interaction and Migration.FASE215-2292008Conference and Workshop Papersopenconf/fase/CiobanuK0810.1007/978-3-540-78743-3_16https://doi.org/10.1007/978-3-540-78743-3_16https://dblp.org/rec/conf/fase/CiobanuK08URL#5347132Andreas ClassenPatrick HeymansPierre-Yves SchobbensWhat's in a Feature: A Requirements Engineering Perspective.FASE16-302008Conference and Workshop Papersopenconf/fase/ClassenHS0810.1007/978-3-540-78743-3_2https://doi.org/10.1007/978-3-540-78743-3_2https://dblp.org/rec/conf/fase/ClassenHS08URL#5347133Subhajit DattaRobert van EngelenCOMP-REF: A Technique to Guide the Delegation of Responsibilities to Components in Software Systems.FASE332-3462008Conference and Workshop Papersopenconf/fase/DattaE0810.1007/978-3-540-78743-3_25https://doi.org/10.1007/978-3-540-78743-3_25https://dblp.org/rec/conf/fase/DattaE08URL#5347134Jonathan J. DaviesAlastair R. BeresfordAlan MycroftLanguage-Based Optimisation of Sensor-Driven Distributed Computing Applications.FASE407-4222008Conference and Workshop Papersopenconf/fase/DaviesBM0810.1007/978-3-540-78743-3_30https://doi.org/10.1007/978-3-540-78743-3_30https://dblp.org/rec/conf/fase/DaviesBM08URL#5347135Giovanni DenaroAlessandra GorlaMauro PezzèContextual Integration Testing of Classes.FASE246-2602008Conference and Workshop Papersopenconf/fase/DenaroGP0810.1007/978-3-540-78743-3_18https://doi.org/10.1007/978-3-540-78743-3_18https://dblp.org/rec/conf/fase/DenaroGP08URL#5347136Lucio Mauro DuarteJeff KramerSebastián UchitelTowards Faithful Model Extraction Based on Contexts.FASE101-1152008Conference and Workshop Papersopenconf/fase/DuarteKU0810.1007/978-3-540-78743-3_9https://doi.org/10.1007/978-3-540-78743-3_9https://dblp.org/rec/conf/fase/DuarteKU08URL#5347137Hartmut EhrigKarsten EhrigClaudia ErmelUlrike PrangeConsistent Integration of Models Based on Views of Visual Languages.FASE62-762008Conference and Workshop Papersopenconf/fase/EhrigEEP0810.1007/978-3-540-78743-3_5https://doi.org/10.1007/978-3-540-78743-3_5https://dblp.org/rec/conf/fase/EhrigEEP08URL#5347138Alessandro FantechiStefania GnesiAlessandro LapadulaFranco MazzantiRosario PuglieseFrancesco Tiezzi 0001A Model Checking Approach for Verifying COWS Specifications.FASE230-2452008Conference and Workshop Papersopenconf/fase/FantechiGLMPT0810.1007/978-3-540-78743-3_17https://doi.org/10.1007/978-3-540-78743-3_17https://dblp.org/rec/conf/fase/FantechiGLMPT08URL#5347139Mikolás JanotaGoetz BotterweckFormal Approach to Integrating Feature and Architecture Models.FASE31-452008Conference and Workshop Papersopenconf/fase/JanotaB0810.1007/978-3-540-78743-3_3https://doi.org/10.1007/978-3-540-78743-3_3https://dblp.org/rec/conf/fase/JanotaB08URL#5347140Jan JürjensJörg SchreckYijun YuAutomated Analysis of Permission-Based Security Using UMLsec.FASE292-2952008Conference and Workshop Papersopenconf/fase/JurjensSY0810.1007/978-3-540-78743-3_21https://doi.org/10.1007/978-3-540-78743-3_21https://dblp.org/rec/conf/fase/JurjensSY08URL#5347141Radu KopetzPierre-Etienne MoreauSoftware Quality Improvement Via Pattern Matching.FASE296-3002008Conference and Workshop Papersopenconf/fase/KopetzM0810.1007/978-3-540-78743-3_22https://doi.org/10.1007/978-3-540-78743-3_22https://dblp.org/rec/conf/fase/KopetzM08URL#5347142François LagardeHuáscar EspinozaFrançois TerrierCharles AndréSébastien GérardLeveraging Patterns on Domain Models to Improve UML Profile Definition.FASE116-1302008Conference and Workshop Papersopenconf/fase/LagardeETAG0810.1007/978-3-540-78743-3_10https://doi.org/10.1007/978-3-540-78743-3_10https://dblp.org/rec/conf/fase/LagardeETAG08URL#5347143Leen LambersLeonardo MarianiHartmut EhrigMauro PezzèA Formal Framework for Developing Adaptable Service-Based Applications.FASE392-4062008Conference and Workshop Papersopenconf/fase/LambersMEP0810.1007/978-3-540-78743-3_29https://doi.org/10.1007/978-3-540-78743-3_29https://dblp.org/rec/conf/fase/LambersMEP08URL#5347144Juan de LaraHans VangheluweTranslating Model Simulators to Analysis Models.FASE77-922008Conference and Workshop Papersopenconf/fase/LaraV0810.1007/978-3-540-78743-3_6https://doi.org/10.1007/978-3-540-78743-3_6https://dblp.org/rec/conf/fase/LaraV08URL#5347145Tiago MassoniRohit GheyiPaulo BorbaFormal Model-Driven Program Refactoring.FASE362-3762008Conference and Workshop Papersopenconf/fase/MassoniGB0810.1007/978-3-540-78743-3_27https://doi.org/10.1007/978-3-540-78743-3_27https://dblp.org/rec/conf/fase/MassoniGB08URL#5347146Tarek MellitiPascal PoizatSonia Ben MokhtarDistributed Behavioural Adaptation for the Automatic Composition of Semantic Services.FASE146-1622008Conference and Workshop Papersopenconf/fase/MellitiPM0810.1007/978-3-540-78743-3_12https://doi.org/10.1007/978-3-540-78743-3_12https://dblp.org/rec/conf/fase/MellitiPM08URL#5347147Naouel MohaYann-Gaël GuéhéneucAnne-Françoise Le MeurLaurence DuchienA Domain Analysis to Specify Design Defects and Generate Detection Algorithms.FASE276-2912008Conference and Workshop Papersopenconf/fase/MohaGMD0810.1007/978-3-540-78743-3_20https://doi.org/10.1007/978-3-540-78743-3_20https://dblp.org/rec/conf/fase/MohaGMD08URL#5347148Till MossakowskiLutz SchröderSergey Goncharov 0001A Generic Complete Dynamic Logic for Reasoning About Purity and Effects.FASE199-2142008Conference and Workshop Papersopenconf/fase/MossakowskiSG0810.1007/978-3-540-78743-3_15https://doi.org/10.1007/978-3-540-78743-3_15https://dblp.org/rec/conf/fase/MossakowskiSG08URL#5347149Fernando OrejasHartmut EhrigUlrike PrangeA Logic of Graph Constraints.FASE179-1982008Conference and Workshop Papersopenconf/fase/OrejasEP0810.1007/978-3-540-78743-3_14https://doi.org/10.1007/978-3-540-78743-3_14https://dblp.org/rec/conf/fase/OrejasEP08URL#5347150Jan SmansBart Jacobs 0002Frank PiessensWolfram SchulteAn Automatic Verifier for Java-Like Programs Based on Dynamic Frames.FASE261-2752008Conference and Workshop Papersopenconf/fase/SmansJPS0810.1007/978-3-540-78743-3_19https://doi.org/10.1007/978-3-540-78743-3_19https://dblp.org/rec/conf/fase/SmansJPS08URL#5347151José Luiz FiadeiroPaola InverardiFundamental Approaches to Software Engineering, 11th International Conference, FASE 2008, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2008, Budapest, Hungary, March 29-April 6, 2008. ProceedingsFASELecture Notes in Computer Science4961Springer2008Editorshipconf/fase/200810.1007/978-3-540-78743-3https://doi.org/10.1007/978-3-540-78743-3https://dblp.org/rec/conf/fase/2008URL#5430021