SBMF 2015 ANAIS PROCEEDINGS. 18 th BRAZILIAN,SYMPOSIUM,ON,FORMAL,METHODS September,21>22,,2015 Belo,Horizonte,,MG,,Brazil,
|
|
|
- Mavis Whitehead
- 8 years ago
- Views:
Transcription
1 I
2 SBMF th BRAZILIANSYMPOSIUMONFORMALMETHODS September21> BeloHorizonte MGBrazil ANAIS PROCEEDINGS COORDENADORESDOCOMITÊDEPROGRAMADOSBMF2015 PROGRAM'COMMITTEE'CHAIRS'OF'SBMF'2015 MárcioCornélio(UFPEBrazil) BillRoscoe(UniversityofOxfordUK) COORDENADORESGERAISDOCBSOFT2015 CBSOFT'2015'GENERAL'CHAIRS EduardoFigueiredo(UFMG) FernandoQuintão(UFMG) KeciaFerreira(CEFET>MG) MariaAugustaNelson(PUC>MG) REALIZAÇÃO ORGANIZATION UniversidadeFederaldeMinasGerais(UFMG) PontíficiaUniversidadeCatólicadeMinasGerais(PUC>MG) CentroFederaldeEducaçãoTecnológicadeMinasGerais(CEFET>MG) PROMOÇÃO PROMOTION SociedadeBrasileiradeComputação BrazilianComputingSociety APOIO SPONSORS CAPESCNPqFAPEMIGGoogleRaroLabsTake.net ThoughtWorksAvenueCodeAvantiNegócioseTecnologia. II
3 APRESENTAÇÃO OSimpósioBrasileirodeMétodosFormais(SBMF)2015éumeventoquevisadisseminar odesenvolvimentoeusodemétodosformaisparaaconstruçãoeaverificaçãode sistemascomputacionais.éumeventoconsolidadocomreputaçãointernacional.sua primeiraediçãoocorreunoanode1998indoparasua18 a ediçãonoanode2015. Estevolumecontémosresumosdosartigosapresentadosno18ºSimpósioBrasileirode MétodosFormais(SBMF).AconferênciaocorreuemBeloHorizonteBrasilcomoparte da6 a ConferênciaBrasileiradeSoftware:TeoriaePrática(CBSoft)quereúneoutrostrês simpósios:simpósiobrasileirodeengenhariadesoftware(sbes)simpósiobrasileirode LinguagensdeProgramação(SBLP)eSimpósioBrasileirodeComponentesArquiteturase ReutilizaçãodeSoftware(SBCARS). OSBMFtrouxedoispalestrantesconvidados:AdenilsoSimão(ICMC/USPSãoCarlosSP Brasil)eSumitGulwani(MicrosoftResearchEUA). Umtotalde12artigosforamapresentadosnaconferência.Elesforamselecionadosentre 25submissõescomautoresde10países:ÁfricadoSulAlemanhaBrasilCanadáEstados UnidosFrançaHolandaInglaterraLuxemburgoeSuécia. OComitêdeProgramafoiconstituídopor41membrosdacomunidadenacionale internacionaldemétodosformais.asdeliberaçõesdocomitêdeprogramaea preparaçãodosanaisforamfeitoscomoauxíliodosistemaeasychair.gostaríamosde agradeceraocomitêdeprogramaeaosrevisoresadicionaispelassuascontribuiçõesna avaliaçãodassubmissõesenassugestõesdemelhorias.emparticularagradecemosa ChristianoBragaJulianoIyodaeRohitGheyicoecoordenadoresdeediçõesanterioresdo SBMFqueestiveramsempredisponíveisparanosajudarecompartilhardesua experiência. ASociedadeBrasileiradeComputação(SBC)anualmentepromoveoSBMF.Somosgratos aoscoordenadoresgeraisdocbsoft2015quetrabalharamarduamenteparaquetudo funcionassebemeduardofigueiredo(ufmg)fernandoquintão(ufmg)keciaferreira (CEFETeMG)eMariaAugustaNelson(PUCeMG).EmnomedoComitêdeProgramadamos boasvindasaosparticipantesdosbmf2015edesejamosatodosumsimpósioprolíficoe umasemanaprodutivaembelohorizonte. BeloHorizonteSetembrode2015. MárcioCornélio BillRoscoe III
4 FOREWORD TheBrazilianSymposiumonFormalMethods(SBMF)2015istheeighteenthofaseriesof eventsdevotedtothedevelopmentdisseminationanduseofformalmethodsforthe constructionofhighequalitycomputationalsystems.itisnowawelleestablishedevent withaninternationalreputation.thefirsteditionoccurredin1998. ThisvolumecontainstheabstractsofthepaperspresentedatSBMF2015:the18th BrazilianSymposiumonFormalMethods.TheconferencewasheldinBeloHorizonte BrazilcolocatedwithCBSoft2015the6thBrazilianConferenceonSoftware:Theoryand Practicewhichintegratesotherthreesymposia:BrazilianSymposiumonSoftware Engineering(SBES)BrazilianSymposiumonProgrammingLanguages(SBLP)andBrazilian SymposiumonSoftwareComponentsArchitecturesandReuse(SBCARS). TheconferenceincludedtwoinvitedtalksgivenbyAdenilsoSimão(ICMC/USPSãoCarlos SPBrazil)andSumitGulwani(MicrosoftResearchUSA). Atotalof12paperswerepresentedattheconference.Theywereselectedfrom25 submissionsthatcamefrom10differentcountries:brazilcanadafrancegermany LuxembourgNetherlandsSouthAfricaSwedenUnitedKingdomandUnitedStatesof America. TheProgramCommitteewascomposedby41membersfromthenationaland internationalcommunityofformalmethods.thedeliberationsoftheprogramcommittee werehandledbyeasychair.wearegratefultotheprogramcommitteeandtothe additionalreviewersfortheirhardworkinevaluatingsubmissionsandsuggesting improvements.inparticularspecialthanksgotochristianobragajulianoiyodaand RohitGheyicoechairsofpreviouseditionsofSBMFwhowerealwaysavailabletohelpus andtosharehisexperienceandwisdom. TheBrazilianComputerSociety(SBC)annuallypromotesSBMF.Weareverythankful tothegeneralchairsofcbsoft2015eduardofigueiredo(ufmg)fernandoquintão (UFMG)KeciaFerreira(CEFETeMG)andMariaAugustaNelson(PUCeMG)whomade everythingpossiblefortheconferencetorunsmoothly.onbehalfoftheprogram CommitteewewelcomealltheSBMF2015attendeesandwishafruitfulsymposiumand aproductiveweekinbelohorizonte. BeloHorizonteSeptember2015 MárcioCornélio BillRoscoe IV
5 COMITÊ DE ORGANIZAÇÃO ORGANIZING COMMITTEE CBSOFT2015GENERALCHAIRS EduardoFigueiredo(UFMG) FernandoQuintão(UFMG) KeciaFerreira(CEFETeMG) MariaAugustaNelson(PUCeMG) CBSOFT2015LOCALCOMMITTEE CarlosAlbertoPietrobon(PUCeMG) GlíviaAngélicaRodriguesBarbosa(CEFETeMG) MarceloWerneckBarbosa(PUCeMG) HumbertoTorresMarquesNeto(PUCeMG) JulianaAmaralBaronideCarvalho(PUCeMG) WEBSITEANDSUPPORT DiegoLima(RaroLabs) PauloMeirelles(FGAeUnB/CCSLeUSP) GustavodoVale(UFMG) JohnatanOliveira(UFMG) V
6 VI COMITÊ TÉCNICO TECHNICAL COMMITTEE COORDENADORESDOCOMITÊDEPROGRAMA PROGRAM'COMMITTEE'CHAIRS MárcioCornélio(UFPEBrazil) BillRoscoe(UniversityofOxfordUK) COMITÊDIRETIVO STEERING'COMMITTEE RohitGheyi(UFCGBrazil) DavidNaumann(StevensInstituteofTechnologyUSA) JulianoIyoda(UFPEBrazil) LeonardodeMoura(MicrosoftResearchUSA) ChristianoBraga(UFFBrazil) NarcisoMartí>Oliet(UniversidadComplutensedeMadridSpain) MárcioCornélio(UFPEBrazil) BillRoscoe(UniversityofOxfordUK) COMITÊDEPROGRAMA PROGRAM'COMMITTEE AlineAndrade(UFBABrazil) WilkersonAndrade(UFCGBrazil) LuisBarbosa(UniversidadedoMinhoPortugal) ChristianoBraga(UFFBrazil) MichaelButler(UniversityofSouthamptonUK) AnaCavalcanti(UniversityofYorkUK) SimoneCavalheiro(UFPelBrazil) MárcioCornélio(UFPEBrazil)coechair AndreaCorradini(UniversitàdiPisaItaly) JimDavies(UniversityofOxfordUK) DavidDeharbe(UFRNBrazil) EwenDenney(RIACS/NASAUSA) ClareDixon(UniversityofLiverpoolUK) AdalbertoFarias(UFCGBrazil) RohitGheyi(UFCGBrazil) RolfHennicker(LudwigeMaximilianseUniversitaetMuenchenGermany) JulianoIyoda(UFPEBrazil) PeterLarsen(AarhusUniversityDenmark) BrunoLopes(PUCeRioBrazil) AnamariaMoreira(UFRJBrazil) PatríciaMachado(UFCGBrazil) NarcisoMartí>Oliet(UniversidadComplutensedeMadridSpain) TiagoMassoni(UFCGBrazil)
7 VII AnaMelo(USPBrazil) AlvaroMoreira(UFRGSBrazil) AlexandreMota(UFPEBrazil) LeonardoMoura(MicrosoftResearchUSA) ArnaldoMoura(UnicampBrazil) PeterMüller(ETHZürichSwitzerland) DavidNaumann(StevensInstituteofTechnologyUSA) MarcelOliveira(UFRNBrazil) JoseOliveira(UniversidadedoMinhoPortugal) LeilaRibeiro(UFRGSBrazil) BillRoscoe(UniversityofOxfordUK)coechair AugustoSampaio(UFPEBrazil) LeilaSilva(UFSBrazil) AdenilsoSimão(USPBrazil) SofièneTahar(ConcordiaUniversityCanada) LeopoldoTeixeira(UFPEBrazil) HeikeWehrheim(UniversityofPaderbornGermany) JimWoodcock(UniversityofYorkUK) REVISORESEXTERNOS EXTERNAL'REVIEWERS LuisAguirre AdilsonBonifácio AlaeddineDaghar AhmedHachani NunoMacedo AlexandreMadeira IsabelPita ValdivinoSantiagoJúnior GustavoSoares CláudiaTavares
8 PALESTRAS CONVIDADAS INVITED TALKS ApplicationsofFormalMethodstoDataWranglingandEducation SumitGulwani(MicrosoftResearchUSA) Abstract:Dataislockedupinsemiestructuredformatssuchasspreadsheetstext/log fileswebpagespdfdocuments.gettingdataoutofthesedocumentsintostructured formatsthatallowthedatatobeexploredandanalyzedischallenging.whiledata scientistsspend80%oftheirtimecleaningdataprogrammaticsolutionstodata manipulationarebeyondtheexpertiseof99%ofenduserswhodonotknow programming.programmingbyexamples(pbe)canmakedatawranglingadelightful experienceforthemasses.thefirstpartofthistalkwilldescribehowformalmethodscan beusedtoaddresstwokeychallengesinpbe:(a)efficientsearchalgorithmstoexplore thehugestatespaceofprogramstofindthosethatmatchtheusereprovidedexamples and(b)effectiveambiguityresolutiontechniquestodealwiththeinherentambiguityin theexamples.thesecondpartofthistalkwilldescribehowformalmethodscanhelp automatedtwokeytasksineducationnamely(a)problemgenerationand(b)feedback generation.iwillillustratethisusingrecentresearchresultsthathavebeenappliedto variousstemsubjectdomainsincludingmathematicsprogramminglogicandautomata theory.theseresultsadvancethestateeofetheeartinintelligenttutoringandcanplaya significantroleinenablingpersonalizedandinteractiveeducationinbothstandard classroomsandmoocs. SumitGulwaniisaprincipalresearcheratMicrosoftResearch(inRedmondUSA)andan adjunctfacultyinthecomputersciencedepartmentatiitkanpur(india).hehas expertiseinformalmethodsandautomatedprogramanalysisandsynthesistechniques. Hisrecentresearchinterestsareinthecrossedisciplinaryareasofautomatingendeuser programmingandbuildingintelligenttutoringsystems.hisprogrammingebyeexample workledtotheflashfillfeatureofmicrosoftexcel2013thatisusedbyhundredsof millionsofpeople.hewasawardedtheacmsigplanrobinmilneryoungresearcher Awardin2014.HeobtainedhisPhDinComputerSciencefromUCeBerkeleyin2005and wasawardedtheacmsigplanoutstandingdoctoraldissertationaward.heobtained hisbtechincomputerscienceandengineeringfromiitkanpurandwasawardedthe President'sGoldMedal. VIII
9 Totestornottotestthatisformalquestion AdenilsoSimão(ICMC/USPSãoCarlosSPBrazil) Abstract:Thedemandofhighlydependablesoftwarehasgreatlymotivatedtheresearch oftwoimportantareasofsoftwareengineeringnamelyformalmethodsandsoftware testing.bothareashavematuredconsiderablyinthelastyearstothepointofbeing mainstreamapproachesinthedevelopmentofcriticalsystems.howeverdespitesome fruitfulexchangeofideasbetweenthemformalmethodsandsoftwaretestinghave advancedsomehowisolatedfromeachother.inthistalkwereviewtheachievements relatedtothecombinationofformalmethodsandsoftwaretesting.wewilldiscussfor instancehowtestingcanbeformalandhowformalmethodscanbeaidedbytesting.the maingoalofthistalkistoidentifyopportunitiestostrengthentheexchangebetween thesetwoexcitingandimportantareas. AdenilsoSimãoreceivedtheBSdegreeincomputersciencefromtheStateUniversityof Maringa(UEM)Brazilin1998andtheMSandPhDdegreesincomputersciencefrom theuniversityofsaopaulo(usp)brazilin2000and2004respectively.since2004he hasbeenaprofessorofcomputerscienceatthecomputersystemdepartmentofusp. FromAugust2008toJuly2010hehasbeenonasabbaticalleaveatCentredeRecherche InformatiquedeMontreal(CRIM)Canada.Hehasreceivedbestpaperawardsinseveral importantconferences.hehasalsoreceiveddistinguishingteacherawardsinmany occasions.hisresearchinterestsincludesoftwaretestingandformalmethods. IX
10 X INDICE TABLE OF CONTENTS ABSTRACTS SESSION1:ModelChecking Hard>wiringCSPHiding:ImplementingChannelAbstractiontoGenerate VerifiedConcurrentHardware FranciscoMacárioandMarcelViniciusMedeirosOliveira 1 InstantiationReductioninIterativeParameterisedThree>ValuedModel Checking NilsTimmandStefanGruner 2 SESSION2:LanguagesandSemantics MobileCSP JimWoodcockAndyWellingsandAnaCavalcanti 3 EvaluatingtheAssignmentofBehavioralGoalstoCoalitionsofAgents ChristopheCharetonJulienBrunelandDavidChemouil 4 TowardsReasoninginDynamicLogicswithRewritingLogic:thePetri>PDL Case ChristianoBragaandBrunoLopes 5 SESSION3:RefinementandVerification RefinementstrategiesforSafety>CriticalJava ÁlvaroMiyazawaandAnaCavalcanti 6 VerifyingTransformationsofJavaprogramsusingAlloy TarcianaSilvaAlexandreMotaandAugustoSampaio 7 AMechanizedTextbookProofofaTypeUnificationAlgorithm RodrigoRibeiroandCarlosCamarão 8 SESSION4:TESTINGANDEVALUATION Automaticgenerationoftestcasesandtestpurposesfromnaturallanguage SidneyC.NogueiraHugoL.S.AraujoRenataB.S.AraujoJulianoIyodaand AugustoSampaio 9 TimePerformanceFormalEvaluationofComplexSystems ValdivinoAlexandredeSantiagoJúniorandSofieneTahar 10 TestCaseGenerationfromNaturalLanguageRequirementsusingCPN Simulation BrunoCesarF.SilvaAugustoSampaioandGustavoCarvalho 11
11 Hard>wiringCSPHiding:ImplementingChannelAbstractiontoGenerate VerifiedConcurrentHardware F.J.S.MacárioandM.V.M.Oliveira DepartamentodeInformáticaeMatemáticaAplicadaUFRNBrazil Throughoutthedevelopmentofconcurrentsystemscomplexitymayeasilygrow exponentiallyyieldingaverycomplexanderroreproneprocess.byusingformallanguages likecspwemaysimplifythistaskincreasingthelevelofconfidenceontheresulting system.unfortunatelysuchlanguagesarenotexecutable:thegapbetweenthe specificationlanguageandanexecutableprogrammustbesolved.inpreviousworkwe presentedatoolcsp2hcthattranslatesaconsiderablesubsetofcspintohandelec sourcecodewhichcanitselfbeconvertedtoproducefilestoprogramfpgas.thissubset restrictstheuseofdatastructuresandcsphiding.inthispaperwepresentanextension tocsp2hcthatincludessequencesinthesetofacceptabledatastructuresandcompletely dealswiththecsphidingoperator.finallywevalidateourextensionbyapplyingthe translationapproachtoaindustrialscalecasestudythesteamboiler. 1
12 InstantiationReductioninIterativeParameterisedThree>ValuedModel Checking NilsTimmandStefanGruner DepartmentofComputerScienceUniversityofPretoriaSouthAfrica Weintroduceanenhancedapproachtoparameterisedthreeevaluedmodelchecking (PMC)basedoniterativeparameterisation.Themodelisparameteriseduntilitisprecise enoughforadefiniteverificationresult.resultsfrompastiterationsarereusedtoreduce thenumberofparameterinstancesinfutureiterations.ourapproachisbasedonasat encoding.intheinitialiterationweconstructanovereapproximationofallpossible instancesinlateriterations.forthisovereapproximationwecomputethesetofall satisfyinginterpretations.allsubsequentiterationsarethenaccomplishedbyvalidating whetherforeachinstanceoneoftheprecomputedinterpretationsissatisfyingaswell whichislesscostlythansolvingeachsatinstancefromscratch.ouriterative parameterisationapproachleadstoasubstantialspeedeupofpmc. 2
13 MobileCSP JimWoodcockAndyWellingsandAnaCavalcanti DepartmentofComputerScienceUniversityofYork WedescribeanextensionofimperativeCSPwithprimitivestodeclareneweventnames andtoexchangethembymessagepassingbetweenprocesses.wegiveexamplesin MobileCSPtomotivatethelanguagedesignanddescribeitssemanticdomainbasedon thestandardfailuresedivergencesmodelforcspbutalsorecordingadynamicevent alphabet.thetracescomponentisidenticaltotheseparationlogicsemanticsofhoare& O Hearn.OurnovelcontributionisasemanticsformobilechannelsinCSPdescribedin UnifyingTheoriesofProgrammingthatsupports:compositionalitywithotherlanguage paradigms;channelfaultsnondeterminismdeadlockandlivelock;multieway synchronisation;andmanyetoemanychannels.wecompareandcontrastoursemantics withotherapproachesincludingtheπecalculusandconsiderimplementationissues.as wellasmodellingreconfigurablesystemsourextensiontocspprovidessemanticsfor techniquessuchasdynamicclasseloadingandthefulluseofdynamicdispatchingand delegation. 3
14 EvaluatingtheAssignmentofBehavioralGoalstoCoalitionsofAgents ChristopheChareton 1 JulienBrunel 2 DavidChemouil 2 1 École&Polytechnique-de-Montréal-Montreal-(Quebec)-Canada 2 Onera/DTIMToulouseFrance Wepresentaformalframeworkforsolvingwhatwecallthe assignmentproblem :given asetofbehavioralgoalsforasystemandasetofagentsdescribedbytheircapabilitiesto makethesystemevolvetheproblemistofinda good assignmentofgoalsto (coalitionsof)agents.todosowedefinekoreacoremodellingframeworkaswellasits semanticsintermsofastrategylogiccalledusl.inkoreagentsaredefinedbytheir capabilitieswhicharepreeandposteconditionsonthesystemvariablesandgoalsare definedintermsoftemporallogicformulas.thenanassignmentassociateseachgoal withthecoalitionofagentsthatisresponsibleforitssatisfaction.ourproblemconsistsin definingandcheckingthecorrectnessofthisassignment.wedefinedifferentcriteriafor modellingandformalizingthisnotionofcorrectness.theyreducetothesatisfactionof USLformulasinastructurederivedfromthecapabilitiesofagents.Thusweendupwith aprocedurefordecidingthecorrectnessoftheassignment.weillustrateourapproach usingatoyexamplefeaturingexchangesofresourcesbetweenaproviderandtwoclients. 4
15 TowardsReasoninginDynamicLogicswithRewritingLogic:thePetri>PDL Case ChristianoBragaandBrunoLopes InstitutodeComputaçãoUniversidadeFederalFluminenseNiteróiBrazil Safetyisadesiredpropertyinsoftwaretoensurethatnounforeseenscenarioswillbe achievedandinconcurrentsystemsthevarietyofscenariosincreasethecomplexity. DynamicLogics(DL)presentalargebodyoftechniquestoreasonaboutsystemsand certifysystems.modellingandassessingconcurrentsystemswithaformalsemantics leadstothepossibilityofprovingthattheycomplywiththeirspecification.petrinets fulfilltherequirementsasaformalmodellinglanguagecomprisingawidebodyoftools andanintuitivegraphicalinterpretation.petriepdlputstogetherdlwithpetrinets providingatheoreticalbackgroundtoreasonaboutpetrinetsinheritingtheirproperties withallthetechniquesavailablefordl.thisworkpresentsaprototypeimplementation intherewritinglogiclanguagemaudeofaboundedmodelcheckerforpetriepdl.the PetriePDLmodelcheckerisformallydesignedfollowingtherepresentationofKripke modelsasrewritetheoriesdefinedforthelineartemporallogicmodelcheckeravailable inmaude. 5
16 RefinementstrategiesforSafety>CriticalJava AlvaroMiyazawaandAnaCavalcanti DepartmentofComputerScienceUniversityofYorkYorkUK SafetyeCriticalJava(SCJ)isaversionofJavathatsupportsthedevelopmentofrealetime embeddedsafetyecriticalsoftware.scjintroducesabstractionsthatenforceasimpler architectureandsimplerconcurrencyandmemorymodelstosupporteasier certi cation.inthispaperwedetailare nementstrategythattakesastateerichprocess algebraicdesignspecificationthatadherestoacyclicexecutivepatternandproducesan SCJdesignthatcanbeautomaticallytranslatedtocode.Wethenshowhowthis refinementstrategycanbeextendedtosupportmorecomplexpatternsthatincludenone terminatingandmultiplemissions. 6
17 VerifyingTransformationsofJavaprogramsusingAlloy TarcianaDiasdaSilvaAugustoSampaioandAlexandreMota UniversidadeFederaldePernambucoeCentrodeInformáticaPernambucoBrazil InthispaperweverifyJavatransformationsbyusingafourth stagestrategy.initiallywe embedmodelsinalloy:ametamodelforasubsetofthejavaamodelforeachprogram transformationbeinginvestigatedandanotheroneforaprogramcalledvalidatorthat exercisesmethodsofeachsideofthetransfomation.secondlyweusethealloyanalyzer tofindvalidinstancescorrespondingtopairs(leftandrightehandsidesofaprogram transformation)andinstancesofthevalidator.ifinstancescanbefoundthismeansthey describewell formedprogramsaslongastransformationconditionsstructuralandtype constraintsareformallystatedinourmodels.thirdlywedevelopedatoolthattranslates thealloyinstancestojava;finallytheseareexecutedandtheresultsusedtoverify whetherthereareanydynamicsemanticproblemsintheresultingprograms. 7
18 AMechanizedTextbookProofofaTypeUnificationAlgorithm RodrigoRibeiro 1 andcarloscamarão 2 1 UniversidadeFederaldeOuroPretoJoãoMonlevadeMinasGeraisBrazil rodrigo@decsi.ufop.br 2 UniversidadeFederaldeMinasGeraisBeloHorizonteMinasGeraisBrazil camarao@dcc.ufmg.br Unificationisthecoreoftypeinferencealgorithmsformodernfunctionalprogramming languageslikehaskell.asafirststeptowardsaformalizationofatypeinference algorithmforsuchprogramminglanguageswepresentaformalizationincoqofatype unificationalgorithmthatfollowsclassicalgorithmspresentedinprogramminglanguage textbooks. 8
19 Automaticgenerationoftestcasesandtestpurposesfromnatural language SidneyNogueira 12 HugoL.S.Araujo 1 RenataB.S.Araujo 1 JulianoIyoda 1 andaugusto Sampaio 1 1 Centro'de'Informá tica'universidade'federal'de'pernambuco 2 DEINFOUniversidadeFederalRuraldePernambuco Usecasesarewidelyusedforrequirementsdescriptioninthesoftwareengineering practice.asausecaseeventflowisoftenwritteninnaturallanguageitlackstoolsfor automaticanalysisorprocessing.inthispaperweextendpreviousworkthatproposesan automaticstrategyforgeneratingtestcasesfromusecaseswritteninacontrolled NaturalLanguage(CNL)whichisasubsetofEnglishthatcanbeprocessedandtranslated intoaformalrepresentation.hereweproposeastateebasedcnlfordescribingusecases. WetranslatestateebasedusecasedescriptionsintoCSPprocessesfromwhichtestcases canbeautomaticallygenerated.inadditionweshowhowasimilarnotationcanbeused tospecifytestselectionviathedefinitionofstateebasedtestpurposeswhicharealso translatedintocspprocesses.testgenerationandselectionaremechanisedbyrunning refinementcheckingverificationsusingthecspprocessesforusecasesandtest purposes.allthestepsofthestrategyareintegratedintoatoolthatprovidesaguifor authoringusecasesandtestpurposesdescribedintheproposedcnlsotheformalcsp notationistotallyhiddenfromthetestdesigner.weillustrateourtoolandtechniques witharunningexample. 9
20 TimePerformanceFormalEvaluationofComplexSystems Valdivino)Alexandre)de)Santiago)Jú nior 1 andsofiènetahar 2 1 InstitutoNacionaldePesquisasEspaciais(INPE) Av.dosAstronautas1758SãoJosédosCamposSãoPauloSPBrazil. valdivino.santiago@inpe.br 2 ConcordiaUniversity 1455DeMaisonneuveBlvd.WestMontrealQCCanada tahar@ece.concordia.ca FormalverificationmethodssuchasModelCheckinghavebeenusedforaddressing performance/dependabilityanalysisofsystems.suchformalmethodshaveseveral advantagesovertraditionaltechniquesaimingatperformance/dependabilityanalysis suchastheuseofasinglecomputationaltechniqueforevaluationofanymeasureandall complexnumericalcomputationstepsarehiddentotheuser.thispaperreportsonthe useofprobabilisticmodelcheckingfortimeperformanceevaleuationofcomplex systems.weproposeanapproachtperpthatallowsaprofessionaltoclearlyaddress timeperformanceanalysisbasedoncontinuousetimemarkovchain(ctmc).our approachtakesintoconsiderationseveraltypesofdelayanalyzes.weappliedittoa balloonebornehighenergyastrophysicsscientificexperimentwherewedealtwithctmcs thathadaround30millionreachablestatesand75milliontransitionsandweconcluded thatthecurrentdefinitionusedintheballoonsystemisinadequateintermsof performance. 10
21 TestCaseGenerationfromNaturalLanguageRequirementsusingCPN Simulation BrunoCesarF.SilvaGustavoCarvalhoandAugustoSampaio UniversidadeFederaldePernambucoeCentrodeInformáticaBrazil Weproposeatestgenerationstrategyfromnaturallanguage(NL)requirementsvia translationintocoloredpetrinets(cpn)anextensionofpetrinetsthatsupportsmodel structuringandprovidesamaturetheoryandpowerfultoolsupport.thisstrategy extendsourpreviousworkonthenat2testframeworkwhichinvolvessyntacticand semanticanalysesofnlrequirementsandthegenerationofdataflowreactivesystems (DFRS)asanintermediaterepresentationfromwhichtargetformalmodelscanbe obtainedforthepurposeoftestcasegeneration.ourcontributionsincludeasystematic translationofdfrssintocpnmodelsbesidesastrategyfortestgeneration.weillustrate ouroverallapproachwitharunningexample. 11
Schneps, Leila; Colmez, Coralie. Math on Trial : How Numbers Get Used and Abused in the Courtroom. New York, NY, USA: Basic Books, 2013. p i.
New York, NY, USA: Basic Books, 2013. p i. http://site.ebrary.com/lib/mcgill/doc?id=10665296&ppg=2 New York, NY, USA: Basic Books, 2013. p ii. http://site.ebrary.com/lib/mcgill/doc?id=10665296&ppg=3 New
USHP%Election%2015% President%Elect%(vote%for%1)% Elyse%Macdonald,%PharmD,%MS,%BCPS%%%
USHPElection2015 PresidentElect(votefor1) ElyseMacdonald,PharmD,MS,BCPS ElyseiscurrentlyaDrugInformationSpecialistwiththeUniversityofUtahDrugInformationService.Sheearnedher PharmDin2008fromCreightonUniversitySchoolofPharmacyandHealthProfessionsinOmaha,NE.Shecompletedher
Oracle E-Business Suite Controls: Application Security Best Practices
Table of Contents Table of Contents vi Acknowledgements 1 Foreword 2 What Makes This Book Different 3 Who Should Read this Book 3 Organization of this Book 4 Chapter 1: Introduction 5 Chapter 2: Introduction
Student Group Management System (SGMS) Advisor Guide 2.0
Student Group Management System (SGMS) Advisor Guide 2.0 Copyright 2008 www.symplicity.com Page 1 of 18 Table of Contents Section 1: Adding a Channel to Your Portal... 3 Section 2: Logging into SGMS2...
SPF GOOD PRACTICE GUIDE
Using this guide This guide accompanies the National Treasury s Strategic Procurement Framework (SPF) for Strategic Sourcing in the Public Sector. For more information, visit the National Treasury website
THE UNIVERSITY OF HONG KONG FACULTY OF BUSINESS AND ECONOMICS. School of Business PMBA2232 Total Quality Management
I. Information on Instructor Instructor: Prof. Simon S.K. Lam Email: simonlam@business.hku.hk Office: MW 603 Phone: 2859 1009 Consultation times: By appointment Tutor: Pre-requisites: Textbook: II. Course
EMPLOYEE PERFORMANCE REVIEW FORM
EMPLOYEE PERFORMANCE REVIEW FORM The employee under review must complete all sections designated Employee. Supervisors must completed all sections designated Supervisor. Performance Reviews should be submitted
EXAMPLE OF ELIGIBLE AND INELIGIBLE COURSES
Non-FEWA Continuing Education Coursework Form Candidates seeking CFLC certification may submit non-fewa continuing education coursework for approval provided they meet the objectives of the CFLC Core Program
Nonprofit Mergers and Collaborations. This is an abstract. Click here to access the full study, available in portuguese.
Nonprofit Mergers and Collaborations This is an abstract. Click here to access the full study, available in portuguese. Sponsored by Nonprofit Collaborations and Mergers In Brazil there are close to 300,000
Fractions to decimals
Worksheet.4 Fractions and Decimals Section Fractions to decimals The most common method of converting fractions to decimals is to use a calculator. A fraction represents a division so is another way of
PG DIPLOMA IN GLOBAL STRATEGIC MANAGEMENT LIST OF BOOKS*
PG DIPLOMA IN GLOBAL STRATEGIC MANAGEMENT LIST OF BOOKS* Paper I: INTERNATIONAL BUSINESS ENVIRONMENT Global Business Environment (ICMR Publication Textbook) [Ref. No: GBE 11 2K4 23] [ISBN: 81-7881-693-8]
PERFORMANCE APPRAISAL FOR FACULTY
PERFORMANCE APPRAISAL FOR FACULTY For the Period from.. to. Part I (To be filled by the Establishment Branch) 1. Name of the Faculty Member (in Capital Letters) 2. Designation 3. Whether the officer belongs
CORPORATE GOVERNANCE SUMMARY OF BEST PRACTICE GUIDELINES
CORPORATE GOVERNANCE SUMMARY OF BEST PRACTICE GUIDELINES Willemstad, November 2006 Corporate Governance Summary of Best Practice Guidelines Index I II III IV V VI VII VIII IX X XI Stewardship Supervisory
Web Site Help. Table of Contents
Web Site Help Table of Contents Building Coursepacks... 2 Adding Course Materials to your Library... 3 Creating and Activating a Coursepack... 4 Adding Materials to a Coursepack... 4 Activating a Coursepack...
II. Admin The Admin window is where users are added and deleted.
Women s Premier League Content Management Software Welcome to the new WPSL Web Content Management system. Through Content Management Software (CMS) you will be able to add and edit web content for your
MICHIGAN POLITICAL SCIENCE ASSOCIATION (As Ratified in 1970 and Revised in 1979 and 2014)
CHARTER MICHIGAN POLITICAL SCIENCE ASSOCIATION (As Ratified in 1970 and Revised in 1979 and 2014) Article I Name, Acronym, Logo The professional association created by this charter shall be known as the
RARITAN VALLEY COMMUNITY COLLEGE ACADEMIC COURSE OUTLINE OCCUPATIONAL SAFETY AND HEALTH FOR EMERGENCY SERVICES FIRE 204
RARITAN VALLEY COMMUNITY COLLEGE ACADEMIC COURSE OUTLINE OCCUPATIONAL SAFETY AND HEALTH FOR EMERGENCY SERVICES FIRE 204 I. Basic Course Information A. Course Number and Title: Occupational Safety and Health
CHARTER TIO Board of Directors
CHARTER TIO Board of Directors Date: 3 June 2014 TIO Board of Directors Charter Introduction This Charter has been adopted by the Board of Directors of Telecommunications Industry Ombudsman Limited (TIO
Integrated Dual Degree B. Tech. + M. Tech. / MBA - I Semester S. No. Subject Code Name of Subject L-T-P Credits Theory Subjects 3-1-0 4
Integrated Dual Degree B. Tech. + M. Tech. / MBA - I Semester 1 PH 102 / Engineering Physics / CY 101 Engineering Chemistry 2 MA 101 Mathematics I 3 CE 101 Engineering Mechanics 2-1-0 3 4 CS 101 Computer
"Charting the Course... MOC 20409 B Server Virtualization with Windows Hyper-V and System Center. Course Summary
Description Course Summary This five day course will provide you with the knowledge and skills required to design and implement Microsoft Server solutions using Hyper-V and System. Objectives At the end
STATE UNIVERSITY OF NEW YORK COLLEGE OF TECHNOLOGY CANTON, NEW YORK COURSE OUTLINE ACCT 410 INTERNATIONAL ACCOUNTING
STATE UNIVERSITY OF NEW YORK COLLEGE OF TECHNOLOGY CANTON, NEW YORK COURSE OUTLINE ACCT 410 INTERNATIONAL ACCOUNTING Prepared by: Christa K. Kelson SCHOOL OF BUSINESS AND LIBERAL ARTS ACCOUNTING MAY 2015
Conflict of Interest Policy
TIDEPOOL PROJECT Conflict of Interest Policy Article I Purpose The purpose of this conflict of interest policy (this Policy ) is to protect the interests of Tidepool Project (the Organization ) when it
San$Diego$Imperial$Counties$Region$of$Narcotics$Anonymous$ Western$Service$Learning$Days$$ XXX$Host$Committee!Guidelines$ $$
SanDiegoImperialCountiesRegionofNarcoticsAnonymous WesternServiceLearningDays XXXHostCommitteeGuidelines I. Purpose ThepurposeoftheWesternServiceLearningDays(WSLD)XXXHostCommittee(HostCommittee)isto organize,coordinateandproducethewsldxxxeventwithinthe6weekperiodof3weekspriortotheendof
I. Administrative Systems Master Plan Update (Mary Knight)
ARCHITECTURE & INFRASTRUCTURE COMMITTEE MEETING AGENDA FRIDAY, February 10, 2012 9:00-10:30 AM I. Administrative Systems Master Plan Update (Mary Knight) II. Cloud File Sharing Task Force Update (Ryan
Texas Wesleyan University Graduate Counseling Programs Honors Society
Texas Wesleyan University Graduate Counseling Programs Honors Society Constitution Article I Name and Purposes 1.1 This organization is the Texas Wesleyan Counseling Honor Society. 1.2 The colors of the
RARITAN VALLEY COMMUNITY COLLEGE ACADEMIC COURSE OUTLINE MATH 251 CALCULUS III
RARITAN VALLEY COMMUNITY COLLEGE ACADEMIC COURSE OUTLINE MATH 251 CALCULUS III I. Basic Course Information A. Course Number and Title: MATH 251 Calculus III B. New or Modified Course: Modified Course C.
Shareholder Communication Policy. Spotless Group Holdings Limited ACN 154 229 562
Shareholder Communication Policy Spotless Group Holdings Limited ACN 154 229 562 Adopted by the Company board on 26 March 2014 Contents Page 1 Purpose 1 2 Methods of communication 1 3 ASX releases 1 4
CHARTER AND GOVERNANCE ALL THINGS RANSOME. A California Unincorporated Nonprofit Association. Version 1.1
CHARTER AND GOVERNANCE ALL THINGS RANSOME A California Unincorporated Nonprofit Association Version 1.1 I II ALL THINGS RANSOME is an unincorporated nonprofit association registered in the State of California,
YOUTH EMPLOYMENT SERVICES. Executive Summary
YOUTH EMPLOYMENT SERVICES Executive Summary 1. One of the programmes provided by the Labour Department (LD) is the provision of employment services. Included in the wide range of free employment services
TABLE OF CONTENTS{PRIVATE } PAGE
TABLE OF CONTENTS{PRIVATE } Introduction ix Survey Methodology ix Response Rates ix Carnegie Classification Definitions x Definition of Terms and General Considerations xi Highlights 1 All Full-Time Nurse
ACCESS MIDSTREAM PARTNERS, L.P. (ACCESS MIDSTREAM PARTNERS GP, L.L.C.) CORPORATE GOVERNANCE GUIDELINES
ACCESS MIDSTREAM PARTNERS, L.P. (ACCESS MIDSTREAM PARTNERS GP, L.L.C.) CORPORATE GOVERNANCE GUIDELINES Access Midstream Partners, L.P. ( Partnership ) is a master limited partnership, governed by a limited
SOON MINING LIMITED ACN 603 637 083 SHAREHOLDER COMMUNICATION POLICY
SOON MINING LIMITED ACN 603 637 083 SHAREHOLDER COMMUNICATION POLICY Contents 1 Overview 3 2 Communications with shareholders 3 2.1 Annual General Meetings... 3 2.2 Annual Report... 3 2.3 Announcements
RARITAN VALLEY COMMUNITY COLLEGE ACADEMIC COURSE OUTLINE MRKT-101 PRINCIPLES OF MARKETING
I. Basic Course Information RARITAN VALLEY COMMUNITY COLLEGE ACADEMIC COURSE OUTLINE MRKT-101 PRINCIPLES OF MARKETING A. Course Number and Title: Mrkt-101 Principles of Marketing B. New or Modified Course:
The University of Chicago School of Social Service Administration Professional Development Program
The University of Chicago School of Social Service Administration Professional Development Program Online Registration for consultation groups, courses, and workshops Following are instructions for utilizing
RARITAN VALLEY COMMUNITY COLLEGE ACADEMIC COURSE OUTLINE CISY 233 INTRODUCTION TO PHP
RARITAN VALLEY COMMUNITY COLLEGE ACADEMIC COURSE OUTLINE CISY 233 INTRODUCTION TO PHP I. Basic Course Information A. Course Number and Title: CISY 233 Introduction to PHP B. New or Modified Course: Modified
CONFLICT OF INTEREST POLICY OF ANAHEIM TRANSPORTATION NETWORK. Approved by Board of Directors Resolution No. 12-003 on June 27, 2012
CONFLICT OF INTEREST POLICY OF ANAHEIM TRANSPORTATION NETWORK Approved by Board of Directors Resolution No. 12-003 on June 27, 2012 ARTICLE I Purpose The purpose of the conflict of interest policy ("Policy")
COUNCIL OF ACADEMIC PROGRAMS IN COMMUNICATION SCIENCES AND DISORDERS 1998-99 NATIONAL SURVEY OF UNDERGRADUATE AND GRADUATE PROGRAMS TABLE OF CONTENTS
COUNCIL OF ACADEMIC PROGRAMS IN COMMUNICATION SCIENCES AND DISORDERS 1998-99 NATIONAL SURVEY OF UNDERGRADUATE AND GRADUATE PROGRAMS TABLE OF CONTENTS Acknowledgments... Introduction... 1 Program Information...
I. Creating a Project Request in TeamDynamix: Defining
I. Creating a Project Request in TeamDynamix: Defining Project Request Site: https://projects.xavier.edu/tdclient/login.aspx This section will describe the details to create a project request. A project
JOHN JAY COLLEGE OF CRIMINAL JUSTICE The City University of New York GENERAL PHYSICS (PHY 203) SYLLABUS. Summer, 2016
JOHN JAY COLLEGE OF CRIMINAL JUSTICE The City University of New York GENERAL PHYSICS (PHY 203) SYLLABUS Summer, 2016 *** Overview for both LECTURE and LAB Curricula *** Instructors: Professors Max Bean
Restoring Files. Table of Content. No-Backup. Official website: www.no-backup.eu. Restoring Files
This chapter describes different ways files can be restored from the backup server Table of Content 1. Restore backup files directly from backup server 2. Restore backup files from removable hard disk
Strategic Technology Plan
Strategic Technology Plan What is a Strategic Technology Plan? The strategic technology plan is a guide to how the organization will use technology to help accomplish its goals. The plan is created with
How To Manage A Corporation
HUMAN RESOURCES AND COMPENSATION COMMITTEE MANDATE The Human Resources and Compensation Committee (the Committee ) is a committee of the Board of Directors (the Board ) of Cenovus Energy Inc. ( Cenovus
Principles/Emergency Services FST 102. COURSE SYLLABUS Principles/Emergency Systems FST 102 [Semester] CRN 3 Credits
![Principles/Emergency Services FST 102. COURSE SYLLABUS Principles/Emergency Systems FST 102 [Semester] CRN 3 Credits](/thumbs/24/3835005.jpg "Principles/Emergency Services FST 102. COURSE SYLLABUS Principles/Emergency Systems FST 102 [Semester] CRN 3 Credits")
COURSE SYLLABUS Principles/Emergency Systems [Semester] CRN 3 Credits Instructor Name: Instructor Email: Instructor Phone: Office Hours: Class Meeting Dates/Location/Time: Location: Class Days: Class Times:
www.portsmouth.gov.uk Part 3D - Officers' Employment Procedure Rules 1
Part 3D - Officers' Employment Procedure Rules 1 These rules determine procedures to be followed in the recruitment of senior officers of the council and in any disciplinary action which may become necessary
RARITAN VALLEY COMMUNITY COLLEGE ACADEMIC COURSE OUTLINE. Accounting Systems and Software ACCT-225
RARITAN VALLEY COMMUNITY COLLEGE ACADEMIC COURSE OUTLINE Accounting Systems and Software ACCT-225 I. Basic Course Information A. Course Number and Title: Accounting Systems and Software B. New or Modified
Information Technology and Organizational Learning
Information Technology and Organizational Learning Managing Behavioral Change through Technology and Education Second Edition Arthur M. Langer CRC Press Taylor & Francis Group Boca Raton London New York
HOUSE BILL NO. HB0173. Sponsored by: Representative(s) Throne and Barlow and Senator(s) Craft A BILL. for
0 STATE OF WYOMING LSO-00.E ENGROSSED HOUSE BILL NO. HB0 Schools-administration of epinephrine. Sponsored by: Representative(s) Throne and Barlow and Senator(s) Craft A BILL for AN ACT relating to schools;
Executive's Guide to Project Management
J Executive's Guide to Project Management Organizational Processes and Practices for Supporting Complex Projects ROBERT K. WYSOCKI WILEY John Wiley & Sons, Inc. Foreword Preface xi, XV INTRODUCTIONN The
Transfer Credit System
Transfer Credit System This document provides information for how to access and use the Transfer Credit System for determining transferrable credits to Nova Southeastern University (NSU). I. Locate Institution:
1 Introduction 1 1.1 Services and Applications for HSPA 3 1.2 Organization of the Book 6 References 7
Figures and Tables About the Authors Preface Foreword Acknowledgements xi xix xxi xxiii xxv 1 Introduction 1 1.1 Services and Applications for HSPA 3 1.2 Organization of the Book 6 References 7 2 Overview
Customer Relationship Management
Customer Relationship Management Concepts and Technologies Second edition Francis Buttle xlloillvlcjx. AMSTERDAM BOSTON HEIDELBERG LONDON NEW YORK OXFORD PARIS SAN DIEGO SAN FRANCISCO SINGAPORE SYDNEY
Facility Online Manager
Facility Online Manager Instruction for users FOM TM is an online accounting and instrument management software. This software can be used as a simple online scheduler for small research group, or as a
HOUSE BILL 665 CHAPTER. Commission on Maryland Cybersecurity Innovation and Excellence.
P HOUSE BILL lr0 CF SB By: Delegates Lee, Arora, Barkley, Barve, DeBoy, Feldman, Frick, George, Glenn, Gutierrez, Kipke, Luedtke, McComas, McDermott, A. Miller, Mitchell, B. Robinson, F. Turner, Valderrama,
SUBJECT: Information Technology Asset NUMBER: 107-004-010 Inventory & Management
SUBJECT: Information Technology Asset NUMBER: 107-004-010 Inventory & Management DIVISION: Enterprise Information Strategy & Policy Div. EFFECTIVE DATE: 09-08-08 APPROVED: Scott Harra, DAS Director (signature
Box.net End User Guide
Box.net End User Guide Table of Contents I. Logging into your Box.net Account II. III. Creating a New Folder Uploading Files a. Adding Files via Upload Files b. Adding Files via Bulk Upload IV. Inviting
DUAL CREDIT PROGRAM ARTICULATION AGREEMENT
DUAL CREDIT PROGRAM ARTICULATION AGREEMENT For Dual Credit Between and This Agreement is entered into as of, by and between and. This agreement sets out the terms and conditions of the dual credit program
Performance Review Policy
Performance Review Policy Note This policy commences on 1 January 2016 and will apply to all registrars in the GPEx training program under the Australian General Practice Training (AGPT) program. 1. Purpose
ARTICLE I: OBJECTIVE A.
Psychology Graduate Program Bylaws Administrative Home: Department of Psychology Revised: May 2006; September 2009 Graduate Council s Approval Date: November 2, 2009 ARTICLE I: OBJECTIVE A. Degrees Offered
THE UNIVERSITY OF HONG KONG FACULTY OF BUSINESS AND ECONOMICS
THE UNIVERSITY OF HONG KONG FACULTY OF BUSINESS AND ECONOMICS School of Business BUSI0023A_IIMT3635A Operations and Quality Management 2013-2014 First Semester I. Course and Instructor Information Instructor:
Strategy & Tactics FST 202. COURSE SYLLABUS Strategy & Tactics FST 202 [Semester] CRN 3 Credits
![Strategy & Tactics FST 202. COURSE SYLLABUS Strategy & Tactics FST 202 [Semester] CRN 3 Credits](/thumbs/27/11069795.jpg "Strategy & Tactics FST 202. COURSE SYLLABUS Strategy & Tactics FST 202 [Semester] CRN 3 Credits")
COURSE SYLLABUS Strategy & Tactics [Semester] CRN 3 Credits Instructor Name: Instructor Email: Instructor Phone: Office Hours: Class Meeting Dates/Location/Time: Location: Class Days: Class Times: Class
UNIVERSITY OF WEST GEORGIA SCHOOL OF NURSING FACULTY BYLAWS (Approved 4/30/2009; Amended 8/31/2009; 9/27/2010; 4/29/2013; 8/26/2013)
1 UNIVERSITY OF WEST GEORGIA SCHOOL OF NURSING FACULTY BYLAWS (Approved 4/30/2009; Amended 8/31/2009; 9/27/2010; 4/29/2013; 8/26/2013) PREFACE. These Bylaws establish the role and function of the School
MODEL OF STANDARD BYLAWS FOR Z CLUBS AND GOLDEN Z CLUBS
THE STUDENT CLUBS OF ZONTA INTERNATIONAL MODEL OF STANDARD BYLAWS FOR Z CLUBS AND GOLDEN Z CLUBS ARTICLE I Name The name of this club shall be the (name) Z Club or Golden Z Club. ARTICLE II Organization
RARITAN VALLEY COMMUNITY COLLEGE ACADEMIC COURSE OUTLINE. BIOL 125 - Human Anatomy and Physiology II
RARITAN VALLEY COMMUNITY COLLEGE ACADEMIC COURSE OUTLINE BIOL 125 - Human Anatomy and Physiology II I. Basic Course Information A. Course Number and Title: BIOL 125 Human Anatomy and Physiology II B. New
Our Ref: WDMI/C.200/5/ 74 Date: 12th October 2015 INVITATION OF APPLICATIONS FOR ADMISSION TO A BACHELOR S DEGREE PROGRAM FY 2015/ 2016
MINISTRY OF WATER WATER DEVELOPMENT AND MANAGEMENT INSTITUTE P. O. Box 35059 DAR ES SALAAM TANZANIA TEL: 2410040 FAX: 241 0404 Website: www.wdmi.ac.tz Email: principal@wdmi.ac.tz Our Ref: WDMI/C.200/5/
RARITAN VALLEY COMMUNITY COLLEGE COURSE OUTLINE. CISY 229 Information Security Fundamentals
RARITAN VALLEY COMMUNITY COLLEGE COURSE OUTLINE CISY 229 Information Security Fundamentals I. Basic Course Information A. Course Number & Title: CISY-229 Information Security Fundamentals B. New or Modified
Risk Management Committee Charter
Ramsay Health Care Limited ACN 001 288 768 Risk Management Committee Charter Approved by the Board of Ramsay Health Care Limited on 29 September 2015 Ramsay Health Care Limited ABN 57 001 288 768 Risk
Partnership Donation Policy and Procedures
I. Introduction II. III. General Procedures Cash and Money orders IV. Fundraising Events V. Payroll Deduction VI. Online Donation VII. VIII. IX. Memorial and Honorary Donations Wiring Procedures X. Contact
R162-2c-201. Licensing and Registration Procedures.
R162-2c-201. Licensing and Registration Procedures. (1) Mortgage loan originator. (a) To obtain a Utah license to practice as a mortgage loan originator, an individual who is not currently and validly
GroupWise 2012 What s New
I. Resources & Support... 2 II. Appointment Enhancements... 2 A. Recurrence Enhancements... 2 B. Delegation Enhancements... 3 C. Place Resource Enhancements... 3 D. Notification of Appointment Conflicts
RARITAN VALLEY COMMUNITY COLLEGE COURSE OUTLINE. CISY 275 UNIX and Linux Security Management
RARITAN VALLEY COMMUNITY COLLEGE COURSE OUTLINE CISY 275 UNIX and Linux Security Management I. Basic Course Information A. Course Number & Title: CISY-275 - UNIX and Linux Security Management B. Date of
2014 Legislation Regarding A-F School Grading Formula. September 17, 2014
2014 Legislation Regarding A-F School Grading Formula September 17, 2014 2 Delays issuance of school grades from October 2014 to October 2016 Board of Education to consider a single school grade or multiple
RUTGERS POLICY. Section Title: Legacy UMDNJ policies associated with Information Technology
RUTGERS POLICY Section: 70.2.22 Section Title: Legacy UMDNJ policies associated with Information Technology Policy Name: Information Security: Electronic Information and Information Systems Access Control
Internship Requirements for Accounting, Finance, and International Business and Economics Majors
Internship Requirements for Accounting, Finance, and International Business and Economics Majors Minimum Qualifications: For ACCT 467 Internship credit, students must have at least a 3.0 major GPA and
98TH GENERAL ASSEMBLY State of Illinois 2013 and 2014 HB2975
*LRB00NHTb* TH GENERAL ASSEMBLY State of Illinois 0 and 0 HB by Rep. Camille Y. Lilly SYNOPSIS AS 0 ILCS /-.0. 0 ILCS /-.0. INTRODUCED: Amends the Children with Disabilities Article of the School Code.
COURSE SYLLABUS Southeast Missouri State University. Department of Management and Marketing Organization Theory and Design Revision: Spring 2014
COURSE SYLLABUS Southeast Missouri State University Department of Management and Marketing Course No: MG562 Organization Theory and Design Revision: Spring 2014 I. Catalog Description and Credit Hours
BETHLEM & MAUDSLEY HOSPITAL SCHOOL COMPLAINTS PROCEDURE
1 BETHLEM & MAUDSLEY HOSPITAL SCHOOL COMPLAINTS PROCEDURE For the purposes of this policy a complaint is an expression of dissatisfaction made either orally or in writing and formally received by Southwark
TABLE OF CONTENTS. List of Figures iii. List of Tables v. I. Introduction 1. A. New Technology & EHR Survey 1. B. Types of Electronic Systems 1
TABLE OF CONTENTS List of Figures iii List of Tables v Page I. Introduction 1 A. New Technology & EHR Survey 1 B. Types of Electronic Systems 1 C. Types of Optometrists 1 II. Characteristics of Responding
West Virginia Higher Education Policy Commission Regents Bachelor of Arts - Today Request for Proposals - Accelerated, Compressed Time-frame Courses
West Virginia Higher Education Policy Commission Regents Bachelor of Arts - Today Request for Proposals - Accelerated, Compressed Time-frame Courses I. Grant Opportunity The West Virginia Higher Education
Ctfo MANAGEMENT SECURITY PATCH. Felicia M. Nicastro. Second Edition. CRC Press. VC#*' J Taylor & Francis Group / Boca Raton London New York
SECURITY PATCH MANAGEMENT Second Edition Felicia M. Nicastro Ctfo CRC Press VC#*' J Taylor & Francis Group / Boca Raton London New York CRC Press Is an imprint of the Taylor & Francis Croup, an Informa
Faculty of Telecommunications and Space Technology
Faculty of Telecommunications and Space Technology Master of Science in Communication Network Engineering Page 1 Faculty of Telecommunications and Space Technology Master of Science in Communication Network
RARITAN VALLEY COMMUNITY COLLEGE ACADEMIC COURSE OUTLINE. BIOL 124 - Human Anatomy and Physiology I
RARITAN VALLEY COMMUNITY COLLEGE ACADEMIC COURSE OUTLINE BIOL 124 - Human Anatomy and Physiology I I. Basic Course Information A. Course Number and Title: BIOL 124 Human Anatomy and Physiology I B. New
SMARTEAM FUNDAMENTALS V5 R19
SMARTEAM FUNDAMENTALS V5 R19 Length 1 Day Objectives of the course Upon completion of this course you will be able to... - Understand the basics of PLM and ENOVIA SmarTeam. - Understand how ENOVIA SmarTeam
B1 Project Management 100
Assignment of points B1 Project Management 100 Requirements for Design Presentation Meetings and Proposal Submissions for Key to Project Management Design Presentation Meeting and Proposal Submissions
Psychology 41 Life-Span Psychology from infancy to old age - Development Emily Bill for Winter 2016 Reviewed 10-5-15 and 10-6-15
Psychology 41 Life-Span Psychology from infancy to old age - Development Emily Bill for Winter 2016 Reviewed 10-5-15 and 10-6-15 Los Angeles Mission College Distance Education Technical Review Rubric of
Section I Executive Summary of Findings... Page 2. Section II Methodology... Page 4
Table of Contents SAMPLE Section I Executive Summary of Findings... Page 2 Section II Methodology... Page 4 Section III Behavioral Health Management Market Statistics, 2011... Page 6 Section IV Managed
Eclipx Group Limited Risk Management Policy
Eclipx Group Limited Risk Management Policy Date approved: 26 March 2015 Table of Contents 1. Background... 3 1.1 Overview... 3 1.2 Purpose... 3 1.3 Board responsibility... 3 2. Key principles and concepts...
List of registered owners and payment details
List of registered owners and payment details Page 1 of 15 Contents Vessel: Aurora Taurus IMO 9346134... 3 Vessel: Aurora Leo IMO 9346122... 4 Vessel: Aurora Capricorn IMO 9387762... 5 Vessel: Aurora Balder
(1) To approve the proposals set out in paragraphs 3.1-2 to ensure greater transparency of partnership board activity; and
Agenda Item No. 7 Governance Committee 23 November 2015 Partnership Governance for Contract Management Report by Director of Law Assurance and Strategy Executive Summary This report sets out some areas
RARITAN VALLEY COMMUNITY COLLEGE ACADEMIC COURSE OUTLINE MATH 111H STATISTICS II HONORS
RARITAN VALLEY COMMUNITY COLLEGE ACADEMIC COURSE OUTLINE MATH 111H STATISTICS II HONORS I. Basic Course Information A. Course Number and Title: MATH 111H Statistics II Honors B. New or Modified Course:
United States and European Union Auditor Independence Regulation
Christiane Strohm 2008 AGI-Information Management Consultants May be used for personal purporses only or by libraries associated to dandelon.com network. United States and European Union Auditor Independence
MANAGING CHANGE FIFTH EDITION. A STRATEGIC APPROACH TO ORGANISAriONAL DYNAMICS BERNARD BURNES
MANAGING CHANGE A STRATEGIC APPROACH TO ORGANISAriONAL DYNAMICS FIFTH EDITION BERNARD BURNES Contents Acknowledgements Publisher's Acknowledgements Part 1 The rise and fall of the rational organisation
CONSTITUTION PSI CHI, THE NATIONAL HONOR SOCIETY IN PSYCHOLOGY THE PENNSYLVANIA STATE UNIVERSITY- HARRISBURG CHAPTER
CONSTITUTION OF PSI CHI, THE NATIONAL HONOR SOCIETY IN PSYCHOLOGY THE PENNSYLVANIA STATE UNIVERSITY- HARRISBURG CHAPTER CONSTITUTION OF PSI CHI, THE NATIONAL HONOR SOCIETY IN PSYCHOLOGY THE PENNSYLVANIA
THE UNIVERSITY OF HONG KONG FACULTY OF BUSINESS AND ECONOMICS. School of Business MGMT2401 J, K: Principles of Management 2015-2016 Second Semester
THE UNIVERSITY O HONG KONG ACULTY O BUSINESS AND ECONOMICS School of Business MGMT2401 J, K: Principles of Management 2015-2016 Second Semester I. Instructor Information Instructor: Dr. Yamei Wang Email:
MD Curriculum Committee Terms of Reference Policy
MD Curriculum Committee Terms of Reference Policy Office of Accountability: Office of Administrative Responsibility: Approver: Scope: Dean, Faculty of Medicine & Dentistry MD Program MD Program Committee
RARITAN VALLEY COMMUNITY COLLEGE COURSE OUTLINE. CISY 276 Windows Security Management
RARITAN VALLEY COMMUNITY COLLEGE COURSE OUTLINE CISY 276 Windows Security Management I. Basic Course Information A. Course Number & Title: CISY-276 Windows Security Management B. Date of Revision: Spring
CBF Youth Ministry Network By-Laws February 25, 2013
CBF Youth Ministry Network By-Laws February 25, 2013 Article I. Name The name of the organization will be the Cooperative Baptist Fellowship Youth Ministry Network. Article II. Purpose We exist to encourage,
OFFICE OF THE REGISTRAR OF COMPANIES MALAYSIA GUIDELINES FOR USE OF A COMPANY NUMBER UNDER SECTIONS 121 AND 338, COMPANIES ACT (AMENDMENT) 1996
Circular 4 OFFICE OF THE REGISTRAR OF COMPANIES MALAYSIA GUIDELINES FOR USE OF A COMPANY NUMBER UNDER SECTIONS 121 AND 338, COMPANIES ACT (AMENDMENT) 1996 1. As previously announced, the Companies Act
Central Bank of The Bahamas Consultation Paper PU42-0408 Draft Guidelines for the Management of Interest Rate Risk
Central Bank of The Bahamas Consultation Paper PU42-0408 Draft Guidelines for the Management of Interest Rate Risk Policy Unit Bank Supervision Department April16 th 2008 Consultation Paper Draft Guidelines
Higher Education Loan Authority of the State of Missouri. Student Loan Asset-Backed Notes, Series 2012-1
Higher Education Loan Authority of the State of Missouri Student Loan AssetBacked Notes, Series 20121 Fluctuations were noted in the Student Loan AssetBacked Notes, Series 20121 (20121 Bond) parity rates