studyjavmoo.com

BibliographyPrimaryReferences[ABL08]vanderAalst,W.
M.
P.
,Lassen,K.
B.
:Translatingunstructuredwork-owprocessestoreadableBPEL:Theoryandimplementation.
Infor-mationandSoftwareTechnology50(3),131–159(2008)[Abr+04]Abran,A.
,etal.
:GuidetotheSoftwareEngineeringBodyofKnowl-edge-SWEBOK.
2004version.
IEEEPress(2004)ISBN:0769510000[Aho+06]Aho,A.
V.
,etal.
:Compilers:Principles,Techniques,andTools,2ndedn.
AddisonWesley(2006)ISBN:0321486811[AK02]Atkinson,C.
,Kühne,T.
:RearchitectingtheUMLinfrastruc-ture.
ACMTransactionsonModelingandComputerSimulation(TOMACS)12(4),290–321(2002)[AK03]Atkinson,C.
,Kühne,T.
:Model-DrivenDevelopment:AMetamodel-ingFoundation.
IEEESoftware20(5),36–41(2003)[App98]Appel,A.
W.
:ModernCompilerImplementationinJava.
CambridgeUniversityPress(1998)ISBN:0521583888[BA04]Beck,K.
,Andres,C.
:ExtremeProgrammingExplained:EmbraceChange,2ndedn.
Addison-Wesley(2004)ISBN:0321278658[Bac+63]Backus,J.
W.
,etal.
:RevisedreportonthealgorithmlanguageALGOL60.
CommunicationsoftheACM6(1),1–17(1963);Ed.
byPeterNaur[Bag02]Bagnall,B.
:CoreLegoMindstormsTMProgramming.
PrenticeHallPTR(2002)ISBN:0130093645[Bah+07]Bahlo,T.
,etal.
:PG494L2EE:LightweightProcessCoordination&J2EE.
FinalReport.
InGerman,TUDortmund,ChairofProgram-mingSystems(2007),https://eldorado.
tu-dortmund.
de/bitstream/2003/24525/1/PG494-Endbericht.
pdf[Bak+07]Bakera,M.
,etal.
:Property-drivenfunctionalhealing:Playingagainstundesiredbehavior.
In:ProceedingsoftheBusinessProcessEngineer-ing,CONQUEST2007,pp.
363–372,dpunkt(2007)[Bak+09]Bakera,M.
,etal.
:Tool-supportedenhancementofdiagnosisinmodel-drivenverication.
InnovationsinSystemsandSoftwareEngineer-ing5(3),211–228(2009)224Bibliography[Bak+10]Bakera,M.
,etal.
:ExtractingComponent-OrientedBehaviourforSelf-HealingEnabling.
In:IEEEInternationalWorkshoponEngineeringofAutonomicandAutonomousSystems(EASe),pp.
152–161(2010)[BAPM83]Ben-Ari,M.
,Pnueli,A.
,Manna,Z.
:Thetemporallogicofbranchingtime.
ActaInformatica20(3),207–226(1983)[BBF09]Blair,G.
,Bencomo,N.
,France,R.
B.
:Models@run.
time.
Com-puter42,22–27(2009)[BC11]Broy,M.
,Cengarle,M.
V.
:UMLformalsemantics:lessonslearned.
In:SoftwareandSystemsModeling,pp.
1–6(2011)[Bec02]Beck,K.
:TestDrivenDevelopment:ByExample.
Addison-Wesley(2002)ISBN:0321146530[Bec04]Beck,K.
:JUnitPocketGuide(2004)ISBN:0596007434[Ben08]Bentmann,B.
:EineUML-PerspektivefürjABCmitAnbindunganStandard-UML-Tools.
DiplomaThesis.
TUDortmund,ChairofPro-grammingSystems(2008)(inGerman)[Beu10]Beulshausen,B.
:AutomatischesGenerierenvonPerlCodeausgras-chenProzessmodellen.
DiplomaThesis,TUDortmund,ChairofPro-grammingSystems(2010)(inGerman)[BG01]Bézivin,J.
,Gerbé,O.
:TowardsaPreciseDenitionoftheOMG/MDAFramework.
In:Proceedingsofthe16thIEEEInternationalConfer-enceonAutomatedSoftwareEngineering,ASE2001,pp.
273–280.
IEEEComputerSociety(2001)[BGL05]Blech,J.
O.
,Glesner,S.
,Leitner,J.
:FormalVericationofJavaCodeGenerationfromUMLModels.
FujabaDays(2005)[BJM09]Bakera,M.
,Jrges,S.
,Margaria,T.
:TestyourStrategy:GraphicalConstructionofStrategiesforConnect-Four.
In:Proceedingsofthe14thIEEEInternationalConferenceonEngineeringofComplexCom-puterSystems,ICECCS2009,pp.
172–181.
IEEEComputerSociety(2009)[Bla01]Blackwell,A.
F.
:PictorialRepresentationandMetaphorinVisualLan-guageDesign.
JournalofVisualLanguages&Computing,223–252(2001)[Bla96]Blackwell,A.
F.
:MetacognitiveTheoriesofVisualProgramming:WhatdowethinkwearedoingIn:Proceedingsofthe1996IEEESymposiumonVisualLanguages,pp.
240–246.
IEEEComputerSoci-ety(1996)[BM06]Bajohr,M.
,Margaria,T.
:MaTRICS:Aservicebasedmanagementtoolforremoteintelligentcongurationofsystems.
InnovationsinSystemsandSoftwareEngineering2(2),99–111(2006)[BM08]Bajohr,M.
,Margaria,T.
:HighServiceAvailabilityinMaTRICSfortheOCS.
In:Margaria,T.
,Steen,B.
(eds.
)ISoLA2008.
CCIS,vol.
17,pp.
572–586.
Springer,Heidelberg(2008)[Bra+08]Bravenboer,M.
,etal.
:Stratego/XT0.
17.
Alanguageandtoolsetforprogramtransformation.
ScienceofComputerProgramming72(1-2),52–70(2008)[BS07]Beust,C.
,Suleiman,H.
:NextGenerationJavaTesting:TestNGandAdvancedConcepts.
Addison-Wesley(2007)ISBN:0321503104[Bur+05]Burdy,L.
,etal.
:AnoverviewofJMLtoolsandapplications.
Interna-tionalJournalonSoftwareToolsforTechnologyTransfer(STTT)7(3),212–232(2005)Bibliography225[Béz05]Bzivin,J.
:Ontheunicationpowerofmodels.
SoftwareandSystemModeling4(2),171–188(2005)[Béz+04]Bézivin,J.
,Jouault,F.
,Rosenthal,P.
,Valduriez,P.
:ModelingintheLargeandModelingintheSmall.
In:Amann,U.
,Akit,M.
,Rensink,A.
(eds.
)MDAFA2003.
LNCS,vol.
3599,pp.
33–46.
Springer,Heidel-berg(2005)[Béz+05]Bézivin,J.
,etal.
:BridgingtheMS/DSLToolsandtheEclipseMod-elingFramework.
In:ProceedingsoftheInternationalWorkshoponSoftwareFactoriesatOOPSLA2005(2005)[Can+08]Can,M.
,etal.
:PG513DoPAC:DortmundOnlinePublicAccessCat-alog.
FinalReport.
TUDortmund,ChairofProgrammingSystems(2008)(inGerman)[CE00]Czarnecki,K.
,Eisenecker,U.
W.
:Generativeprogramming-methods,toolsandapplications.
Addison-Wesley(2000)ISBN:9780201309775[CE81]Clarke,E.
M.
,AllenEmerson,E.
:DesignandSynthesisofSynchroniza-tionSkeletonsUsingBranching-TimeTemporalLogic.
In:Engeler,E.
(ed.
)LogicofPrograms1979.
LNCS,vol.
125,pp.
52–71.
Springer,Heidelberg(1981)[CGP99]Clarke,E.
M.
,Grumberg,O.
,Peled,D.
:ModelChecking.
MITPress(1999)ISBN:9780262032704[CH06]Czarnecki,K.
,Helsen,S.
:Feature-basedsurveyofmodeltransforma-tionapproaches.
IBMSystemsJournal45(3),621–645(2006)[Cha+05]Chalin,P.
,Kiniry,J.
R.
,Leavens,G.
T.
,Poll,E.
:BeyondAssertions:AdvancedSpecicationandVericationwithJMLandESC/Java2.
In:deBoer,F.
S.
,Bonsangue,M.
M.
,Graf,S.
,deRoever,W.
-P.
(eds.
)FMCO2005.
LNCS,vol.
4111,pp.
342–363.
Springer,Heidelberg(2006)[Cha05]Charette,R.
N.
:WhySoftwareFails.
IEEESpectrum42(9),42–49(2005)[CHE04]Czarnecki,K.
,Helsen,S.
,Eisenecker,U.
:StagedCongurationUsingFeatureModels.
In:Nord,R.
L.
(ed.
)SPLC2004.
LNCS,vol.
3154,pp.
266–283.
Springer,Heidelberg(2004)[CL02]Cheon,Y.
,Leavens,G.
T.
:AruntimeassertioncheckerfortheJavaModelingLanguage(JML).
In:ProceedingsoftheInternationalCon-ferenceonSoftwareEngineeringResearchandPractice(SERP2002),pp.
322–328.
CSREAPress(2002)[Cla+11]Clarke,D.
,Diakov,N.
,Hhnle,R.
,Johnsen,E.
B.
,Schaefer,I.
,Schfer,J.
,Schlatte,R.
,Wong,P.
Y.
H.
:ModelingSpatialandTemporalVari-abilitywiththeHATSAbstractBehavioralModelingLanguage.
In:Bernardo,M.
,Issarny,V.
(eds.
)SFM2011.
LNCS,vol.
6659,pp.
417–457.
Springer,Heidelberg(2011)[CN01]Clements,P.
C.
,Northrop,L.
:SoftwareProductLines:PracticesandPatterns.
SEISeriesinSoftwareEngineering.
Addison-Wesley(2001)ISBN:978201703320[CNW89]Chen,M.
,NunamakerJr.
,J.
F.
,SueWeber,E.
:Computer-aidedsoftwareengineering:presentstatusandfuturedirections.
SIGMISDatabase20(1),7–13(1989)[Coo+07]Cook,S.
,etal.
:DomainSpecicDevelopmentwithVisualStudioDSLTools.
Addison-Wesley(2007)ISBN:9780321398208226Bibliography[CV09]Cerpa,N.
,Verner,J.
M.
:WhydidyourprojectfailCommunicationsoftheACM52(12),130–134(2009)ISSN:0001-0782[Cza04]Czarnecki,K.
:OverviewofGenerativeSoftwareDevelopment.
In:Bantre,J.
-P.
,Fradet,P.
,Giavitto,J.
-L.
,Michel,O.
(eds.
)UPP2004.
LNCS,vol.
3566,pp.
326–341.
Springer,Heidelberg(2005)[CV02]Czarnecki,K.
,sterbye,K.
,Vlter,M.
:GenerativeProgramming.
In:Hernández,J.
,Moreira,A.
(eds.
)ECOOP2002Workshops.
LNCS,vol.
2548,pp.
15–29.
Springer,Heidelberg(2002)[DAC99]Dwyer,M.
B.
,Avrunin,G.
S.
,Corbett,J.
C.
:PatternsinPropertySpec-icationsforFinite-StateVerication.
In:Proceedingsofthe21stIn-ternationalConferenceonSoftwareEngineering,ICSE1999,pp.
411–420.
IEEECSPress(1999)[Dal+99]Dalal,S.
R.
,etal.
:Model-basedtestinginpractice.
In:Proceedingsofthe21stInternationalConferenceonSoftwareEngineering,ICSE1999,pp.
285–294.
ACM(1999)[DF06]Denney,E.
,Fischer,B.
:ExtendingSourceCodeGeneratorsforEvidence-BasedSoftwareCertication.
In:ProceedingsoftheSecondInternationalSymposiumonLeveragingApplicationsofFormalMeth-ods,VericationandValidation(ISoLA),pp.
138–145.
IEEECom-puterSociety(2006)[DGBP11]Dumas,M.
,García-Bauelos,L.
,Polyvyanyy,A.
:UnravelingUnstruc-turedProcessModels.
In:Mendling,J.
,Weidlich,M.
,Weske,M.
(eds.
)BPMN2010.
LNBIP,vol.
67,pp.
1–7.
Springer,Heidelberg(2010)[Doe06]Doedt,M.
:ErweiterungderjABC-FrameworkBibliothekumeinemodularanpassbareAusführungsschicht.
DiplomaThesis.
TUDort-mund,ChairofProgrammingSystems(2006)(inGerman)[Dra06]Drazek,M.
:jABCPluginzurKonvertierungvonSIB-GraphModelleninjABCunabhngigeKlassen.
DiplomaThesis.
TUDortmund,ChairofProgrammingSystems(2006)(inGerman)[DVW07]vanDeursen,A.
,Visser,E.
,Warmer,J.
:Model-DrivenSoftwareEvo-lution:AResearchAgenda.
In:CSMRWorkshoponModel-DrivenSoftwareEvolution(MoDSE2007),pp.
41–49(2007),http://swerl.
tudelft.
nl/twiki/pub/Main/TechnicalReports/TUD-SERG-2007-006.
pdf[Eng+99]Engels,G.
,Hücking,R.
,Sauer,S.
,Wagner,A.
:UMLCollaborationDiagramsandTheirTransformationtoJava.
In:France,R.
B.
(ed.
)UML1999.
LNCS,vol.
1723,pp.
473–488.
Springer,Heidelberg(1999)[Eng71]Engeler,E.
:StructureandMeaningofElementaryPrograms.
In:Sym-posiumonSemanticsofAlgorithmicLanguages.
Lect.
NotesinMath-ematics,vol.
188.
Springer(1971)[Fav04]Favre,J.
-M.
:TowardsaBasicTheorytoModelDrivenEngineering.
In:WorkshoponSoftwareModelEngineering,WISME2004,JointEventwithUML2004(2004)[Fis09]Fischbach,A.
:JML-basierteValidierungvonDesign-by-Contract-BeschreibungeninjABC.
DiplomaThesis,TUDortmund,ChairofProgrammingSystems(2009)(inGerman)[Fla06]Flanagan,D.
:JavaScript:TheDenitiveGuide.
O'Reilly(2006)ISBN:0596101996[FM08]Flanagan,D.
,Matsumoto,Y.
:TheRubyProgrammingLanguage,1stedn.
O'Reilly(2008)ISBN:9780596516178Bibliography227[Fow02]Fowler,M.
:PatternsofEnterpriseApplicationArchitecture.
Addison-Wesley(2002)ISBN:0321127420[Fow10]Fowler,M.
:DomainSpecicLanguages,1stedn.
Addison-Wesley(2010)ISBN:9780321712943[Fra+08]Frank,S.
,etal.
:SafetyofCompilersandTranslationTechniques-StatusquoofTechnologyandScience.
In:Automotive–Safety&Security2008.
ShakerVerlag(2008)[Fra02]Frankel,D.
:ModelDrivenArchitecture:ApplyingMDAtoEnterpriseComputing.
JohnWiley&Sons(2002)ISBN:0471319201[FT96]Frakes,W.
,Terry,C.
:Softwarereuse:metricsandmodels.
ACMCom-putingSurveys(CSUR)28(2),415–435(1996)[FVZ03]Fehnker,A.
,Vaandrager,F.
,Zhang,M.
:ModelingandVerifyingaLegoCarUsingHybridI/OAutomata.
In:ProceedingsoftheThirdInternationalConferenceonQualitySoftware,QSIC2003,pp.
280–289(2003)[Gae07]Gaeb,J.
:EntwicklungeinesBPEL-PluginsfürdasJavaABCFrame-work.
DiplomaThesis.
TUDortmund,ChairofProgrammingSystems(2007)(inGerman)[Gam+95]Gamma,E.
,etal.
:Designpatterns:ElementsofReusableObject-OrientedSoftware.
Addison-Wesley(1995)ISBN:9780201633610[GB08]García-Bauelos,L.
:PatternIdenticationandClassicationintheTranslationfromBPMNtoBPEL.
In:Meersman,R.
,Tari,Z.
(eds.
)OTM2008,PartI.
LNCS,vol.
5331,pp.
436–444.
Springer,Heidelberg(2008)[Gos+05]Gosling,J.
,etal.
:TheJavaLanguageSpecication,3rdedn.
Addison-Wesley(2005)ISBN:0321246780[GR83]Goldberg,A.
,Robson,D.
:Smalltalk-80,Thelanguageanditsimple-mentation.
Addison-Wesley(1983)ISBN:0201113716[Gre+04]Greeneld,J.
,etal.
:SoftwareFactories:AssemblingApplicationswithPatterns,Models,Frameworks,andTools.
JohnWiley&Sons(2004)ISBN:0471202843[Gro01]Grosso,W.
:JavaRMI.
O'Reilly(2001)ISBN:9781565924529[Gro09]Gronback,R.
C.
:EclipseModelingProject:ADomain-SpecicLan-guage(DSL)Toolkit.
Addison-Wesley(2009)ISBN:9780321534071[GSR05]Geiger,L.
,Schneider,C.
,Reckord,C.
:TemplateandmodelbasedcodegenerationforMDA-Tools.
In:3rdInternationalFujabaDays(2005)[GZ99]Goos,G.
,Zimmermann,W.
:VericationofCompilers.
In:Olderog,E.
-R.
,Steen,B.
(eds.
)CorrectSystemDesign.
LNCS,vol.
1710,p.
201230.
Springer,Heidelberg(1999)[Hag+02a]Hagerer,A.
,Hungar,H.
,Margaria,T.
,Niese,O.
,Steen,B.
,Ide,H.
-D.
:DemonstrationofanOperationalProcedurefortheModel-BasedTestingofCTISystems.
In:Kutsche,R.
-D.
,Weber,H.
(eds.
)FASE2002.
LNCS,vol.
2306,pp.
336–340.
Springer,Heidelberg(2002)[Hag+02b]Hagerer,A.
,Hungar,H.
:ModelGenerationbyModeratedRegularExtrapolation.
In:Kutsche,R.
-D.
,Weber,H.
(eds.
)FASE2002.
LNCS,vol.
2306,pp.
80–95.
Springer,Heidelberg(2002)[Han07]Hansen,J.
C.
:LegoMindstormsTMNXTTMPowerProgramming:RoboticsinC.
VariantPress(2007)ISBN:0973864923[Hem+10]Hemel,Z.
,etal.
:Codegenerationbymodeltransformation:acasestudyintransformationmodularity.
SoftwareandSystemModel-ing9(3),375–402(2010)228Bibliography[Her03]Herrington,J.
:CodeGenerationinAction.
ManningPublicationsCo.
(2003)ISBN:1930110979[HKG07]Hartmeier,S.
,Krüger,J.
,Giegerich,R.
:WebservicesandWorkowsontheBielefeldBioinformaticsServer:PracticesandProblems.
In:ProceedingsofNETTAB2007Workshop:ASemanticWebforBioin-formatics(2007)[HLR08]Hettel,T.
,Lawley,M.
,Raymond,K.
:ModelSynchronisation:Deni-tionsforRound-TripEngineering.
In:Vallecillo,A.
,Gray,J.
,Pieran-tonio,A.
(eds.
)ICMT2008.
LNCS,vol.
5063,pp.
31–45.
Springer,Heidelberg(2008)[HLT03]Heckel,R.
,Lohmann,M.
,Thne,S.
:TowardsaUMLProleforService-OrientedArchitectures.
In:ProceedingsoftheWorkshoponModelDrivenArchitecture:FoundationsandApplications(MDAFA2003).
CTITTechnicalReport.
UniversityofTwente,pp.
115–120(2003)[HM85]Hennessy,M.
,Milner,R.
:Algebraiclawsfornondeterminismandcon-currency.
JournaloftheACM32(1),137–161(1985)[HMS03]Hungar,H.
,Margaria,T.
,Steen,B.
:Test-BasedModelGenerationForLegacySystems.
In:ProceedingsoftheInternationalTestConfer-ence,ITC2003,pp.
971–980(2003)[Hoa03]Hoare,T.
:Theverifyingcompiler:Agrandchallengeforcomputingresearch.
JournaloftheACM50(1),63–69(2003)[Hoa69]Hoare,C.
A.
R.
:Anaxiomaticbasisforcomputerprogramming.
Com-municationsoftheACM12(10),576–580(1969)[HR04]Huth,M.
,Ryan,M.
D.
:Logicincomputerscience-modellingandreasoningaboutsystems,2ndedn.
CambridgeUniversityPress(2004)ISBN:9780521543101[Hun90]Hunter,R.
:TheDesignandConstructionofCompilers.
JohnWiley&Sons(1990)ISBN:0471280542[Hr+08]Hrmann,M.
,etal.
:ThejABCApproachtoRigorousCollaborativeDevelopmentofSCMApplications.
In:ThirdInternationalSympo-siumonLeveragingApplicationsofFormalMethods,VericationandValidation,ISoLA2008,pp.
724–737(2008)[Hs08]Hsel,S.
:EntwicklungeinesPlug-insfürdasjABC-FrameworkzurIntegrationvon.
NETmittelsC#.
DiplomaThesis.
UniversityofPots-dam,ChairforServiceandSoftwareEngineering(2008)(inGerman)[IIT93]TelecommunicationStandardizationSectorofITU(ITU-T).
GeneralRecommendationsonTelephoneSwitchingandSignalling-IntelligentNetwork:IntroductiontoIntelligentNetworkCapabilitySet1,Recom-mendationQ.
1211.
Tech.
rep.
InternationalTelecommunicationUnion,ITU(1993)[IIT97]TelecommunicationStandardizationSectorofITU(ITU-T).
Recom-mendationI.
329/Q.
120:IntelligentNetwork-GlobalFunctionalPlaneArchitecture,2ndedn.
InternationalTelecommunicationUnion,ITU(1997)[Ive+00]Iversen,T.
K.
,etal.
:Model-checkingreal-timecontrolprograms:ver-ifyingLegoMindstormsTMsystemusingUPPAAL.
In:Proceedingsofthe12thEuromicroConferenceonReal-TimeSystems,Euromicro-RTS2000,pp.
147–155.
IEEEComputerSociety(2000)Bibliography229[JK06]Jouault,F.
,Kurtev,I.
:TransformingModelswithATL.
In:Bruel,J.
-M.
(ed.
)MoDELS2005.
LNCS,vol.
3844,pp.
128–138.
Springer,Heidelberg(2006)[JMS06]Jrges,S.
,Margaria,T.
,Steen,B.
:FormulaBuilder:AToolforGraph-BasedModellingandGenerationofFormulae.
In:Proceedingsofthe28thInternationalConferenceonSoftwareengineering,ICSE2006,pp.
815–818.
ACM(2006)[JMS08]Jrges,S.
,Margaria,T.
,Steen,B.
:Genesys:service-orientedcon-structionofpropertyconformcodegenerators.
InnovationsinSystemsandSoftwareEngineering4(4),361–384(2008)[JMS11]Jrges,S.
,Margaria,T.
,Steen,B.
:Assuringpropertyconformanceofcodegeneratorsviamodelchecking.
FormalAspectsofComput-ing23(5),589–606(2011)[JS04]Jürjens,J.
,Shabalin,P.
:AutomatedVericationofUMLsecModelsforSecurityRequirements.
In:Baar,T.
,Strohmeier,A.
,Moreira,A.
,Mellor,S.
J.
(eds.
)UML2004.
LNCS,vol.
3273,pp.
365–379.
Springer,Heidelberg(2004)[JS11]Jrges,S.
,Steen,B.
:LeveragingService-OrientationforCombiningCodeGenerationFrameworks.
In:Proceedingsofthe16thIEEEInter-nationalConferenceonEngineeringofComplexComputerSystems,ICECCS2011,pp.
198–207.
IEEEComputerSociety(2011)[JSM10]Jrges,S.
,Steen,B.
,Margaria,T.
:BuildingCodeGeneratorswithGenesys:ATutorialIntroduction.
In:Fernandes,J.
M.
,Lmmel,R.
,Visser,J.
,Saraiva,J.
(eds.
)GTTSE2011.
LNCS,vol.
6491,pp.
364–385.
Springer,Heidelberg(2011)[Jr+07]Jrges,S.
,etal.
:ModelDrivenDesignofReliableRobotControlPro-gramsUsingthejABC.
In:Proceedingsofthe4thIEEEInternationalWorkshoponEngineeringofAutonomicandAutonomousSystems,EASe2007,pp.
137–148.
IEEEComputerSociety(2007)[Kah87]Kahn,G.
:NaturalSemantics.
In:Brandenburg,F.
J.
,Wirsing,M.
,Vidal-Naquet,G.
(eds.
)STACS1987.
LNCS,vol.
247,pp.
22–39.
Springer,Heidelberg(1987)[KHB00]Kiepuszewski,B.
,terHofstede,A.
H.
M.
,Bussler,C.
J.
:OnStructuredWorkowModelling.
In:Wangler,B.
,Bergman,L.
D.
(eds.
)CAiSE2000.
LNCS,vol.
1789,pp.
431–445.
Springer,Heidelberg(2000)[Kic+97]Kiczales,G.
,etal.
:Aspect-OrientedProgramming.
In:Akit,M.
,Mat-suoka,S.
(eds.
)ECOOP1997.
LNCS,vol.
1241,pp.
220–242.
Springer,Heidelberg(1997)[Kle+96]Klein,M.
,etal.
:DFA&OPT-METAFrame:AToolKitforProgramAnalysisandOptimization.
In:Margaria,T.
,Steen,B.
(eds.
)TACAS1996.
LNCS,vol.
1055,pp.
422–426.
Springer,Heidelberg(1996)[Kle08]Kleppe,A.
:SoftwareLanguageEngineering:CreatingDomain-Spe-cicLanguagesUsingMetamodels,1stedn.
Addison-Wesley(2008)ISBN:9780321553454[KLR96]Kelly,S.
,Lyytinen,K.
,Rossi,M.
:MetaEdit+:AFullyCongurableMulti-UserandMulti-ToolCASEandCAMEEnvironment.
In:Con-stantopoulos,P.
,Vassiliou,Y.
,Mylopoulos,J.
(eds.
)CAiSE1996.
LNCS,vol.
1080,pp.
1–21.
Springer,Heidelberg(1996)230Bibliography[KM06]Karusseit,M.
,Margaria,T.
:Feature-basedModellingofaComplex,Online-RecongurableDecisionSupportService.
ElectronicNotesinTheoreticalComputerScience157(2),101–118(2006)[Koc09]Kochan,S.
:ProgramminginObjective-C2.
0,2ndedn.
Addison-Wes-ley(2009)ISBN:9780321566157[Kol10]Koloch,R.
:GenesysundopenArchitectureWare:EinpraktischerVer-gleich.
DiplomaThesis,TUDortmund,ChairofProgrammingSystems(2010)(inGerman)[Koz83]Kozen,D.
:ResultsonthePropositional-Calculus.
TheoreticalCom-puterScience27,333–354(1983)[KP05]Kossatchev,A.
S.
,Posypkin,M.
A.
:Surveyofcompilertestingmethods.
ProgrammingandComputerSoftware31(1),10–19(2005)[KP09]Kelly,S.
,Pohjonen,R.
:WorstPracticesforDomain-SpecicModel-ing.
IEEESoftware26,22–29(2009)[KSV09]Klint,P.
,vanderStorm,T.
,Vinju,J.
:RASCAL:ADomainSpecicLanguageforSourceCodeAnalysisandManipulation.
In:Proceedingsofthe2009NinthIEEEInternationalWorkingConferenceonSourceCodeAnalysisandManipulation,pp.
168–177.
IEEEComputerSoci-ety(2009)[KT08]Kelly,S.
,Tolvanen,J.
-P.
:Domain-SpecicModeling:EnablingFullCodeGeneration.
JohnWiley&Sons(2008)ISBN:0470036664[Kub+09]Kubczak,C.
,etal.
:Service-orientedMediationwithjABC/-jETI.
In:SemanticWebServicesChallenge.
SemanticWebandBeyond,vol.
8,pp.
71–99.
Springer(2009)[KV10]Kats,L.
C.
L.
,Visser,E.
:TheSpoofaxLanguageWorkbench.
RulesforDeclarativeSpecicationofLanguagesandIDEs.
In:Proceedingsofthe25thAnnualACMSIGPLANConferenceonObject-OrientedProgramming,Systems,Languages,andApplications,OOPSLA2010,pp.
444–463.
ACM(2010)[Küh06]Kühne,T.
:Mattersof(Meta-)Modeling.
SoftwareandSystemModel-ing5(4),369–385(2006)[Lab+07]Labarga,A.
,etal.
:WebServicesattheEuropeanBioinformaticsIn-stitute.
NucleicAcidsResearch35(Web-Server-Issue),6–11(2007)[Lam+10]Lamprecht,A.
-L.
,etal.
:Synthesis-BasedLooseProgramming.
In:Pro-ceedingsofthe7thInternationalConferenceontheQualityofInforma-tionandCommunicationsTechnology,QUATIC,pp.
262–267.
IEEEComputerSociety(2010)[Lar95]Laroussinie,F.
:AbouttheexpressivepowerofCTLcombinators.
In-formationProcessingLetters54(6),343–345(1995)[Led+01]Ledeczi,A.
,etal.
:TheGenericModelingEnvironment.
In:WorkshoponIntelligentSignalProcessing,WISP2001,vol.
17.
IEEE(2001)[Lem+09]Lemcke,J.
,etal.
:AdvancesinSolvingtheMediatorScenariowithjABCandjABC/GEM.
In:SemanticWebServicesChallenge:Pro-ceedingsofthe2008Workshops,LG-2009-01,pp.
89–102(2009),http://logic.
stanford.
edu/reports/LG-2009-01.
pdf[Len09]Lenzner,N.
:EinbindungvonUML-Modellierungs-undCodegener-ierungstoolsindasGenesys-Framework.
BachelorThesis.
TUDort-mund,ChairofProgrammingSystems(2009)(inGerman)Bibliography231[Ler06]Leroy,X.
:Formalcerticationofacompilerback-endor:programmingacompilerwithaproofassistant.
In:ConferenceRecordofthe33rdACMSIGPLAN-SIGACTSymposiumonPrinciplesofProgrammingLanguages,POPL2006,pp.
42–54.
ACM(2006)[LMB92]Levine,J.
,Mason,T.
,Brown,D.
:lex&yacc,2ndedn.
(ANutshellHandbook).
O'Reilly(1992)ISBN:1565920007[LMM99]Latella,D.
,Majzik,I.
,Massink,M.
:AutomaticVericationofaBe-haviouralSubsetofUMLStatechartDiagramsUsingtheSPINModel-checker.
FormalAspectsofComputing11(6),637–664(1999)[LMS06]Lamprecht,A.
-L.
,Margaria,T.
,Steen,B.
:Data-FlowAnalysisasModelCheckingWithinthejABC.
In:Mycroft,A.
,Zeller,A.
(eds.
)CC2006.
LNCS,vol.
3923,pp.
101–104.
Springer,Heidelberg(2006)[LMS08]Lamprecht,A.
-L.
,Margaria,T.
,Steen,B.
:SevenVariationsofanAlignmentWorkow-AnIllustrationofAgileProcessDesignandManagementinBio-jETI.
In:Mndoiu,I.
,Wang,S.
-L.
,Zelikovsky,A.
(eds.
)ISBRA2008.
LNCS(LNBI),vol.
4983,pp.
445–456.
Springer,Heidelberg(2008)[LMS09]Lamprecht,A.
-L.
,Margaria,T.
,Steen,B.
:FromBio-jETIProcessModelstoNativeCode.
In:Proceedingsofthe14thIEEEInternationalConferenceonEngineeringofComplexComputerSystems,ICECCS2009,pp.
95–101.
IEEEComputerSociety(2009)[LPT78]Lecarme,O.
,Peyrolle-Thomas,M.
-C.
:Self-compilingCompilers:AnAppraisaloftheirImplementationandPortability.
Software-PracticeandExperience8(2),149–170(1978)[LS+08]López-Sanz,M.
,etal.
:ModellingofService-OrientedArchitectureswithUML.
ElectronicNotesinTheoreticalComputerScience194(4)(2008);Proceedingsofthe6thInternationalWorkshopontheFoun-dationsofCoordinationLanguagesandSoftwareArchitectures,FO-CLASA2007,pp.
23–37(2007)[LY99]Lindholm,T.
,Yellin,F.
:TheJavaVirtualMachineSpecication,2ndedn.
Addison-Wesley(1999)ISBN:0201432943[MB02]Mellor,S.
J.
,Balcer,M.
:ExecutableUML:AFoundationforModel-DrivenArchitectures.
Addison-Wesley(2002)ISBN:0201748045[McC60]McCarthy,J.
:Recursivefunctionsofsymbolicexpressionsandtheircomputationbymachine,PartI.
CommunicationsoftheACM3(4),184–195(1960)[MER99]Medvidovic,N.
,Egyed,A.
F.
,Rosenblum,D.
S.
:Round-TripSoftwareEngineeringUsingUML:FromArchitecturetoDesignandBack.
In:Proceedingsofthe2ndWorkshoponObject-OrientedReengineering,WOOR1999(1999)[Mey92]Meyer,B.
:Applying'DesignbyContract'.
Computer25(10),40–51(1992)[Mil89]Milner,R.
:CommunicationandConcurrency.
Prentice-Hall(1989)ISBN:9780131150072[MKS08]Margaria,T.
,Kubczak,C.
,Steen,B.
:Bio-jETI:aserviceintegration,design,andprovisioningplatformfororchestratedbioinformaticspro-cesses.
BMCBioinformatics9(S-4),1–17(2008)232Bibliography[MNS02]Margaria,T.
,Niese,O.
,Steen,B.
:DemonstrationofanAutomatedIntegratedTestEnvironmentforWeb-BasedApplications.
In:Bo-naki,D.
,Leue,S.
(eds.
)SPIN2002.
LNCS,vol.
2318,pp.
250–253.
Springer,Heidelberg(2002)[MO97]Müller-Olm,M.
:ModularCompilerVerication.
LNCS,vol.
1283.
Springer,Heidelberg(1997)[Moo09]Moody,D.
:The'Physics'ofNotations:TowardaScienticBasisforConstructingVisualNotationsinSoftwareEngineering.
IEEETrans-actionsonSoftwareEngineering35(6),756–779(2009)[Mor08]Morimoto,S.
:ASurveyofFormalVericationforBusinessProcessModeling.
In:Bubak,M.
,vanAlbada,G.
D.
,Dongarra,J.
,Sloot,P.
M.
A.
(eds.
)ICCS2008,PartII.
LNCS,vol.
5102,pp.
514–522.
Springer,Heidelberg(2008)[MOSS99]Müller-Olm,M.
,Schmidt,D.
A.
,Steen,B.
:Model-Checking:ATu-torialIntroduction.
In:Cortesi,A.
,Filé,G.
(eds.
)SAS1999.
LNCS,vol.
1694,pp.
330–354.
Springer,Heidelberg(1999)[MOY04]Müller-Olm,M.
,Yoo,H.
:MetaGame:AnAnimationToolforModel-CheckingGames.
In:Jensen,K.
,Podelski,A.
(eds.
)TACAS2004.
LNCS,vol.
2988,pp.
163–167.
Springer,Heidelberg(2004)[MRS06]Margaria,T.
,Rüthing,O.
,Steen,B.
:ViDoC-VisualDesignofOp-timizingCompilers.
In:Reps,T.
,Sagiv,M.
,Bauer,J.
(eds.
)WilhelmFestschrift.
LNCS,vol.
4444,pp.
145–159.
Springer,Heidelberg(2007)[MS04]Margaria,T.
,Steen,B.
:Lightweightcoarsegrainedcoordination:ascalablesystem-levelapproach.
InternationalJournalonSoftwareToolsforTechnologyTransfer(STTT)5(2),107–123(2004)[MS06]Margaria,T.
,Steen,B.
:ServiceEngineering:LinkingBusinessandIT.
IEEEComputer39(10),45–55(2006)[MS08]Margaria,T.
,Steen,B.
:AgileIT:ThinkinginUser-CentricModels.
In:Margaria,T.
,Steen,B.
(eds.
)ISoLA2008.
CCIS,vol.
17,pp.
490–502.
Springer,Heidelberg(2008)[MS09a]Margaria,T.
,Steen,B.
:BusinessProcessModellinginthejABC:TheOne-ThingApproach.
In:HandbookofResearchonBusinessProcessModeling,pp.
1–26.
IGIGlobal(2009)[MS09b]Margaria,T.
,Steen,B.
:ContinuousModel-DrivenEngineering.
IEEEComputer42(10),106–109(2009)[MSR05]Margaria,T.
,Steen,B.
,Reitenspiess,M.
:Service-OrientedDesign:TheRoots.
In:Benatallah,B.
,Casati,F.
,Traverso,P.
(eds.
)ICSOC2005.
LNCS,vol.
3826,pp.
450–464.
Springer,Heidelberg(2005)[Nag09]Nagel,R.
:TechnischeHerausforderungenmodellgetriebenerBe-herrschungvonProzesslebenszyklenausderFachperspektive:VonderAnforderungsanalysezurRealisierung.
PhDthesis,TUDortmund,ChairProgrammingSystems(2009)(inGerman)[Nau09]Naujokat,S.
:AutomatischeGenerierungvonProzessenimjABC.
DiplomaThesis,TUDortmund,ChairofProgrammingSystems(2009)(inGerman)[Nec00]Necula,G.
C.
:Translationvalidationforanoptimizingcompiler.
In:ProceedingsoftheACMSIGPLAN2000ConferenceonProgrammingLanguageDesignandImplementation,PLDI2000,pp.
83–94.
ACM(2000)Bibliography233[Nec97]Necula,G.
C.
:Proof-carryingcode.
In:Proceedingsofthe24thACMSIGPLAN-SIGACTSymposiumonPrinciplesofProgrammingLan-guages,POPL1997,pp.
106–119.
ACM(1997)[Neu07]Neubauer,J.
:LocalCheckerPluginforthejABC.
StudentResearchProjectReport.
TUDortmund,ChairofProgrammingSystems(2007)[Nie+01a]Niese,O.
,etal.
:AutomatedRegressionTestingofCTI-Systems.
In:ProceedingsoftheIEEEEuropeanTestWorkshop,ETW2001,pp.
51–57.
IEEEComputerSociety(2001)[Nie+01b]Niese,O.
,Steen,B.
,Margaria,T.
,Hagerer,A.
,Brune,G.
,Ide,H.
-D.
:Library-BasedDesignandConsistencyCheckingofSystem-LevelIndustrialTestCases.
In:Hussmann,H.
(ed.
)FASE2001.
LNCS,vol.
2029,pp.
233–248.
Springer,Heidelberg(2001)[NLS11]Naujokat,S.
,Lamprecht,A.
-L.
,Steen,B.
:TailoringProcessSyn-thesistoDomainCharacteristics.
In:Proceedingsofthe16thIEEEInternationalConferenceonEngineeringofComplexComputerSys-tems,ICECCS2011,pp.
167–175.
IEEEComputerSociety(2011)[NMS11]Neubauer,J.
,Margaria,T.
,Steen,B.
:DesignforVeriability:TheOCSCaseStudy.
In:FormalMethodsforIndustrialCriticalSystems:ASurveyofApplications.
JohnWiley&Sons(2011)(inprint)ISBN:9780470876183[Old+05]Oldevik,J.
,Neple,T.
,Grnmo,R.
,Aagedal,J.
.
,Berre,A.
-J.
:To-wardStandardisedModeltoTextTransformations.
In:Hartman,A.
,Kreische,D.
(eds.
)ECMDA-FA2005.
LNCS,vol.
3748,pp.
239–253.
Springer,Heidelberg(2005)[Oul82]Oulsnam,G.
:UnravellingUnstructuredPrograms.
TheComputerJournal25(3),379–387(1982)[Ouy+06]Ouyang,C.
,etal.
:FromBPMNProcessModelstoBPELWebSer-vices.
In:ProceedingsoftheIEEEInternationalConferenceonWebServices,pp.
285–292.
IEEEComputerSociety(2006)[Pap08]Papazoglou,M.
P.
:WebServices:PrinciplesandTechnology.
Pearson,PrenticeHall(2008)ISBN:9780321155559[Par04]Parr,T.
:Enforcingstrictmodel-viewseparationintemplateengines.
In:Proceedingsofthe13thInternationalConferenceonWorldWideWeb,WWW2004,pp.
224–233.
ACM(2004)[PBL05]Pohl,K.
,Bckle,G.
,vanderLinden,F.
J.
:SoftwareProductLineEngineering:Foundations,PrinciplesandTechniques.
Springer(2005)ISBN:3540243720[Plo81]Plotkin,G.
D.
:AStructuralApproachtoOperationalSemantics.
Tech.
rep.
DAIMIFN-19.
ComputerScienceDepartment,AarhusUniversity(1981)[Pol07]Polanski,A.
:SequenceAlignment.
In:Bioinformatics,pp.
155-156.
Springer(2007)[PQ95]Parr,T.
,Quong,R.
:ANTLR:APredicated-LL(k)ParserGenerator.
Software-PracticeandExperience25(7),789–810(1995)[PSS98]Pnueli,A.
,Siegel,M.
,Singerman,E.
:TranslationValidation.
In:Stef-fen,B.
(ed.
)TACAS1998.
LNCS,vol.
1384,pp.
151–166.
Springer,Heidelberg(1998)234Bibliography[QS82]Queille,J.
-P.
,Sifakis,J.
:SpecicationandVericationofConcurrentSystemsinCESAR.
In:Dezani-Ciancaglini,M.
,Montanari,U.
(eds.
)Programming1982.
LNCS,vol.
137,pp.
337–351.
Springer,Heidelberg(1982)[Raf+08]Raelt,H.
,etal.
:Hybridtestofwebapplicationswithwebtest.
In:Proceedingsofthe2008WorkshoponTesting,Analysis,andVerica-tionofWebServicesandApplications,TAVWEB2008,pp.
1–7.
ACM(2008)[Raf+09]Raelt,H.
,etal.
:Dynamictestingviaautomatalearning.
In-ternationalJournalonSoftwareToolsforTechnologyTransfer(STTT)11(4),307–324(2009)[Rai+04]Raistrick,C.
,etal.
:ModelDrivenArchitecturewithExecutableUML.
CambridgeUniversityPress(2004)ISBN:0521537711[RS09]Ryabtsev,M.
,Strichman,O.
:TranslationValidation:FromSimulinktoC.
In:Bouajjani,A.
,Maler,O.
(eds.
)CAV2009.
LNCS,vol.
5643,pp.
696–701.
Springer,Heidelberg(2009)[Rug+08]Rugina,A.
-E.
,etal.
:Gene-Auto:AutomaticSoftwareCodeGenera-tionforReal-TimeEmbeddedSystems.
In:DataSystemsinAerospace,DASIA2008.
EuropeanSpaceAgency(2008)[SB01]Schwaber,K.
,Beedle,M.
:AgileSoftwareDevelopmentwithScrum.
PrenticeHallPTR(2001)ISBN:9780130676344[SC04]Stürmer,I.
,Conrad,M.
:CodeGeneratorTestinginPractice.
In:IN-FORMATIK2004,-Informatikverbindet,Band2,Beitrgeder34.
JahrestagungderGesellschaftfürInformatike.
V(GI),pp.
33-37.
GI(2004)[Sch+04]Schinz,I.
,etal.
:TheRhapsodyUMLVericationEnvironment.
In:ProceedingsoftheSecondInternationalConferenceonSoftwareEn-gineeringandFormalMethods,SEFM2004,pp.
174–183.
IEEECom-puterSocietyPress(2004)[Sch+10]Schaefer,I.
,Bettini,L.
,Bono,V.
,Damiani,F.
,Tanzarella,N.
:Delta-OrientedProgrammingofSoftwareProductLines.
In:Bosch,J.
,Lee,J.
(eds.
)SPLC2010.
LNCS,vol.
6287,pp.
77–91.
Springer,Heidelberg(2010)[Sch06]Schmidt,D.
C.
:GuestEditor'sIntroduction:Model-DrivenEngineer-ing.
Computer39,25–31(2006)[Sch07]Schulte,B.
E.
:ModellgetriebeneSteuerungeingebetteterSystemeundihrerAnwendungfürLegoNXT.
DiplomaThesis,TUDortmund,ChairofProgrammingSystems(2007)(inGerman)[Sch86]Schmidt,D.
A.
:Denotationalsemantics:amethodologyforlanguagedevelopment.
WilliamC.
BrownPublishers(1986)ISBN:0697068492[Sei03]Seidewitz,E.
:WhatModelsMean.
IEEESoftware20(5),26–32(2003)[Sel03]Selic,B.
:ThePragmaticsofModel-DrivenDevelopment.
IEEESoft-ware20,19–25(2003)[Sel09]Selic,B.
:TheTheoryandPracticeofModelingLanguageDesignforModel-BasedSoftwareEngineering—APersonalPerspective.
In:Fer-nandes,J.
M.
,Lmmel,R.
,Visser,J.
,Saraiva,J.
(eds.
)GTTSE2009.
LNCS,vol.
6491,pp.
290–321.
Springer,Heidelberg(2011)Bibliography235[She08]Shehory,O.
:SHADOWS:Self-healingcomplexsoftwaresystems.
In:23rdIEEE/ACMInternationalConferenceonAutomatedSoftwareEngineering-WorkshopProceedings(ASEWorkshops2008),pp.
71–76.
IEEE(2008)[SI94]Steen,B.
,Ingólfsdóttir,A.
:Characteristicformulaeforprocesseswithdivergence.
InformationandComputation110(1),149–163(1994)[SK03]Sendall,S.
,Kozaczynski,W.
:ModelTransformation:TheHeartandSoulofModel-DrivenSoftwareDevelopment.
IEEESoftware20(5),42–45(2003)[SK97]Sztipanovits,J.
,Karsai,G.
:Model-integratedcomputing.
Com-puter30(4),110–111(1997)[SM99]Steen,B.
,Margaria,T.
:METAFrameinPractice:DesignofIntel-ligentNetworkServices.
In:Olderog,E.
-R.
,Steen,B.
(eds.
)CorrectSystemDesign.
LNCS,vol.
1710,pp.
390–415.
Springer,Heidelberg(1999)[SMN05]Steen,B.
,Margaria,T.
,Nagel,R.
:RemoteIntegrationandCoor-dinationofVericationToolsinjETI.
In:Proceedingsof12thIEEEInternationalConferenceontheEngineeringofComputerBasedSys-tems,ECBS2005,pp.
431–436.
IEEEComputerSocietyPress(2005)[Smo10]Smolinski,M.
:ModellbasierteEntwicklungundGenerierungvonTest-Suiten:EineFallstudieanhandvonGenesys&JUnit.
DiplomaThesis,TUDortmund,ChairofProgrammingSystems(2010)(inGerman)[SMW10]Steen,B.
,Margaria,T.
,Wagner,C.
:Round-TripEngineering.
In:EncyclopediaofSoftwareEngineering,pp.
1044–1055.
Taylor&Fran-cis(2010)[SN07]Steen,B.
,Narayan,P.
:FullLife-CycleSupportforEnd-to-EndPro-cesses.
IEEEComputer40(11),64–73(2007)[Spi09]Spitzer,D.
:ModellbasierteEntwicklungvonCode-GeneratorenfürstarkeingeschrnkteAusführungsumgebungenamBeispielderiPhone-Plattform.
DiplomaThesis,TUDortmund,ChairofProgram-mingSystems(2009)(inGerman)[SS98]Schmidt,D.
A.
,Steen,B.
:ProgramAnalysisasModelCheckingofAbstractInterpretations.
In:Levi,G.
(ed.
)SAS1998.
LNCS,vol.
1503,pp.
351–380.
Springer,Heidelberg(1998)[Sta+07]Stahl,T.
,etal.
:ModellgetriebeneSoftwareentwicklung:Techniken,Engineering,Management,2ndedn.
,dpunkt(2007)(inGerman)ISBN:978-3-89864-448-8[Sta73]Stachowiak,H.
:AllgemeineModelltheorie.
Springer(1973)(inGer-man)ISBN:9783211811061[Ste+07]Steen,B.
,Margaria,T.
,Nagel,R.
,Jrges,S.
,Kubczak,C.
:Model-DrivenDevelopmentwiththejABC.
In:Bin,E.
,Ziv,A.
,Ur,S.
(eds.
)HVC2006.
LNCS,vol.
4383,pp.
92–108.
Springer,Heidelberg(2007)[Ste+09]Steinberg,D.
,etal.
:EMF:EclipseModelingFramework2.
0,2ndedn.
Addison-Wesley(2009)ISBN:0321331885[Ste+94]Steen,B.
,etal.
:IntelligentSoftwareSynthesisintheDa-CapoEnvi-ronment.
In:Proceedingsofthe6thNordicWorkshoponProgrammingTheory.
BRICSReportN.
94/6(December1994)[Ste+96]Steen,B.
,etal.
:IncrementalFormalization:AKeytoIndustrialSuc-cess.
Software-ConceptsandTools17(2),78–91(1996)236Bibliography[Ste+97]Steen,B.
,etal.
:HierarchicalServiceDenition.
AnnualReviewofCommunication,847–856(1997)[Ste89]Steen,B.
:CharacteristicFormulae.
In:RonchiDellaRocca,S.
,Ausiello,G.
,Dezani-Ciancaglini,M.
(eds.
)ICALP1989.
LNCS,vol.
372,pp.
723–732.
Springer,Heidelberg(1989)[Ste91]Steen,B.
:DataFlowAnalysisasModelChecking.
In:Ito,T.
,Meyer,A.
R.
(eds.
)TACS1991.
LNCS,vol.
526,pp.
346–365.
Springer,Hei-delberg(1991)[Sto10]Storz,D.
:IntuitiveundexperimentelleModellierungvonStrategienamBeispielvonRobocode.
DiplomaThesis,TUDortmund,ChairofProgrammingSystems(2010)(inGerman)[Str02]Strecker,M.
:FormalVericationofaJavaCompilerinIsabelle.
In:Voronkov,A.
(ed.
)CADE-18.
LNCS(LNAI),vol.
2392,pp.
63–77.
Springer,Heidelberg(2002)[Stü+07]Stürmer,I.
,etal.
:SystematicTestingofModel-BasedCodeGen-erators.
IEEETransactionsonSoftwareEngineering33(9),622–634(2007)[SWC05]Stürmer,I.
,Weinberg,D.
,Conrad,M.
:Overviewofexistingsafeguard-ingtechniquesforautomaticallygeneratedcode.
In:ProceedingsoftheSecondInternationalWorkshoponSoftwareEngineeringforAutomo-tiveSystems,SEAS2005,pp.
1–6.
ACM(2005)[THG94]Thompson,J.
D.
,Higgins,D.
G.
,Gibson,T.
J.
:CLUSTALW:improv-ingthesensitivityofprogressivemultiplesequencealignmentthroughsequenceweighting,positionspecicgappenaltiesandweightma-trixchoice.
NucleicAcidsResearch22(22),4673–4680(1994)[Tho04]Thomas,D.
:MDA:RevengeoftheModelersorUMLUtopiaIEEESoftware21(3),15–17(2004)[TK09]Tolvanen,J.
-P.
,Kelly,S.
:MetaEdit+:deningandusingintegrateddomain-specicmodelinglanguages.
In:Companiontothe24thAn-nualACMSIGPLANConferenceonObject-OrientedProgramming,Systems,Languages,andApplications,OOPSLA2009,pp.
819–820.
ACM(2009)[Tol11]Tolmatcev,O.
:ErprobungundEvaluierungderAnwendbarkeitvonXSLTimCode-Generator-FrameworkGenesys.
DiplomaThesis,TUDortmund,ChairofProgrammingSystems(2011)(inGerman)[UL06]Utting,M.
,Legeard,B.
:PracticalModel-BasedTesting:AToolsAp-proach.
MorganKaufmannPublishers(2006)ISBN:0123725011[V03]Vlter,M.
:ACatalogofPatternsforProgramGeneration.
In:Pro-ceedingsofthe8thEuropeanConferenceonPatternLanguagesofPrograms,EuroPLoP2003,UVK(2003)[Vas08]Vassev,E.
I.
:Towardsaframeworkforspecicationandcodegenera-tionofautomaticsystems.
PhDthesis.
ConcordiaUniversity(2008)[VDA+03]VanDerAalst,W.
M.
P.
,etal.
:WorkowPatterns.
DistributedandParallelDatabases14(1),5–51(2003)[Vli98]Vlissides,J.
:Patternhatching:designpatternsapplied.
Addison-Wesley(1998)ISBN:0201432935[Vou90]Vouk,M.
A.
:Back-to-backtesting.
InformationandSoftwareTechnol-ogy32(1),34–45(1990)Bibliography237[VV10]Vlter,M.
,Visser,E.
:Languageextensionandcompositionwithlanguageworkbenches.
In:Companiontothe25thAnnualACMSIGPLANConferenceonObject-OrientedProgramming,Systems,Languages,andApplications,SPLASH/OOPSLA2010,pp.
301–304.
ACM(2010)[VVK08]Vanhatalo,J.
,Vlzer,H.
,Koehler,J.
:TheRenedProcessStructureTree.
In:Dumas,M.
,Reichert,M.
,Shan,M.
-C.
(eds.
)BPM2008.
LNCS,vol.
5240,pp.
100–115.
Springer,Heidelberg(2008)[Vl09]Vlter,M.
:MD*BestPractices.
JournalofObjectTechnology8(6),79–102(2009)[Wag12]Wagner,C.
:ModellgetriebeneSoftware-Migration.
PhDthesis.
Uni-versityofPotsdam,ChairofServiceandSoftwareEngineering(2012)(inGerman)[Wal00]Wall,L.
:ProgrammingPerl,3rdedn.
O'Reilly(2000)ISBN:0596000278[War94]Ward,M.
P.
:Language-OrientedProgramming.
Software-ConceptsandTools15(4),147–161(1994)[Wat93]Watt,D.
A.
:ProgrammingLanguageProcessors:CompilersandInter-preters.
PrenticeHall(1993)ISBN:9780137201297[Whi97]Whitley,K.
N.
:VisualProgrammingLanguagesandtheEmpiricalEvidenceForandAgainst.
JournalofVisualLanguages&Comput-ing8(1),109–142(1997)[Wil77]HowardWilliams,M.
:GeneratingStructuredFlowDiagrams:TheNa-tureofUnstructuredness.
TheComputerJournal20(1),45–50(1977)[Win06]Winkler,C.
:EntwicklungeinesjABC-PluginszumDesignvonJDBC-kompatiblenDatenbankschemata.
DiplomaThesis,TUDortmund,ChairofProgrammingSystems(2006)(inGerman)[WMP09]Wagner,C.
,Margaria,T.
,Pagendarm,H.
-G.
:AnalysisandCodeModelExtractionforC/C++SourceCode.
In:Proceedingsofthe14thIEEEInternationalConferenceonEngineeringofComplexCom-puterSystems,ICECCS2009,pp.
110–119.
IEEEComputerSociety(2009)[Yoo07]Yoo,H.
:FehlerdiagnosebeimModel-CheckingdurchanimierteStrategie-Synthese.
PhDthesis,TUDortmund,ChairProgrammingSystems(2007)(inGerman)238BibliographyOnlineReferences[App11]Apple.
iOSTechnologyOverview(2011),http://developer.
apple.
com/technologies/ios/[Boo03]Boocock,P.
:TheJamdaProject(2003),http://jamda.
sourceforge.
net/[Com11]JRubyCommunity.
JRuby.
org(2011),http://www.
jruby.
org[Dmi04]Dmitriev,S.
:LanguageOrientedProgramming:TheNextProgram-mingParadigm(2004),http://www.
onboard.
jetbrains.
com/is1/articles/04/10/lop/mps.
pdf[Fow05]Fowler,M.
:LanguageWorkbenches:TheKiller-AppforDomainSpe-cicLanguages(2005),http://martinfowler.
com/articles/languageWorkbench.
html[JD10]DNADataBankofJapan(DDBJ).
WebAPIforBiology(WABI)(2010),http://xml.
nig.
ac.
jp/index.
html[Jet11]JetBrains.
MetaProgrammingSystem(2011),http://www.
jetbrains.
com/mps/[Jr10]Jrges,S.
:GenesysSIBsWebsite(2010),http://jabc.
cs.
tu-dortmund.
de/genesys/genesys-lib/sibdocs/index.
html[Lar11]Larsen,F.
N.
:RobocodeHome(2011),http://robocode.
sourceforge.
net/[Ley11]Ley,M.
:DBLPComputerScienceBibliography(2011),http://dblp.
uni-trier.
de/[Mic11]Microsoft.
Microsoft.
NETFramework(2011),http://www.
microsoft.
com/net[Ora11a]Oracle.
EnterpriseJavaBeansTechnology(2011),http://www.
oracle.
com/technetwork/java/javaee/ejb[Ora11b]Oracle.
JavaEnterpriseEditionWebsite(2011),http://www.
oracle.
com/technetwork/java/javaee[Ora11c]Oracle.
JavaME(2011),http://www.
oracle.
com/technetwork/java/javame[Ora11d]Oracle.
JavaBeansSpecication(2011),http://www.
oracle.
com/technetwork/java/javase/documentation/spec-136004.
html[TU10]TUDortmund,ChairforProgrammingSystems.
jABCCommonSIBsWebsite(2010),http://www.
jabc.
de/sib[Act11a]ActiveEndpoints.
ActiveVOSBPMS(2011),http://activevos.
com/[Act11b]ActivitiTeam.
Activiti(2011),http://www.
activiti.
org/[Alt11]Altova.
AltovaUModel(2011),http://www.
altova.
com/umodel.
html[And11]AndroMDATeam.
AndroMDA(2011),http://www.
andromda.
org/[Apa10]ApacheFoundation.
ApacheVelocity(2010),http://velocity.
apache.
org[Apa11a]ApacheFoundation.
ApacheAnt(2011),http://ant.
apache.
org/[Apa11b]ApacheFoundation.
ApacheMaven(2011),http://maven.
apache.
orgBibliography239[Apa11c]ApacheFoundation.
ApacheODE(2011),http://ode.
apache.
org/[Apa11d]ApacheSoftwareFoundation.
ApacheStruts(2011),http://struts.
apache.
org/[Apa11e]ApacheSoftwareFoundation.
ApacheSubversion(2011),http://subversion.
apache.
org/[Bor11]Borland.
Together(2011),http://www.
borland.
com/us/products/together/[Car11]Schwennicke,C.
,Gallert,S.
:XCoder(2011),http://xcoder.
sf.
net[Ecl05]EclipseFoundation.
EMFDeveloperGuide(2005),http://help.
eclipse.
org/helios/index.
jsptopic=/org.
eclipse.
emf.
doc/references/overview/EMF.
html[Ecl11a]EclipseFoundation.
EclipseGraphicalModelingFramework(GMF)(2011),http://www.
eclipse.
org/gmf/[Ecl11b]EclipseFoundation.
EclipseModelDevelopmentTools(MDT):UML2(2011),http://www.
eclipse.
org/modeling/mdt/project=uml2[Ecl11c]EclipseFoundation.
EclipseModelDevelopmentTools(MDT):UML2Tools(2011),http://www.
eclipse.
org/modeling/mdt/project=uml2tools[Ecl11d]EclipseFoundation.
JET(2011),http://www.
eclipse.
org/modeling/m2t/project=jet#jet[Ecl11e]EclipseFoundation.
SWT:TheStandardWidgetToolkit(2011),http://www.
eclipse.
org/swt/[Ecl11f]EclipseFoundation.
Xpand(2011),http://www.
eclipse.
org/modeling/m2t/project=xpand[Ecl11g]EclipseFoundation.
Xtend2(2011),http://www.
eclipse.
org/Xtext/#xtend2[Ecl11h]EclipseFoundation.
Xtext(2011),http://www.
eclipse.
org/Xtext/[Fre11a]FreeSoftwareFoundation.
GNU'make'(2011),http://www.
gnu.
org/software/make/manual/make.
html[Fre11b]FreeMarkerProject.
FreeMarker:JavaTemplateEngineLibrary(2011),http://freemarker.
org/[ISO05]ISO.
TheANSICstandard(C99).
Tech.
rep.
WG14N1124.
ISO/IEC(2005),http://www.
open-std.
org/JTC1/SC22/WG14/www/docs/n1124.
pdf[Jav02]JavaCommunityProcess.
JSR40:ThetadataInterface(JMI)Speci-cation(2002),http://www.
jcp.
org/en/jsr/detailid=40[Jav06]JavaCommunityProcess.
JSR52:AStandardTagLibraryforJavaServerPages(2006),http://www.
jcp.
org/en/jsr/detailid=52[Jav07]JavaCommunityProcess.
JSR139:ConnectedLimitedDeviceCon-guration1.
1(2007),http://www.
jcp.
org/en/jsr/detailid=139[Jav09a]JavaCommunityProcess.
JSR222:JavaArchitectureforXMLBind-ing(JAXB)2.
0(2009),http://www.
jcp.
org/en/jsr/detailid=222[Jav09b]JavaCommunityProcess.
JSR245:JavaServerPages2.
1(2009),http://www.
jcp.
org/en/jsr/detailid=245[Jav09c]JavaCommunityProcess.
JSR271:MobileInformationDeviceProle3(2009),http://www.
jcp.
org/en/jsr/detailid=271240Bibliography[Jav11a]JavaCommunityProcess.
JSR224:JavaAPIforXML-BasedWebServices(JAX-WS)2.
0(2011),http://jcp.
org/en/jsr/detailid=224[Jav11b]JavaCommunityProcess.
JSR315:JavaServlet3.
0Specication(2011),http://www.
jcp.
org/en/jsr/detailid=315[Ken03]Kennedy-Carter.
UMLASLReferenceGuide,ASLLanguageLevel2.
5(2003),http://www.
ooatool.
com/docs/ASL03.
pdf[Mic11]Microsoft.
OcialMicrosoftASP.
NETSite(2011),http://www.
asp.
net/[OAS07]OASIS.
WebServicesBusinessProcessExecutionLanguageVersion2.
0(2007),http://docs.
oasis-open.
org/wsbpel/2.
0/OS/wsbpel-v2.
0-OS.
pdf[Obe11]Obeo.
Acceleo-MDAgenerator(2011),http://www.
acceleo.
org[Obj03a]ObjectManagementGroup.
CommonWarehouseMetamodel(CWM)Specication,Version1.
1.
formal/03-03-02(2003),http://www.
omg.
org/spec/CWM/1.
1/[Obj03b]ObjectManagementGroup.
ModelDrivenArchitecture(MDA)GuideVersion1.
0.
1.
omg/2003-06-01(2003),http://www.
omg.
org/cgi-bin/docomg/03-06-01[Obj04]ObjectManagementGroup.
Human-UsableTextualNotation(HUTN)Specication.
formal/2004-08-01,http://www.
omg.
org/spec/HUTN/1.
0/[Obj07]ObjectManagementGroup.
MOF2.
0/XMIMapping,Version2.
1.
1.
formal/2007-12-01(2007),http://www.
omg.
org/spec/XMI/2.
1.
1/[Obj08]ObjectManagementGroup.
MOFModeltoTextTransformationLan-guage,Version1.
0.
formal/2008-01-16(2008),http://www.
omg.
org/spec/MOFM2T/1.
0/[Obj10a]ObjectManagementGroup.
OMGUniedModelingLanguageTM(OMGUML),Infrastructure,Version2.
3.
formal/2010-05-03(2010),http://www.
omg.
org/spec/UML/2.
3/[Obj10b]ObjectManagementGroup.
OMGUniedModelingLanguageTM(OMGUML),Superstructure,Version2.
3.
formal/2010-05-05(2010),http://www.
omg.
org/spec/UML/2.
3/[Obj11a]ObjectManagementGroup.
OMGUniedModelingLanguageTM(OMGUML),Superstructure,Version2.
3.
formal/2010-05-05(2010),http://www.
omg.
org/spec/UML/2.
3/[Obj11b]ObjectManagementGroup.
CommonObjectRequestBrokerArchi-tecture,CORBA(2011),http://www.
omg.
org/spec/CORBA/[Obj11c]ObjectManagementGroup.
MetaObjectFacility(MOF)2.
0Query/View/TransformationSpecication,Version1.
1.
formal/2011-01-01(2011),http://www.
omg.
org/spec/QVT/1.
1/[Obj11d]ObjectManagementGroup.
MetaObjectFacility(MOF)2.
0Query/View/TransformationSpecication,Version1.
1.
formal/2011-01-01(2011),http://www.
omg.
org/spec/QVT/1.
1/[Red11a]RedHat.
JBossApplicationServer(2011),http://www.
jboss.
org/jbossas/[Red11b]RedHat.
jBPM(2011),http://www.
jboss.
org/jbpm[Spr11a]SpringerScience+BusinessMedia.
Springer-InternationalPublisherScience,Technology,Medicine(2011),http://www.
springer.
com/Bibliography241[Spr11b]SpringSource.
SpringFramework(2011),http://www.
springsource.
org/[The11]TheMathWorks.
Simulink-SimulationandModel-BasedDesign(2011),http://www.
mathworks.
co.
uk/products/simulink/[Tig11]TheMathWorks.
Simulink-SimulationandModel-BasedDesign(2011),http://www.
mathworks.
co.
uk/products/simulink/[W3C07]TheMathWorks.
Simulink-SimulationandModel-BasedDesign(2011),http://www.
mathworks.
co.
uk/products/simulink/[W3C09]W3C.
W3CDocumentObjectModel(2009),http://www.
w3.
org/DOM/[W3C11]W3C.
W3CXMLSchema(2011),http://www.
w3.
org/XML/SchemaIndexAabstractformtarget27,31,37,143AnnotationEditor56,140,147,148,213applicationexpert45,46,77,101aspectorientation85,219atomicproposition50,68,164,217Bbenchmarkframework97,133bootstrapping8,12,69,106,191,210BPM26,35,70,117businessexpertseeapplicationexpertBusinessProcessModelingseeBPMCCASE4,19–20,37,53codegenerationfull8,24,33–34,41,69,107,193,202,209template-based28–31,36,96,195,210,220visitor-based29code-to-modeltraceability215–216,218CommonSIBs46,78–79,128,129,131,143,148,157,160,174compiler12,171cross-compiler12self-compiling12,107self-hosting12Computer-AidedSoftwareEngineering,seeCASEconcreteformtarget27constraints42,63,155,219composite158,162global42,54,63–66,77,158–168,209local42,54,55,157–158,209contextkey58,80,110,113,157,217ContextExpression59,128,145,151ContextKey59,80,113,144,145,149,151,173controlowpattern61,78,115–117,120,146,220fork-join61,116,118,173Ddomain14domainexpert45,53,55,56,67,77,211,217domain-speciclanguageseeDSLDomain-SpecicModelingseeDSMDSL15–17,77external16,54internal16,29,54DSM24,34,37,71EEclipseModelingFrameworkseeEMFEcore18,80,177,180–182,188–190,220embeddedsystems108,140,144244IndexEMF18,76,177,179–180,220eventhandling62,123,150ExecutableUML34executioncontext47,58–60,78,110,112,122,124,157,171at60,61,89,94scope59,113,128,151stacked58,61,114,122,128,144,150environment57,146equivalence102,108,170–172footprint171semantics52,57–58,60,76,103,114ExtremeModel-DrivenDevelopment,seeXMDDExtruder57,103–109,121,128,141,146,147FFBB158owcharts115,117ForkSIB61FormulaBuildingBlockseeFBBformulagraph77,158,161–168FormulaBuilder64,77,143,155,158–160,162,210forwardengineering32GGEAR63–69,155,158,159,213,219macro64,158,161–163generationgap33generationlogic8,27,28,30,36,95,210,220GenerativeProgrammingseeGPgeneratordeveloper77generatoruser77Genesysapproach4–9framework75–77GenesysCodeGeneratorGenerator76,95,97,99,100,125,129,174GP20–21,38GraphSIB61,122,131Iidentiergeneration83–85,119,162,163incrementalformalization42,63inspector44interpreter26,57,70,106,121–125,134,136,146,171,210ITexpert45,47,55,57,114,145,155JjABC38,43–46,75plugins48,53–56,62,66,69,77,96,99,152,153,176,199,209–211,217jABCEE146,212jABCExecutionEngineseejABCEEjETI56,196JoinSIB61KKripkeTransitionSystem50,64Llanguageworkbench19,25–26,37,53,71LocalChecker55,63,69,155,157–158looseprogramming211,219Mmacro51,52,58,61,76,115,118,122,131,165,173,175MacroSIB61,89,131Maven9,77,99,185,210MD*3MDA17,22–23,33,69,188Meta-ObjectFacilityseeMOFmetalevel17–19,188–191metametamodel17metamodel7,15,53,180,220model3,14,17executable5,42,70,107,210hierarchical4,41,51,52,61,69,85,162,168,209,210Index245reexive18,181modelbranch52,123modelchecking7,38,41,63,155,168,209,210,213,217ModelDrivenArchitectureseeMDAmodelparameter,52,104,217model-baseddevelopment3model-drivendevelopment3modelinglanguageseeDSL(domain-speciclanguage)MOF17,180multi-threading61,150,173OOne-Thing-ApproachseeOTAOTA41outputdescription8,27,28,30,36,95,210,220Pproductlines8,20,85,120,210,211,218–219propertyspecicationpatterns64,158,160,162–168protectedregions32,179PureGenerator109Rrecursion58,115,128,131,133,173reverseengineering32,211round-tripengineering8,23,32–33,41,101,194,196,209full33partial32Sself-generatinggenerator107semantics16static7,15,54,55translational16serviceadapter48,50,57,68,70,110–112,114,122,123,139,141,144,150,153,183,208descriptor110,111,122ServiceIndependentBuildingBlockseeSIBServiceLogicGraphseeSLGSIB43,46–50branch,47,48,51,122controlSIBs54,60–62,108,122,123,131,133,142,150datatypes48parameter47,48proxySIB53,58,162startSIB57,152,162SIBexpertseeITexpertSIBGraphModel53,103,108,121,129,133,135,141SLG43,50–54branchseemodelbranchparameterseemodelparameterrecursive59structuredcode103,114–121,126,128,131,134,136,142,143syntaxabstract7,15,53concrete15,53,159,171synthesis211,219TT-diagram13,95,106taxonomy44,53,56,69,209template28,29,83,91,93,95,131,157,210,219,220engine28,29,36,60,79,131,157,179,183,209,220language30,38,60,95,177testcase156,168–176,209,217script170,175suite133,168,169,173,175–176,217testing7,76,155,168–176,209,217–218back-to-back172,209data-driven172ThreadSIB61,122Tracer57–63,69,70,76,94,102–110,114,129,131–133,139,141,146,152,169,171,174,176,210,216,219transformation23engine31246Indexhard-coded27,28,31model-to-code19model-to-model31,87,119,125,136,142,216,220,221model-to-text19,31rule-based27,31,37,160,210source-driven27,36,96target-driven27,31,36,96typemapping79–83,103,113–114,119,142,144,145,149,164UUML17,30,33,34,37,54,69,180,193prole195UniedModelingLanguageseeUMLuserobjects53,54,97VV&V7,34–35,69,155–176,209variants45,85–87,120,125,128,130,135,208,210,218–219variationpoint85,120,218,219views42,218,220visitor28,29Wweaving87,219XXMDD38,40–43,75