:facetid:toc:\"db/conf/fase/fase2004.bht\"OK:facetid:toc:db/conf/fase/fase2004.bhtSerge AbiteboulDistributed Information Management with XML and Web Services.FASE1-112004Conference and Workshop Papersclosedconf/fase/Abiteboul0410.1007/978-3-540-24721-0_1https://doi.org/10.1007/978-3-540-24721-0_1https://dblp.org/rec/conf/fase/Abiteboul04URL#6037356Roswitha BardohlHartmut EhrigJuan de LaraGabriele TaentzerIntegrating Meta-modelling Aspects with Graph Transformation for Efficient Visual Language Definition and Model Manipulation.FASE214-2282004Conference and Workshop Papersclosedconf/fase/BardohlELT0410.1007/978-3-540-24721-0_16https://doi.org/10.1007/978-3-540-24721-0_16https://dblp.org/rec/conf/fase/BardohlELT04URL#6037357Gilles BartheGuillaume DufayA Tool-Assisted Framework for Certified Bytecode Verification.FASE99-1132004Conference and Workshop Papersclosedconf/fase/BartheD0410.1007/978-3-540-24721-0_7https://doi.org/10.1007/978-3-540-24721-0_7https://dblp.org/rec/conf/fase/BartheD04URL#6037358Laura BocchiCompositional Nested Long Running Transactions.FASE194-2082004Conference and Workshop Papersclosedconf/fase/Bocchi0410.1007/978-3-540-24721-0_14https://doi.org/10.1007/978-3-540-24721-0_14https://dblp.org/rec/conf/fase/Bocchi04URL#6037359Ruth BreuGerhard PoppActor-Centric Modeling of User Rights.FASE165-1792004Conference and Workshop Papersclosedconf/fase/BreuP0410.1007/978-3-540-24721-0_12https://doi.org/10.1007/978-3-540-24721-0_12https://dblp.org/rec/conf/fase/BreuP04URL#6037360Robert ChatleySusan EisenbachJeff KramerJeff MageeSebastián UchitelPredictable Dynamic Plugin Systems.FASE129-1432004Conference and Workshop Papersclosedconf/fase/ChatleyEKMU0410.1007/978-3-540-24721-0_9https://doi.org/10.1007/978-3-540-24721-0_9https://dblp.org/rec/conf/fase/ChatleyEKMU04URL#6037361Adam ChildsJesse GreenwaldVenkatesh Prasad RanganathXianghua DengMatthew B. DwyerJohn HatcliffGeorg JungPrashant ShantiGurdip SinghCadena: An Integrated Development Environment for Analysis, Synthesis, and Verification of Component-Based Systems.FASE160-1642004Conference and Workshop Papersclosedconf/fase/ChildsGRDDHJSS0410.1007/978-3-540-24721-0_11https://doi.org/10.1007/978-3-540-24721-0_11https://dblp.org/rec/conf/fase/ChildsGRDDHJSS04URL#6037362Si Won ChoiSoo Ho ChangSoo Dong KimA Systematic Methodology for Developing Component Frameworks.FASE359-3732004Conference and Workshop Papersclosedconf/fase/ChoiCK0410.1007/978-3-540-24721-0_27https://doi.org/10.1007/978-3-540-24721-0_27https://dblp.org/rec/conf/fase/ChoiCK04URL#6037363Christine ChoppyGianna ReggioImproving Use Case Based Requirements Using Formally Grounded Specifications.FASE244-2602004Conference and Workshop Papersclosedconf/fase/ChoppyR0410.1007/978-3-540-24721-0_18https://doi.org/10.1007/978-3-540-24721-0_18https://dblp.org/rec/conf/fase/ChoppyR04URL#6037364Alexander EgyedConsistent Adaptation and Evolution of Class Diagrams during Refinement.FASE37-532004Conference and Workshop Papersclosedconf/fase/Egyed0410.1007/978-3-540-24721-0_3https://doi.org/10.1007/978-3-540-24721-0_3https://dblp.org/rec/conf/fase/Egyed04URL#6037365Islam A. M. El-MaddahT. S. E. MaibaumThe GOPCSD Tool: An Integrated Development Environment for Process Control Requirements and Design.FASE261-2662004Conference and Workshop Papersclosedconf/fase/El-MaddahM0410.1007/978-3-540-24721-0_19https://doi.org/10.1007/978-3-540-24721-0_19https://dblp.org/rec/conf/fase/El-MaddahM04URL#6037366Carlo GhezziVincenzo MartenaGian Pietro PiccoEnhancing Remote Method Invocation through Type-Based Static Analysis.FASE339-3532004Conference and Workshop Papersclosedconf/fase/GhezziMP0410.1007/978-3-540-24721-0_25https://doi.org/10.1007/978-3-540-24721-0_25https://dblp.org/rec/conf/fase/GhezziMP04URL#6037367Grégoire HamonJohn M. RushbyAn Operational Semantics for Stateflow.FASE229-2432004Conference and Workshop Papersclosedconf/fase/HamonR0410.1007/978-3-540-24721-0_17https://doi.org/10.1007/978-3-540-24721-0_17https://dblp.org/rec/conf/fase/HamonR04URL#6037368Haifeng HeNeelam GuptaAutomated Debugging Using Path-Based Weakest Preconditions.FASE267-2802004Conference and Workshop Papersclosedconf/fase/HeG0410.1007/978-3-540-24721-0_20https://doi.org/10.1007/978-3-540-24721-0_20https://dblp.org/rec/conf/fase/HeG04URL#6037369Engelbert HubbersErik PollReasoning about Card Tears and Transactions in Java Card.FASE114-1282004Conference and Workshop Papersclosedconf/fase/HubbersP0410.1007/978-3-540-24721-0_8https://doi.org/10.1007/978-3-540-24721-0_8https://dblp.org/rec/conf/fase/HubbersP04URL#6037370Marieke HuismanDilian GurovChristoph Sprenger 0001Gennady ChugunovChecking Absence of Illicit Applet Interactions: A Case Study.FASE84-982004Conference and Workshop Papersclosedconf/fase/HuismanGSC0410.1007/978-3-540-24721-0_6https://doi.org/10.1007/978-3-540-24721-0_6https://dblp.org/rec/conf/fase/HuismanGSC04URL#6037371Georg JungJohn HatcliffVenkatesh Prasad RanganathA Correlation Framework for the CORBA Component Model.FASE144-1592004Conference and Workshop Papersclosedconf/fase/JungHR0410.1007/978-3-540-24721-0_10https://doi.org/10.1007/978-3-540-24721-0_10https://dblp.org/rec/conf/fase/JungHR04URL#6037372Dae-Kyoo KimIndrakshi RayRobert B. FranceNa LiModeling Role-Based Access Control Using Parameterized UML Models.FASE180-1932004Conference and Workshop Papersclosedconf/fase/KimRFL0410.1007/978-3-540-24721-0_13https://doi.org/10.1007/978-3-540-24721-0_13https://dblp.org/rec/conf/fase/KimRFL04URL#6037373Yves LedruLydie du BousquetOlivier MauryPierre BontronFiltering TOBIAS Combinatorial Test Suites.FASE281-2942004Conference and Workshop Papersclosedconf/fase/LedruBMB0410.1007/978-3-540-24721-0_21https://doi.org/10.1007/978-3-540-24721-0_21https://dblp.org/rec/conf/fase/LedruBMB04URL#6037374Tim McCombRefactoring Object-Z Specifications.FASE69-832004Conference and Workshop Papersclosedconf/fase/McComb0410.1007/978-3-540-24721-0_5https://doi.org/10.1007/978-3-540-24721-0_5https://dblp.org/rec/conf/fase/McComb04URL#6037375Daniel MoldtJan OrtmannDaGen: A Tool for Automatic Translation from DAML-S to High-Level Petri Nets.FASE209-2132004Conference and Workshop Papersclosedconf/fase/MoldtO0410.1007/978-3-540-24721-0_15https://doi.org/10.1007/978-3-540-24721-0_15https://dblp.org/rec/conf/fase/MoldtO04URL#6037376Henry MucciniMarcio S. DiasDebra J. RichardsonSystematic Testing of Software Architectures in the C2 Style.FASE295-3092004Conference and Workshop Papersclosedconf/fase/MucciniDR0410.1007/978-3-540-24721-0_22https://doi.org/10.1007/978-3-540-24721-0_22https://dblp.org/rec/conf/fase/MucciniDR04URL#6037377Peter Csaba ÖlveczkyJosé Meseguer 0001Specification and Analysis of Real-Time Systems Using Real-Time Maude.FASE354-3582004Conference and Workshop Papersclosedconf/fase/OlveczkyM0410.1007/978-3-540-24721-0_26https://doi.org/10.1007/978-3-540-24721-0_26https://dblp.org/rec/conf/fase/OlveczkyM04URL#6037378Gruia-Catalin RomanChristine Julien 0001Jamie PaytonA Formal Treatment of Context-Awareness.FASE12-362004Conference and Workshop Papersclosedconf/fase/RomanJP0410.1007/978-3-540-24721-0_2https://doi.org/10.1007/978-3-540-24721-0_2https://dblp.org/rec/conf/fase/RomanJP04URL#6037379Peter SaffreyMuffy CalderOptimising Communication Structure for Model Checking.FASE310-3232004Conference and Workshop Papersclosedconf/fase/SaffreyC0410.1007/978-3-540-24721-0_23https://doi.org/10.1007/978-3-540-24721-0_23https://dblp.org/rec/conf/fase/SaffreyC04URL#6037380Ioana SoraVladimir CretuPierre VerbaetenYolande BerbersAutomating Decisions in Component Composition Based on Propagation of Requirements.FASE374-3882004Conference and Workshop Papersclosedconf/fase/SoraCVB0410.1007/978-3-540-24721-0_28https://doi.org/10.1007/978-3-540-24721-0_28https://dblp.org/rec/conf/fase/SoraCVB04URL#6037381Fei XieVladimir LevinRobert P. KurshanJames C. BrowneTranslating Software Designs for Model Checking.FASE324-3382004Conference and Workshop Papersclosedconf/fase/XieLKB0410.1007/978-3-540-24721-0_24https://doi.org/10.1007/978-3-540-24721-0_24https://dblp.org/rec/conf/fase/XieLKB04URL#6037382Jianjun Zhao 0001Baowen XuMeasuring Aspect Cohesion.FASE54-682004Conference and Workshop Papersclosedconf/fase/ZhaoX0410.1007/978-3-540-24721-0_4https://doi.org/10.1007/978-3-540-24721-0_4https://dblp.org/rec/conf/fase/ZhaoX04URL#6037383Michel WermelingerTiziana MargariaFundamental Approaches to Software Engineering, 7th International Conference, FASE 2004, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2004 Barcelona, Spain, March 29 - april 2, 2004, ProceedingsFASELecture Notes in Computer Science2984Springer2004Editorshipconf/fase/200410.1007/B95935https://doi.org/10.1007/b95935https://dblp.org/rec/conf/fase/2004URL#6097181