|
|
- Garry Wiggins
- 8 years ago
- Views:
Transcription
1 ReusebyContract Abt.Softwaretechnologie,TechnischeUniversitatBraunschweig GregorSnelting BerndFischer Bultenweg88,D-38106Braunschweig,Germany Fax: Tel: nentsareassociatedwithcontracts formalmodelsoftheirfunctionalbehaviour andadmin- istered,retrieved,andreusedbythese.wearguethatreusebycontractisnecessaryforsafe solutionsinordertomakereusebycontractpractical. Keywords:formalmethods,reuse,softwarecomponentretrieval,specicationmatching,au- Reusebycontractistheapplicationofformalmethodstosoftwarereuse:softwarecompo- Abstract reuseinaformalprocessmodel,butishelpfulevenformoretraditionalsoftwaredevelopment. Wediscusssomeobstaclesagainsttheuseofformalcomponentspecications,andproposesome acceptanceproblems;discusstoolarchitectures;studyrelationwithoodesignmethods;study tomateddeduction. WorkshopGoals:Discussthedesignofreusablecomponentlibraries;discusswaystomitigate combinationwithstructuralcodereusemechanism(e.g.,patternsorfunctors.) 1
2 areassociatedwithcontracts formalmodelsoftheirfunctionalbehaviour andadministered, Reusebycontractistheapplicationofformalmethodstosoftwarereuse:softwarecomponents 1 Background retrieved,andreusedbythese. Similarapproacheshavebeenproposedbefore(e.g.,[KRT87,RW91,MM91])butwithoutconvincingsuccess.ThegoalofourprojectNORA/HAMMR1[FKS95c,FKS95b,FKS95a]isthustomake reusebycontractpractical.weinvestigate reuse-friendlyspecicationtechniques, libraryorganizationtechniquesbasedoncontracts, scalableandecientarchitecturesforreusebycontract, theintegrationofreusebycontractandconventionalreusemechanisms. itsinteractionwithformalsoftwaredevelopmentprocesses,and deductivecomponentretrieval, Ourlong-termgoalistobuildasystemwhichsmoothlyintegratescomponentdesign,implementation,andvericationwiththesystematicreuseofafullyspeciedandveriedcomponentlibrary. ofautomateddeductiontechniquestosolvetheprooftasksemergingfromdeductivecomponent OurworkonNORA/HAMMRstartedin1994.Ourmaintopicsofarhasbeentheapplication jointresearchprojectondeductionshowthatcurrenttheoremproversarecapabletosolveenough retrieval.alargenumberofexperimentsdoneincollaborationwithcolleaguesfromthegerman onanimprovedlibraryorganziationandtheintegrationofaprogramvericationsystem. contractlanguagebutcangenerateprooftasksfordierenttheoremprovers.wecurrentlywork oftheemergingtasks.ourimplementationistailoredtowardstheseexperiments.itusesvdmas 22.1WhatisReusebyContractreally? Position intotheactualmediumbywhichclientandprovidercannegotiatereuse: whichemphasisestheimportanceofformalspecicationsandinterleavesthemwithactualcode. Reusebycontractisanattempttoliftthisstyletocodereuse.Itsbasicideaistoturnthecontracts B.Meyerhascoinedthephrasedesignbycontract[Mey92]todenoteasoftwaredevelopmentstyle sponsoredbythedfgundergrantsn11/2-3. 1NORAisnorealacronym;HAMMRisthehighly-adaptivemulti-methodretrievaltool.Thisworkhasbeen Theclientstateshissideofthecontractasapairofgrantedpre-andrequiredpostcondition. 2
3 Negotiationisdenedintermsofthecontract:anoeredcomponentissuitedforreuseif Theproviderformalizeshisbid(i.e.,eachlibrarycomponent)theotherwayround,asapair theinvolvedpre-andpostconditionssatisfyawell-denedlogicalrelation. ofrequiredpre-andgrantedpostcondition. problemtobesolvedandassuchsometimesidentiedwithreusebycontract.inouropinion, reuseeectsandthusjustifythename\reusebycontract."inaformalsetting,thecontracts Thenegotiationprocess,alsocalleddeductivecomponentretrieval,isthemostimportanttechnical however,onlyitsintegrationintoaformalsoftwaredevelopmentprocesswillleadtosignicant arisenaturally(e.g.,fromrenements)anddonotimposeanyextraworkonthedevelopers. Ontheotherside,designbycontractisnotpersereusebycontractastheexistenceofalibrary doesnotautomaticallyimplyitsre-use.thedierenceisintherolesthecontractsplay.inthe Consequently,reusecanbebuiltintoprogramdesignfromtheverybeginning. designapproach,contractsarepassiveandconnedtothelibrary.theydonotonlydescribethe componentspropertiesbutarealsotheirpossessions.thereuseapproachremovesthisasymmetry contracts. and\activates"thecontractsforprospectiveclients.itisawaytoexploitthefullpowerof Prooftasksformalizethisrelation;theirexactnaturedeterminesformandeectsofreuse. Componentscanbereusediftheybridgethegapbetweentheclientsstatedpre-andpostcondition. 2.2ProofTasksandCodeReuse andhiswishes(thepostcondition)isbridgedcompletely.acomponentccanbepluggedinand hisqueryq.thisidealsituationisusuallyformalizedinthefollowingcondition,orprooftask:2 thusclosethegapifithasaweakerpre-andastrongerpostconditionthantheclientrequiresin Themostecientformofreusetakesplaceifthegapbetweentheclient'soer(theprecondition) qevenifitsresultsontheextendeddomaindonotttheoriginalquery,wemustrestrictthe Thisprooftaskishowevernotadequateifqisapartialfunctionbutnotc.Ifwewantctomatch (preq)prec)^(postc)postq) (1) tasksoftheform Thisso-calledplug-incompatibilitysupportssafereuse.Theretrievedcomponentsmaybeconsideredasblackboxesandmaybereused\asis",withoutfurtherprovisoormodication. (preq)prec)^(preq^postc)postq) (2) implicationbetweenthepostconditionsonthedomaingivenbypreq.wethusworkwithproof Another,weakerformoftheprooftasksemphasizestheclientspostconditionandretrievesall componentswhichsatisfyitatleastontheirowndomain: logicalfunctionsoftherespectiveparameters.however,toimprovethelegibility,weusethistraditionallyabbreviated andthequeryandalsocontainequationsrelatingtheparameters.likewise,thepre-andpostconditionsareofcourse 2Actually,theprooftasksareuniversallyclosedwrt.theformalinputandoutputparametersofthecomponent prec^postc)postq (3) formulations. 3
4 hastosatisfytheopenobligationprec.inaformalframework,however,(3)isjustiedbecauseit describesanormalrenementstep:theclienttradeshisownopencontractpostqagainsttheusually Generally,codereusebasedonthisconditionalcompatibilityispotentiallyunsafebecausetheclient tobeproven. Toincreasetherecall,conditionalcompatibilitycanberelaxedfurtherbyagaintakingtheclient's simplerprecbyre-usingc.notethat(3)isalsomoreecienttocheck,asonlyoneimplicationhas preconditionintoaccount.butincontrastto(2)itisnowaddedtothepremise: restrictedbyprec^preq.byvaryingpreq,clientscancontrolrecallandgranularityofreuse.the Hence,partialcompatibilityretrievesallcomponentswhichdo\therightthing"atleastonadomain prec^preq^postc)postq (4) strongeritis,themorecomponentsareretrievedbutthesmallleristheirrespectivebenet,simply 2.3Signicance becausepreqactsasanadditionalopenobligation. Theinvestigation[Lio96]oftherecentAriane5disasterrevealedthatitwascausedbythereuse ofanunmodiedariane4softwarecomponentwhichledtoanuncaughtexceptioncrashingthe reasonforthecrashwasthecomponentsfailuretostateitsassumptions,i.e.,theabsenceofa softwareandhencethespacecraft.in[jm97],however,jezequelandmeyerarguethattheultimate contract.theyconclude \Thereisamoresimplelessontobelearnedfromthisunfortunateevent:Reusewithout acontractisasheerfolly.fromcorbatoc++tovisualbasictoactivextojava, ofpotentiallydisastrousconsequences." process.toattempttoreusesoftwarewithouteiel-likeassertionsistoinvitefailures hopesaredoomedtoproduceresultsfarworsethanatraditional,reuse-lesssoftware thehypeisonsoftwarecomponents.theariane5blundershowsclearlythatnave Wesharethisconclusionasmotivationforourwork. 2.4Benets Fortheusers,thebiggestvisiblebenetisofcoursetheabilitytoretrievecomponentswhich provablymatchtheirneeds.provablymatchingcomponentsincreasetheoverallqualityofthe benetscanbeidentied. software.theyalsoimprovethesoftwareprocess,theproductivityandotheraspectsofsoftware Plug-incompatibility{and,toasmallerextent,conditionalcompatibility{aremostusefulin development.dependingonthekindofcompatibilityused(plug-in,conditionalorpartial),several aformaldevelopmentprocess.here,itcanbeusedforthesafecompositionofcomponents.a componentwhichsatisesaprooftaskisguaranteednottocompromisetheoverallcorrectness. Thisistrueevenforconditionalcompatibility,if{asisoftenthecase{therenementprocesscan generatethecomponent'sprecondition.safecompositionpreventsreusedisastersliketheariane 4
5 Insomecasessoftwarecompositionfromformallyspeciedcomponentscanbedoneautomatically. componentreuse,andreusebycontractistheonlyavailabletechnology. case.safecompositionisamustforanysafety-criticalsoftwareprojectwhichwantstoutilize Bymeansofconstructivetypetheory,aformalspecicationcanbetransformedintoexecutable codewhichmayalsocontaincallsto(formallyspecied)librarycomponents.needlesstosay,the resultingcodeisprovablycorrect. Onceanewpieceofsoftwarehasbeenconstructedbysafecomposition,automaticallyornot, Developmentstepsarelarger,andanactualimplementationforsubsystemscanbeobtainedearly, anyway.furthermore,reusebycontractoersadditionalsupportforaformaldevelopmentprocess. overhead:inaformalprocess,thespecicationofanewcomponentorsubsystemmustbesupplied itcanbeaddedtothelibrary.hencethebasisforreuseisincreased,withoutanyadditional feedbackisobtainedwhichencouragestheuseofformalspecicationsanddedicatedtechnology therebysupportingverticalprototyping.ifnewcomponentsareaddedtothelibrary,apositive andtools(e.g.veriers)foraformaldevelopmentprocess. requiremanualchecksorevencomponentmodicationsinordertomatchthecomponentsprecondition.forasoftwaredeveloperwhoseprimaryinterestistondreusablecomponents,thisisnot ordertoutilizepartialcompatibility.still,useofaformalpostconditionconsiderablyincreasesthe precisionofcomponentsearch,thatis,reducestheprobabilityofndingirrelevantcomponents. anobstacle.iftheprimarygoalistoreusecode,thedeveloperwillbereadytoprovidethestronger context,partialcompatibilitywillbemostuseful.partialcompatibilityhashighestrecall,butmay Inalessformalsoftwareprocess,reusebycontractstillimprovessoftwaredevelopment.Insucha preconditionneededforconditionalcompatibility,orevenextendthecomponent'sfunctionalityin notformallyspecied.ifdierentvendorsoerthesamelibrary,therewillbesubtledierences Reusebycontractisattractiveevenforthosewhoprefercommercialsuccessoversafetyorimproved componentretrieval.today'slibraries(forexample,thestandardtemplatelibraryforc++)are betweenimplementations.asaconsequence,auserwillnotbeabletoswitchfromonelibrary animplementation-independentspecication{astandard{foracomponentlibrary.today,such standardshavebeenestablishedinothersoftwareandhardwareareas;usageofformalspecications implementationtoanother{enablinglibrarymonopoliesandpreventinginnovativevendorswith smallmarketsharefromcommercialsuccess.hencemarkettransparencyrequiresthatthereis 2.5Obstacles asstandardsforlibrarieswillresultinbetterreturnoninvestmentforindependentlibraryvendors. colleagueputit:\ifineedasortroutine,isaygrepsort!" hardtask.themajorimpedimentisthegeneralacceptanceproblemofformalmethods.asone Thereareacoupleofproblemswhichmakeasuccessfulimplementationofreusebycontracta Withoutaformalsoftwaredevelopmentprocess,theup-frontcostsbecomefairlyhigh.Programmersarenotusedtocontractingandmayconsideritmerelyasanadditionalburdenwhichremains thefeed-backdescribedabove.worstofall,duetothegeneralindierenceinformalmethods,the construction,however,istime-consumingandexpensive,especiallywhenitisnotsupportedby withoutanybenetaslongastherearenoornotenoughspeciedlibrariestobereused.library marketoersonlyveryfewspeciedlibrariestobeginthisprocesswith. 5
6 complicatedparametersettingsfortheprover,specifydetailsheconsidersirrelevant,orprovide postconditionsinsomecrypticproverlanguage,reusebycontractwillnotbesuccessful. The\lookandfeel"ofareusesystemalsocanimpairitsusefulness.Iftheenduserhastodealwith Anothersourceofproblemsisthecomputationalcomplexityofdeductivecomponentretrieval.Long moretechnicalaspectmayleadtoevenmorecomplicatedprooftasks.ifproviderandclientuse componentswhichinturnpromiselargerpay-osmaybecometoolargeortoocomplicated.a responsetimesduetoinsucientdeductivepowercaneasilyrendertheentireconceptimpractical; dierentmathematicalconcepts(e.g.,setsandlists)theresulting\viewmismatch"canonlybe thisinparticularaectsscale-upforbiglibrariesorcomplicatedcomponents.contractsforlarger Inanon-formalsoftwareprocess,theuseofformalspecicationscanevenhampertheretrieval solvediftheproverdeducesthenecessarymappings. abilities.thereasonisthatrecallmaysuerfromtheoverwhelmingprecisionofformalspecications.ifthereisacomponentwhichdiersonlyslightlyfromwhattheuserwants,itwillnot falsestatementswhichmaybackreinareusecontext.notethatinaformalprocess,thisproblem doesnotoccuraspartialor\fuzzy"contractfulllmentisnotacceptable. befound,becausetheproofobligationcannotbefullled(\nearmiss").theoremproversdonot haveanotionofan\almostprovable"statement,anditisthissharpdistinctionbetweentrueand Thereisnomedicineforpeoplewhorejectformalmethods.Theonlyargumentwhichmightappeal 2.6PossibleSolutions Firstofall,aretrievalsystembasedonformalspecicationsmusthidethedeductivemachinery buttoaugmentthem.foralltheotherproblems,solutionscanbeoutlinedasfollows. tothemisthatreusebycontractisnotgoingtoreplaceexisting,establishedretrievalmethods, eratingproverinputetc.mustbeinvisibletotheuser.instead,theretrievaltoolshouldoer completely.anydetailsforsettingproverparameters,synchronizingparallel-runningprovers,gen- expert.theendusermustnotbebotheredbythis. accesstomoretraditionalretrievalalgorithms.assomebodyhastotakecareofpreprocessingand aninterfacewhichutilizestheenduser'slanguageandconcepts;inparticular,itshouldalsooer Inordertotackletheperformanceandscale-upproblems,weutilizetwomechanisms:abstraction tuningtheformalspecicationsandtunethedeductiveengine,weproposethatthisisdonebyan needed,somtimesamorecompactcomponentdescriptionissucient.multiplelayersofspecicationscanbeusedtoseparatethecorefunctionalityfromnon-functionalimplementationaspects ase.g.structuresharing[ph95].thiscanbeachievedbyadomain-speciclogicwhichwouldnot Incrementalitymeansthatseveralprocessesmustcooperateinordertoachieveanincreasingreductionoftheproblemspace.NORA/HAMMRusesalterchaininordertoreducetheburden onlyimprovethedeductiveabilitesofthesystembutwouldalsobebenecialfortheenduser.3 andincrementality.abstractionmeansthatnotalwaysatraditionalformalspecicationwillbe ofthetheoremprover.thechainconsistsofaseriesofltersofincreasingpower,theproveris setofpredenedfunctionandpredicatenamesisdened,whosemeaningisgivenbysomeadditionalaxioms. signaturematchingandmodelchecking.signaturematchingselectscomponentsaccordingtoa onlythelastelementinthechain.chaincongurationmayvary;atypicallterchainincludes 3Itistechnicallyeasytocreateadomain-specicextensionofaspecicationlanguage:thisonlyrequiresthata 6
7 specicationoftheirinterfacealone.modelcheckingisusedinordertodiscovernon-theorems:ifa counterexampleinsomesmallmodelcanbefound,theproofobligationisconsideredanon-theorem andthecomponentrejected.bothtechniquesmaynegativelyaectrecallaswellasprecision,as numberofproofobligationssurvivesthepreliminarylters. interfacesistoorestrictive.4buttheygreatlyreducetheburdenoftheprover,asonlyasmall acounterexampleinanitemodelof,say,theintegersmaybeinvalid,anddemandingidentical similaritiesbetweenthetypesinquestionwhichinturncanbeusedtoconstructsomeofthe abstractionfunctionsautomatically. Signaturematchingcanalsohelpwiththeviewmismatchproblem.Itidentiesthestructural oftheprover,weagainproposeabstractionandincrementality.theuserinterfacemustallowto ingthesetofsurvivingcomponents.furthermore,useofadomain-specicspecicationlanguage incrementallysharpenthepostcondition(orweakentheprecondition),therebyincrementallylter- Inordertoreducetheriscofnotndingcomponentsduetooverspecicationor\nearmisses" oerstheappropriateabstractionstotheuser;nearmissesduetoerroneouslow-levelspecication detailsareavoided. descriptionsandreferenceimplementations.theindustrial-strengthexampleofacontract-based 3Mostworkonlibrarydesign(e.g.,[MS96,Knu93])followsthetraditionalstyleofinformalorstylized Comparison asubsumptionrelationbetweencomponentsandstructuretheirlibrariesaccordingly.similarly, librarydesignweknowofismeyer'swork[mey94].thereis,however,somemoreresearchwork,e.g. [LW94]denethenotionofbehavioralsubtypeasanextendedmeanstoorganizeclasslibrariesand theresolveproject[sw94].both[jc93]and[mmm94]useformalspecicationstodetermine [Lea91]hasdevelopedtechniquestosupportthespecicationandvericationofobject-oriented thecomponentsanditsbuilt-inhigher-orderunicationasretrievalmechanism.moormanzaremski programs. andwing[mw95]werethersttoexploredierentmatchrelations;ourownwork(cf.section2.2) expandsontheirresults.theyalsointroducedtheuseofa\real"specicationlanguage(larch/ml) Deductivecomponentretrievalhasalsobeeninvestigatedby[RW91]whichusedPrologtospecify forcomponentdescription.withtheexceptionof[ste91]whichworkswithalgebraicspecications, mostotherapproachesnowalsouselanguageswhicharesomesugaredvariantofrstorderlogic. However,while[MW95]appliestheassociatedinteractiveLarchProvertosolvetheprooftasks, Amorepragmaticapproachtodeductiveretrievalistousethecomponentstypesastheirspecications(e.g.,[Rit91].)Thissignaturematchingallowstheapplicationofmoreecientreasoning isthusasuccessfultoolforfunctionallanguageswhichoerrichtypestructures.thebehavioral bycontractbutitcanstillbeusedasafastpre-lter. mechanisms(e.g.,order-sortedtheoryunication)butalsoaveryconcisequeryformulation.it [FS97]tomakeitpractical. theirsheernumberrequiresanautomatedtheoremproverase.g.,otter[mmm94]orsetheo abstractionwhichisinherenttotypesmakesanunmodiedtype-basedretrievalunsuitedforreuse andfortheformerweproposetheuseofabstractmodelchecking. 4Infact,thelatterproblemcanbetackledbyuseofadditionalaxiomswhichallowe.g.interchangesofparameters, 7
8 environments.theparissystem[krt87]supportedthesemi-automaticconstructionofprograms overalibraryofso-calledschemes,i.e.,programfragmentswhichareenrichedbyassertionsabout theircombinationandinstantiationpossibilites.theconstructionprocessthengeneratedproof Therehasalsobeensomeearlierworktointegratedeductiveretrievalintosoftwaredevelopment taskswhichweresolvedbytheboyer-mooretheoremprover.theinscapesystem[per87]aimed andneverlefttheprototypestage. support.however,bothsystemsworkedwithseverelyrestrictedlogicsandinferencemechanisms atthedevelopmentoflargesoftwaresystemsbasedonspecications;italsooeredsomeretrieval Lowryetal.[LP+94]utilizedaformallyspeciedlibrarywhichcontainsfunctionsforcelestial mechanicsandspaceshipcoursecomputations.afterprovidingaformalspecicationofe.g.aspace vehicle'sdestinationpointandtime,thesystemautomaticallycomposesaprogramconsistingof callstoappropriatelibraryroutines,whichcomputetheightdata.lowry'ssystemusesadomainspeciclogic,whichinturnishiddenfromtheuserbyasophisticatedgraphicaluserinterface. Althoughspeciedcomponentlibrariesareanecessaryrequirementforanycodereusemechanism 4workingwithformalmethodsandnotonlyforreusebycontract,theyareanearlyextinctspecies. ResearchTopics speciedlibrarieswhichmustalsocovernon-functionalaspectsofcomponentswhichtraditionally WethinkthatthecommunityshouldtakeuptheleadofMeyerandworktowardsrealistic,formally matterfortheusers,e.g.structuresharing.thisworkshouldalsoincludethedevelopmentof appropriatedomain-speciclogics. nentsrequiresalotoffurtherresearch.firstofall,exiblecomponentsareparameterized(generic Largerbenetsareexpectedfromreusingcomponentsofamuchcoarsergranularitythansimple Anextstepcouldbeaninvestigationaboutspecicationsofdesignpatternsorparameterized packages,c++templatesetc).thusevensignaturematchingrequireshigher-orderunication. functions(\megaprogramming",[wwc92].)scaling-upspecicationmethodstosuchmegacompo- situationwheretherearethousandsofsimpleproofobligations,andalmostallofthemarenontheorems.furthermore,methodshavetobedevelopedforfastrejectionofnon-theoremswhichdo Scale-upalsoconcernsdeductiveretrieval.Firstofall,theproversmustbeadaptedtoreecta modules/functors.havingafullyspeciedpatternlibrarywouldbeaniceargument. notcompromiserecall.onepromisingcandidateisabstractmodelchecking[jac94].probablythe couldbyrelaxedbyintroducingsomeapproximatereasoning.however,thisrequiresappropriate Finally,toincreasethenumberofreuseopportunites,thestrictcompatibilitiesdenedin2.2 combinationofbehaviouralsubtypingandsignaturematchingalsoworkstothisend. automaticcomponentadaptionmechanismstomaintaintheintegrityofreusebycontract. References [FKS95a]B.Fischer,M.Kievernagel,andG.Snelting."Deduction-BasedSoftwareComponent Retrieval".InJ.Kohler,F.Giunchiglia,C.Green,andC.Walther,(eds.),Working 8
9 [FKS95b]B.Fischer,M.Kievernagel,andW.Struckmann."High-precisionretrievalforhighqualitysoftware".InI.M.Marshall,W.B.Samson,andD.G.Edgar-Nevill,(eds.), andprograms,pp.1{5,montreal,august1995. NotesoftheIJCAI-95Workshop:FormalApproachestotheReuseofPlans,Proofs, [FKS95c]B.Fischer,M.Kievernagel,andW.Struckmann."VCR:AVDM-basedSoftwareComponentRetrievalTool".InM.Wirsing,(ed.),WorkingNotesoftheICSE-17Workshop Dundee. Proc.4thSoftwareQualityConf.,pp.80{88,Dundee,July1995.UniversityofAbertay [FS97] onformalmethodsapplicationinsoftwareengineeringpractice,pp.30{38,seattle, B.FischerandJ.M.P.Schumann."SETHEOGoesSoftwareEngineering:Application Wash.,April1995. [Jac94] D.Jackson."AbstractModelCheckingofInniteSpecications".InM.Naftalin, ofatptosoftwarereuse".inw.mccune,(ed.),proc.14thcade,lnai1249, T.Denvir,andM.Bertran,(eds.),Proc.2ndFME,LNCS873,pp.519{531,Barcelona, Townsville,July1997.Springer. [JC93] J.JengandB.H.C.Cheng."Usingformalmethodstoconstructasoftwarecomponent October1994.Springer. [JM97] J.-M.JezequelandB.Meyer."DesignbyContract:TheLessonsofAriane".IEEE library".ini.sommervilleandm.paul,(eds.),proc.4thesec,lncs717,pp.397{ Computer,30(1):129{130,January ,Garmisch-Partenkirchen,September1993.Springer. [Knu93] [KRT87]S.Katz,C.A.Richter,andK.S.The."PARIS:ASystemforReusingPartiallyInterpretedSchemas".InProc.9thICSE,pp.377{385,Montery,CA,March1987.IEEE D.E.Knuth.TheStanfordGraphBase:APlatformforCombinatorialComputing.ACM Press,NewYork,1993. [Lea91] G.T.Leavens."ModularSpecicationandVericationofObject-OrientedPrograms". IEEESoftware,8(4):72{80,July1991. ComputerSocietyPress. [Lio96] [LP+94]M.Lowry,A.Philpot,T.Pressburger,andI.Underwood."AMPHION:automatic J.L.Lionset.al.Ariane5Flight501FailureReport,1996. (eds.),proc.8thintl.symp.onmethodologiesforintelligentsystems,lnai869,pp. programmingforscienticsubroutinelibraries".inz.w.rasandm.zemankova, [LW94] B.LiskovandJ.M.Wing."ABehavioralNotionofSubtyping".ACMTOPLAS, 326{335.Springer,October1994. [Mey92] B.Meyer."Applying\DesignbyContract"".IEEEComputer,25(10):40{51,October (6):1811{1841,November1994. [Mey94] B.Meyer.ReusableSoftware:TheBaseObject-OrientedComponentLibraries.Prentice- Hall,EnglewoodClis,
10 [MMM94]A.Mili,R.Mili,andR.Mittermeir."StoringandRetrievingSoftwareComponents:A [MM91] P.ManhartandS.Meggendorfer."Aknowledgeanddeductionbasedsoftwareretrieval tool".inproc.4thintl.symp.onarticialintelligence,pp.29{36,1991. [MS96] D.R.MusserandA.Saini.STLTutorialandReferenceGuide.Addison-Wesley,1996. Italy,May1994.IEEEComputerSocietyPress. Renement-BasedSystem".InB.Fadini,(ed.),Proc.16thICSE,pp.91{102,Sorrento, [MW95]A.MoormanZaremskiandJ.M.Wing."SpecicationMatchingofSoftwareComponents".InG.E.Kaiser,(ed.),Proc.3rdFSE,pp.6{17,Washington,DC,October1995. [Per87] ACMPress. D.E.Perry."TheInscapeEnvironment".InProc.11thICSE,pp.2{12.IEEEComputer [PH95] A.Poetzsch-Heter."InterfaceSpecicationforProgramModulesSupportingSelective UpdatesandSharingandtheirUseinCorrectnessProofs".Softwaretechnik-Trends, SocietyPress,May1987. [Rit91] M.Rittri."Usingtypesassearchkeysinfunctionlibraries".JFP,1(1):71{89,January 15(3):116{125,October1995.Proc.Softwaretechnik95,G.Snelting(ed.). [RW91] E.J.RollinsandJ.M.Wing."SpecicationsasSearchKeysforSoftwareLibraries".In [Ste91] R.A.Steigerwald.ReusableSoftwareComponentRetrievalviaNormalizedAlgebraic K.Furukawa,(ed.),Proc.8thIntl.Conf.Symp.LogicProgramming,pp.173{187,Paris, June MITPress. [SW94] M.SitaramanandB.W.Weide."SpecialFeature:Component-BasedSoftwareUsing RESOLVE".ACMSIGSOFTSoftwareEngineeringNotes,19(4):21{22,October1994. Specications.PhDthesis,NavalPostgraduateSchool,December1991. [WWC92]G.Wiederhold,P.Wegner,andS.Ceri."Towardmegaprogramming".Communications Biographies oftheacm,35(11):89{99,november1992. ofbraunschweig.hisinterestsincludeformalspecication,automateddeductionandfunctional programming.hereceivedhisdiplomaincomputersciencefromthetubraunschweigin1990. BerndFischerisresearcherattheDepartmentofSoftwareTechnologyattheTechnicalUniversity schweig.hismaininterestistoutilizedeductiveandalgebraictechniquesinordertoimprove softwaredesign,congurationmanagement,componentreuse,softwarereengineering,andsoftware GregorSneltingisaprofessorforsoftwaretechnologyattheTechnicalUniversityofBraun- validation.hereceivedadiplomaincomputerscienceandmathematics(1982)andaphdin technologygroupin1991. computerscience(1986)fromthetudarmstadt,andbecameprofessorandleaderofthesoftware 10
Victims Compensation Claim Status of All Pending Claims and Claims Decided Within the Last Three Years
Claim#:021914-174 Initials: J.T. Last4SSN: 6996 DOB: 5/3/1970 Crime Date: 4/30/2013 Status: Claim is currently under review. Decision expected within 7 days Claim#:041715-334 Initials: M.S. Last4SSN: 2957
More informationDECLARATION OF PERFORMANCE NO. HU-DOP_TN-212-25_001
NO. HU-DOP_TN-212-25_001 Product type 212 (TN) 3,5x25 mm EN 14566:2008+A1:2009 NO. HU-DOP_TN-212-35_001 Product type 212 (TN) 3,5x35 mm EN 14566:2008+A1:2009 NO. HU-DOP_TN-212-45_001 Product type 212 (TN)
More informationSpecifications Card Type. Working Voltage Reading range Waterproof degree Operating Humidity 10%~90% Alarm output load 20A.
S600-W 120*56*20mm 0.51KGS S100 120*80*25mm 0.75KGS S500-W 120*80*25mm 0.75KGS K8-W 118*78*25mm 0.70KGS K9-W 120*80*25mm 0.75KGS N1 140*43*25mm 0.70KGS S601-W, silica gel button/keys 120*56*20mm 0.50KGS
More informationDECLARATION OF PERFORMANCE NO. HU-DOP_TD-25_001
NO. HU-DOP_TD-25_001 Product type TD 3,5x25 mm EN 14566:2008+A1:2009 NO. HU-DOP_TD-35_001 Product type TD 3,5x35 mm EN 14566:2008+A1:2009 NO. HU-DOP_TD-45_001 Product type TD 3,5x45 mm EN 14566:2008+A1:2009
More informationThe Centre for Bioethics
- V 1 [ 1] F W () k k J G k z W k G x : q G J () : () N 1 9 J ON L U ON O N N P 7 1 R Y J N U NR FOR G O NY UMN & U ) ( x 1 G 6 O J ' 11 F J M ) ( L L R G J x V M x M MM k : 6 O 1 5 YW N 55 k z k R M F
More information1 D e r 1. S c h u l t a g M a l e a u s. S c h re i b e d e i n e n N a m e n u n t e r e i n K i n d. 1 2 D a s b i n i c h M a l e d i c h s e l b e r. 2 3 F re u n d e M a l e d i c h u n d d e i n
More informationMasters Mens Physique 45+
C G x By, F, hysq, Bk Chpshps Ap, Cv Cy, Cf Mss Ms hysq + Fs Ls Css Ov Css s G MC Chpk M+ W M+/MC y Bs 9 8 9 9 8 B O'H 8 9 8 S Rs 8 8 9 h K 9 D Szwsk 8 9 8 9 9 G M+ h D Ly Iz M+ 8 M R : : C G x By, F,
More informationSticky News. sticky rice cooking school newsletter
S R C S V A T 3 HS SA 2009 S Nw w #05 m 2010 j v T L & S O I M T Ow C F... S C Nw C C A Smb 2010 M C S R C S BEST FOOD EXPERIENCE 2009 N F C w S R C S w w b Aw T 6 B F Ex A. A N F A Tv Tm Aw, w b M Ex
More informationCreating a Cultural Landmark in Sault Ste. Marie
Creating a Cultural Landmark in Sault Ste. Marie Music Education Performance Heritage Downtown Development Music For Our Community Creating a Cultural Landmark in Sault Ste. Marie Music For Our Community
More informationInstructional Laboratory Apparatuses Designed and Built by Capstone Senior Design Students
Global J. of Engng. Educ., Vol.11, No.1 Published in Australia 2007 UICEE Instructional Laboratory Apparatuses Designed and Built by Capstone Senior Design Students Hosni I. Abu-Mulaweh Department of Engineering,
More informationFDIC. Federal Deposit Insurance Corporation. This booklet reprinted with permission by the Federal Trade Commission.
More information
Registration Form for the
e Registration Form for the Engineer (FSengineer) Professional (FSP) Expert (FSE) Page 2 of 8 1 Applicant Registration Information Applicant Position Title Birthday Sex Highest education Experiences Years
More informationRole and Value of HIT in the Inland Northwest. Jac Davies, MS, MPH Director, Center for Innovation and Quality Inland Northwest Health Services
Role and Value of HIT in the Inland Northwest Jac Davies, MS, MPH Director, Center for Innovation and Quality Inland Northwest Health Services Rationale for HIT Improving quality of care Increasing operational
More informationDose-Response Effects of Sodium Intake on Blood Pressure
I Dose-Response Effects of Sodium Intake on 1 +2 NS +1 NS -2 NS +5 NS 0.46 (20) 4.6 () 25.9 (1128) FIGURE I-1 Blood pressure (mm Hg) according to dietary sodium intake in g/d (mmol/d) among 8 normotensive
More informationNVLAP Assessor Training. Assessor Qualification & Training Requirements
NVLAP Assessor Training Assessor Qualification & Training Requirements References ISO/IEC 17011: Conformity assessment General requirements for accreditation bodies accrediting conformity assessment bodies
More informationNational Small Business Week
OMB Control Number 3245-0360 Expiration Date: September 30, 2017 National Small Business Week SBA Form 3309, 8(a) Graduate of the Year Instructions: This form must be completed by the nominee or by the
More informationCHENBRO. RM31408 4-Port 6Gb/s Mini-SAS Backplane 80H10331404A0. User s Manual. Sep / 30 / 2010
CHENBRO RM31408 4-Port 6Gb/s Mini-SAS Backplane 80H10331404A0 Sep / 30 / 2010 1 Copyright Copyright 2010 Chenbro Micom Co., Ltd.. All rights reserved. Unless otherwise indicated, all materials in this
More informationTABLET REFORMULATION CASE STUDY. Executive Summary
TABLET REFORMULATION Executive Summary A large European pharmaceutical company contracted Aptuit to reformulate a tablet with existing dosage strengths of 25 mg and 50 mg. The client required smaller strengths
More informationBasic banking services
Presentation to the European Parliament by London Economics 25 January 2012 1 Presentation outline Basic facts and benefits 2 and benefits Background Access to basic banking is essential in modern society,
More informationFINAL ORDER Effective: 11-27-07
BEFORE THE COMMISSIONER OF INSURANCE OF THE STATE OF KANSAS ) SunAmerica Life ) Insurance Company ) SUMMARY ORDER Pursuant to the authority granted to the Commissioner of Insurance ( Commissioner ) by
More informationIN YEAR APPLICATION FORM 2015-2016 REYNOLDS ACADEMY
! IN YEAR APPLICATION FORM 2015-2016 REYNOLDS ACADEMY Section A: Pupil Details First Name (s) Surname Gender Male Female Date of birth / / Year Group FS1 FS2 Y1 Y2 Y3 Y4 Y5 Y6 Home Address Post Code Is
More informationS. Mai 1 and C. Zimmermann 2
Az : P. I. C. S C D, S. 649-659, C, USA, 5. Rk A A T C Hz M S. M C. Zmmm A L Gm N S m m. I m z m m k. Rk m, k, m q. T xm m m m w k m. T w k, k x, w k. I Gm m m m. B k m mj m, k w k. T m m mj m. T m m mm.
More informationTelit AppZone Programming Tips
Telit AppZone Programming Tips Table of Contents Basic Operations... 2 1. Print messages to UART... 2 2. Working with processes... 3 3. File System... 4 4. Timers... 5 5. SMS... 6 6. AT Commands... 7 7.
More informationPublic Notification Letter
2000 Powell Street, Ste. 600 Emeryville, CA 94608 USA +1.510.452.8000 main +1.510.452.8001 fax Public Notification Letter To: Interested Parties From: Scientific Certification Systems Date: September 10,
More informationclinical negligence collaborative law commercial dispute resolution commercial property company & commercial contentious wills and probate education
clinical negligence collaborative law commercial dispute resolution commercial property company & commercial contentious wills and probate education employment family law housing mediation personal injury
More informationConsulting Management Technology. Healthcare Business Solutions
Consulting Management Technology Healthcare Business Solutions 877 786 3580 Practice Management Solutions As a full service consulting firm, we have the breadth and depth that allow us to provide a complete
More informationTIRANTS ARTITEC INOX TARIF BRUT (HTVA)
ART.PH60.01 TIRANT INOX PH60 forme U / 19X125 mm + Fix.travers.décoratif 23,94 ART.PH60.02 TIRANT INOX PH60 forme U / 19X125 mm + VIS TF M8 15,96 ART.PH60.03 TIRANT INOX PH60 forme U / 19X125 mm + FIX.
More informationPhilippine Long Distance Telephone Company (TEL) - Financial and Strategic SWOT Analysis Review provides
Brochure More information from http://www.researchandmarkets.com/reports/1816531/ Philippine Long Distance Telephone Company (TEL) - Financial and Strategic SWOT Analysis Review Description: Philippine
More informationChapter 26 EasyPrinter
Chapter 26 EasyPrinter... 2 26.1 Using EasyPrinter as a Printer Server... 3 26.1.1 Setup Procedure in EasyPrinter... 3 26.1.2 Setup Procedure in EasyBuilder... 4 26.2 Using EasyPrinter as a Backup Server...
More informationDeutsche Telekom AG (DTE) - Financial and Strategic SWOT Analysis Review
Brochure More information from http://www.researchandmarkets.com/reports/1314989/ Deutsche Telekom AG (DTE) - Financial and Strategic SWOT Analysis Review Description: Deutsche Telekom AG (DTE) - Financial
More informationSection Four. Graduate School of Management GSM
Section Four Graduate School of GSM GSM 4-1. Degree Program Degree type Major MBA Master of Business Administration the 1. 2. Thesis Rescindment of Degrees Basic Requirements for Completion 1. Period of
More informationITINERARY 1 GOURMET OUTING 20 MINUTES AWAY FROM MONTRÉAL TOTAL DISTANCE: 57 KM
NJ OY AG AWAYAL ONG HMON É RÉ GI WI NROU! D m m m m w? M W R w! M W R R b b S É B S H 1 7 5 m H M W R b b b b b m mm w w 1 6 m m m w m B mb m M W R ; w w Y m m m C! IINRARY 1 GOURM OUING 20 MINUS AWAY
More informationConductive Level Switch FK 2 Technical Data:
Level switch for conductive liquids Optional electrode length adjustment Hygienic installation in accordance with EHEDG Wetted parts compatible with FDA requirements Potted electronic Not influenced by
More information4 m m 2m 21 K N Am -K 5K E m m m m K S mm m B m V ms S m S E D m V m 1 m m m m m 2 ( m ) 2 m E mm m m mn A m V mm m m E mm m m K m mm m K 3 495 175 B 19 415 16 66 A D ( 1 23 391)1 928 9 337 S G O 18 3
More informationIR Edixeon Emitter. 1W Edixeon
High Power LED 1W Edixeon IR Edixeon Emitter Date:2006/06/01 Version:2.0 Device No. : 3-RD-01-E0009 Believe SRL Via Lago di Trasimeno, 21 - Schio (VI) - Italy TEL: +39/0445/579035 FAX: +39/0445/575708
More informationUniversity of Cambridge: Programme Specifications MASTER OF PHILOSOPHY IN MANAGEMENT SCIENCE AND OPERATIONS
University of Cambridge: Programme Specifications Every effort has been made to ensure the accuracy of the information in this programme specification. Programme specifications are produced and then reviewed
More informationInformation. large Straub pipe couplings
Information for fitting large Straub Reliability when fitting large STRAUB- FLEX / OPEN-FLEX STRAUB offers a full range of technical support to ensure your STRAUB couplings are installed efficiently on
More informationSubscription of Filter Mats and Rolled Goods for Replacement
Subscription of Filter Mats and Rolled Goods for Replacement Do you regularly need filter mats and/or rolled goods for replacement in your enclosure? In future save yourself the ordering effort and having
More informationCourse Schedule. Course Descriptions. Pricing. Course Transfer to Degree
Course Schedule Course Descriptions Pricing Course Transfer to Degree Course Schedule Class Title Term Start & End Dates Class No. Subject Catalog No. Section Credits Introduction to Project Management
More informationUSI Master Policy Information
Policy I.D. Gender A.B. (#327) M 86 United of Omaha $ 1,000,000.00 A.B. (#430) - (#436) M 86 Metlife $ 2,000,000.00 A.G. #1 (#371), (#610), (#624) M Conseco Life $ 3,125,000.00 10/Apr/10 A.G. #2 (#380),
More informationOffice Space FOR LEASE. Derry & Tomken Business Centre. 979 & 989 Derry Road East, Mississauga. For more information, please contact:
Derry & Tomken Business Centre Office Space FOR LEASE 979 & 989 Derry Road East, Mississauga For more information, please contact: Binswanger Hectare, Brokerage 1279 Matheson Boulevard East Mississauga,
More informationPart H DIFFUSERS section 2 SEPT 2005. Publication. Air Diffusers. supply and exhaust ventilation systems. plenum boxes
Publication Part H DIFFUSES section 2 SEPT 5 Air Diffusers supply and exhaust ventilation systems plenum boxes PLENUM BOXES introduction The general range of PB plenum boxes are manufactured with a return
More informationFINAL ORDER EFFECTIVE: 7-30-12
BEFORE THE COMMISSIONER OF INSURANCE OF THE STATE OF KANSAS FINAL ORDER EFFECTIVE: 7-30-12 In the Matter of the Proposed Adoption ) of the Financial Condition Examination ) Report as of May 31, 2012 )
More informationRussell W. Graves, Ph.D.
Russell W. Graves, Ph.D. Contact Information Russell Graves Liberal Arts Building, 202A University of Central Oklahoma Edmond, OK 73034 email address: rgraves4@uco.edu office phone: 405-974-5273 Relevant
More informationN-Channel 30-V (D-S) MOSFET
Si3456V N-Channel 3-V (-S) MOSFET PROUCT SUMMARY V S (V) R S(on) (Ω) I (A) d Q g (Typ.) 3.4 at V GS = V 6.3.5 at V GS = 4.5 V 5.7 TSOP-6 Top View.8 nc FEATURES Halogen-free According to IEC 649-- efinition
More information0310M DIN 5264/5265 ISO 2380-1/-2 DESTORNILLADOR PUNTA RANURADA CHAVE DE PARAFUSOS FENDA SCREWDRIVER FOR SLOTTED HEAD SCREWS 0310M (g) (pcs) M2 2.5 75 145 20 12 M3 3.0 75 148 22 12 M4 4.0 100 173 30 12
More informationMutual of Omaha Insurance Company - Strategic SWOT Analysis Review
Brochure More information from http://www.researchandmarkets.com/reports/2607055/ Mutual of Omaha Insurance Company - Strategic SWOT Analysis Review Description: Mutual of Omaha Insurance Company - Strategic
More informationSecurity and privacy standardization for the SME community
Security and privacy standardization for the SME community NLO meeting, Athens, March 4th 2015 European Union Agency for Network and Information Security www.enisa.europa.eu PROJECT CONTEXT European Union
More informationThe Boston Consulting Group - Strategic SWOT Analysis Review
Brochure More information from http://www.researchandmarkets.com/reports/1945277/ The Boston Consulting Group - Strategic SWOT Analysis Review Description: The Boston Consulting Group - Strategic SWOT
More information26-1. This chapter explains the setup steps of EasyPrinter.
26-1 26.EasyPrinter This chapter explains the setup steps of EasyPrinter. 26.1. Overview... 26-2 26.2. Using EasyPrinter as a Printer Server... 26-3 26.3. Using EasyPrinter as a Backup Sever... 26-5 26.4.
More informationTHE NEW HAMPSHIRE HIGHER EDUCATION INVENTORY FOR EARLY CHILDHOOD PROFESSIONALS IN HEALTH AND FAMILY SUPPORT PROFESSIONS
THE NEW HAMPSHIRE HIGHER EDUCATION INVENTORY FOR EARLY CHILDHOOD PROFESSIONALS IN HEALTH AND FAMILY SUPPORT PROFESSIONS August 3 INTRODUCTION Spark NH is New Hampshire s governor- appointed Early Childhood
More informationCustomer Matrix Viewer Epicor 9
Customer Matrix Viewer Disclaimer This document is for informational purposes only and is subject to change without notice. This document and its contents, including the viewpoints, dates and functional
More informationFAST School of Fashion and Accessory Studies and Technology
Additional fees and extra costs SUMMER 2010 ALL MUSIC CLASSES: 160 Euros ALL WINE AND COOKING CLASSES : 90 Euros SUMMER 1 DI ES DB 310 Design by Nature I 20 80 DI ES SL 355 Sustainable Life Cycle 20 DI
More informationSCHOOL DISTRICT EVALUATION OF PERFORMANCE IN COMMUNITY AND STUDENT ENGAGEMENT AND COMPLIANCE
SCHOOL DISTRICT EVALUATION OF PERFORMANCE IN COMMUNITY AND STUDENT ENGAGEMENT AND COMPLIANCE To comply with the new requirement in HB5 for community and student engagement evaluations, TEA has added new
More informationJackson National Life Insurance Company - Strategic SWOT Analysis Review
Brochure More information from http://www.researchandmarkets.com/reports/1957387/ Jackson National Life Insurance Company - Strategic SWOT Analysis Review Description: Jackson National Life Insurance Company
More informationFellowship of the Royal College of Physicians of Ireland. Guidelines for Nominees and Nominators
Fellowship of the Royal College of Physicians of Ireland Guidelines for Nominees and Nominators Guidelines for Nominees and Nominators 3 Fellowship of the Royal College of Physicians of Ireland Guidelines
More informationInstitutional Financial Aid Application
Creating knowledge Inspiring individuals Transforming business. Institutional Financial Aid Application All students applying for financial aid should complete and submit this application to Olin Graduate
More informationTushar Joshi Turtle Networks Ltd
MySQL Database for High Availability Web Applications Tushar Joshi Turtle Networks Ltd www.turtle.net Overview What is High Availability? Web/Network Architecture Applications MySQL Replication MySQL Clustering
More informationCompany Profile. 1-2-1 Osaki, Shinagawa-ku, Tokyo, 141-8672 Japan Tel. +81 3 5435 7777 www.hitachi-systems.com/eng/
Company Profile 1-2-1 Osaki, Shinagawa-ku, Tokyo, 141-8672 Japan Tel. +81 3 5435 7777 www.hitachi-systems.com/eng/ All product and company names in this document are trademarks or registered trademarks
More informationSystem Requirements for LUMEDX Hosted Solutions 103-01268-003
System Requirements for LUMEDX Hosted Solutions 103-01268-003 Information in this documentation is subject to change without notice and does not represent a commitment on the part of LUMEDX Corporation.
More informationEffect of Ambient Conditions on Thermal Properties of Photovoltaic Cells: Crystalline and Amorphous Silicon
Effect of Ambient Conditions on Thermal Properties of Photovoltaic Cells: Crystalline and Amorphous Silicon Latifa Sabri 1, Mohammed Benzirar 2 P.G. Student, Department of Physics, Faculty of Sciences
More informationNew Product Hotline - 800-336-3575
Dia. M12-1.25 (continued) 6-242 M12-1.25 12.56mm 37.5mm 11.5mm 6-375 M12-1.25 14.25mm 41.5mm 14mm 6-263 M12-1.25 12.83mm 32.5mm 7mm 6-320 M12-1.25 12.83mm 41.5mm 14mm 6-322 M12-1.25 14.27mm 30.5mm 6mm
More informationAFGHANISTAN REHABILITATION ORGANIZATION (ARO)
AFGHANISTAN REHABILITATION ORGANIZATION (ARO) 12 OCT1993 To: Hv.Rrrtt Dvecis Project officer IRC/RAP for reporting.13 October..WW It 6.U Dear Mr. Britt Dveris! Thank you {'or culling. KncJnsferi pjenze
More information1 pc Charge Injection, 100 pa Leakage CMOS 5 V/5 V/3 V 4-Channel Multiplexer ADG604
a FEATURES 1 pc Charge Injection (Over the Full Signal Range) 2.7 V to 5.5 V ual Supply 2.7 V to 5.5 ingle Supply Automotive Temperature Range: 4 C to +125 C 1 pa Max @ 25 C Leakage Currents 85 Typ On
More informationChildren's Medical Center Dallas - Strategic SWOT Analysis Review
Brochure More information from http://www.researchandmarkets.com/reports/1816475/ Children's Medical Center Dallas - Strategic SWOT Analysis Review Description: Children's Medical Center Dallas - Strategic
More information-SFYLYHTC06 FOR MESSRS. :
T h e L C D ( M ) S p e c i a l i s t CONTACT ADDRESS : 6F, Block 105, Jing Di Industrial Park, Fu Qiang Rd. Fu Tian, Shenzhen City,China. Tel: 0086-755-83308729 Fax: 0086-755-83308659 E-mail: craig.jiang@wincomlcd.com
More informationLCM NHD-12032BZ-FSW-GBW. User s Guide. (Liquid Crystal Display Graphic Module) RoHS Compliant. For product support, contact
User s Guide -FSW-GBW LCM (Liquid Crystal Display Graphic Module) RoHS Compliant NHD- 12032- BZ- F - SW- G- B- W- Newhaven Display 120 x 32 pixels Version Line Transflective Side White LED B/L STN- Gray
More informationFOR MESSRS. : WC1602A PAGE: 1/12 CONTENTS
T h e L C D ( M ) S p e c i a l i s t CONTACT ADDRESS : 6F, Block 105, Jin Di Industrial Park, Fu Qiang Rd. Fu Tian, Shenzhen City,China. Tel: 0086-755-83308729 Fax: 0086-755-83308659 E-mail: craig.jiang@wincomlcd.com
More informationEpicor Software Corporation - Strategic SWOT Analysis Review
Brochure More information from http://www.researchandmarkets.com/reports/2607044/ Epicor Software Corporation - Strategic SWOT Analysis Review Description: Epicor Software Corporation - Strategic SWOT
More informationManaging Decontamination in Dental Practice Dental Clinical Guidance
Scottish Dental Clinical Effectiveness Programme SDcep Managing Decontamination in Dental Practice Dental Clinical Guidance Decontamination Into Practice: Part 3 October 2014 Scottish Dental Clinical Effectiveness
More informationE. OZCEYLAN /International Journal of Lean Thinking Volume 1, Issue 1 (June 2010)
I J L T k gv m1 I 1( J 2 0 1 0 ) LT k g. jmg: www. k g.m/ j AD S S m C m T M L g E Öz S ç ku D m I E g g C m 4 2 0 3 1 K T k z @ k.. ABSTRACT KEYWORDS L g m g m T m m m M m k g m m g g. F m T A m m x m
More information50 C (122 F) - - - - Settlement, 5 days, % - - - - Storage Stability Test, 24 hours, % (2) 1 max. 1 max. 1 max. 1 max.
State: South Carolina Materials: Re: Section 406-407 Date: 11-10-15 Contact: Cliff Selkinghaus Web Address: www.scdot.org Contact Info: selkinghcb@scdot.org South Carolina Table 1: Requirements for Anionic
More informationMedical Information Technology, Inc. - Strategic SWOT Analysis Review
Brochure More information from http://www.researchandmarkets.com/reports/2012003/ Medical Information Technology, Inc. - Strategic SWOT Analysis Review Description: Medical Information Technology, Inc.
More informationWHITEPAPER OF THE MOST COMMON CHALLENGES SMALL BUSINESS LEADERS FACE & HOW TO OVERCOME THEM
WHITEPAPER OF THE MOST COMMON CHALLENGES SMALL BUSINESS LEADERS FACE & HOW TO OVERCOME THEM SEPTEMBER 2014 FOUR CHALLENGES SMALL BUSINESS LEADERS FACE Page 2 Four of the Most Common Challenges Small Business
More informationGL-Month End Closing Procedures. User Guide
GL-Month End Closing Procedures User Guide Davisware 514 Market Loop West Dundee, IL 60118 Phone: (847) 426-6000 Fax: (847) 426-6027 Contents are the exclusive property of Davisware. Copyright 2015. All
More informationOBSTRUCTION LIGHT OL 150-LED 230V
OBSTRUCTION LIGHT : OL150-LED 230V OBSTRUCTION LIGHT OL 150-LED 230V Type OL 150-LED 230V Illuminating power 10 cd minimum (14 cd typical) Light source Obelux 230-E27 LED Life time 100 000 hours Cable
More informationFlamco Stainless steel mountings
S TA I N L E S S S T E E L M O U N T I N G S 9 Flamco Stainless steel mountings BRS-A BSF - SS RAIL R - SS GP - SS Edition 2007 / UK Stainless steel mountings Flamco offers the best attachment options
More informationDigital display DA 48
Loop powered plug-in LCD display No auxiliary energy source needed Scale freely adjustable on site Can be turned to any position Suitable for any 0 ma transmitter with EN 175301-803A connector Digital
More informationAPPROVAL SHEET. Chip Coolers. Spire Corp.
APPROVAL SHEET Chip Coolers SALES MODEL NO: SP532S7 ENGINEER NO: SC532S3-093-AM3W2- Article No. : SP-AP-SC-A2 Issue Date : Sep 7, 2009 Version : A/0 Audited by Checked by Drafted by Denny Spire Corp. Tel.:
More informationFACULTY OF COMMERCE DEPARTMENT OF MARKETING
FACULTY OF COMMERCE DEPARTMENT OF MARKETING MARKETING RESEARCH (MM402) COURSE OUTLINE Course Description Today s marketing environment presents managers with increasingly complex problems and opportunities
More informationPreparation of core-shell Fe3O4@poly(dopamine) magnetic nanoparticles for biosensor construction. Supplementary materials
Supplementary materials Figure SM1. Thermal analysis (TG and TDA) of Fe 3 O 4 (A) and Fe 3 O 4 @pda (B) nanoparticles. Supplementary Material 1 Figure SM2. Funcionalized magnetic nanoparticles (Fe 3 O
More informationFocus Product Selector Guide
Focus Selector Guide Focus Selector Guide Microcontrollers Digital Signal Controllers Analog Memory Wireless www.microchip.com Microchip: A Partner in Your Success Microchip is a leading provider of microcontroller
More informationDEADLINE FOR APPLICATIONS IS Friday, APRIL 1, 2016
ELIGIBILITY REQUIREMENTS: SELECT Federal Credit Union members (must be at least a High School Senior) wishing to pursue higher education or further their education for career advancement. Applicants must
More informationDepartment of Electrical Engineering and Computer Science CS-Division Pre PhD Progress (Qualifying) Review AND Annual PhD.
Department of Electrical Engineering and Computer Science CS-Division Pre PhD Progress (Qualifying) Review AND Annual PhD. Progress Review Student s Guide A progress (Qualifying) review will be conducted
More information2015 FCC EEO PUBLIC FILE REPORT. This Report covers full-time vacancy recruitment data for the period 9/22/14 to 9/21/15.
2015 Broadcast EEO Program Report WRHC Broadcasting Corp. and Fenix Broadcasting Corp. Employment Unit: Stations WRHC(AM) and WWFE(AM) Place in Public File 10/01/15 2015 FCC EEO PUBLIC FILE REPORT This
More informationGRADUATE PROGRAM LEARNING OUTCOMES
GRADUATE PROGRAM LEARNING OUTCOMES College of Business Executive Master's in Business Administration Upon successful completion, graduates will have demonstrated, in an interdisciplinary and integrative
More informationFilm Scanner The term Film Scanner can refer to a dedicated slide and negative film scanner or to a capture type scanner.
Film Scanner The term Film Scanner can refer to a dedicated slide and negative film scanner or to a capture type scanner. Negative Scanner The term Negative Scanner can refer to a dedicated slide and negative
More informationOTSS Data Conference 2014
OTSS Data Conference 2014 OTSS Data Conference 2014 Office of Technology & Strategic Services formerly Management Information Systems Office of Federal Programs Marcus Cheeks, Bureau Director Office of
More informationFormal Concept Analysis used for object-oriented software modelling Wolfgang Hesse FB Mathematik und Informatik, Univ. Marburg
FCA-SE 10 Formal Concept Analysis used for object-oriented software modelling Wolfgang Hesse FB Mathematik und Informatik, Univ. Marburg FCA-SE 20 Contents 1 The role of concepts in software development
More informationMs. Ifeyinwa Ikeonu Council Member ECOWAS Regional Electricity Regulatory Authority (ERERA) Accra, Ghana
Ms. Ifeyinwa Ikeonu Council Member ECOWAS Regional Electricity Regulatory Authority (ERERA) Accra, Ghana INFRASTRUCTURE SERVICES UNDER REGIONAL TRADE AGREEMENTS: THE CASE FOR ENERGY INFRASTRUCTURE IN ECOWAS
More informationKIRÁLY TRADING KFT H-1151 Budapest Mogyoród útja 12 14tel: 061307-3801. E-mail:pzoli@kiralytrading.hu agi@kiralytrading.hu. Hinges
355 Technical information for hinges In the tables on the following pages are listed a large range of hinge variations. Many more variations are possible if hinges with guide tabs are required i.e. when
More informationConfigurable High Performance SMD TCXO/VCTCXO
ESD Sensitive OVERVIEW: temperature compensated Crystal Oscillators are designed to accommodate a broad breadth of Precision TCXO requirements, without NRE and extended lead-times. This oscillator series
More informationRemarks on the GWV Firewall
Remarks on the GWV Firewall Ron van der Meyden School of Computer Science and Engineering, University of New South Wales October 18, 2010 Abstract Greve, Wilding and Vanfleet (2003) have proposed a formal
More informationCONVERTING TO AND FROM PRIMAVERA SURETRAK AND P3 TO MICROSOFT PROJECT MPX & MPP FORMAT PAUL E HARRIS EASTWOOD HARRIS. REVISED 4 August 2003
P.O. Box 4032 EASTWOOD HARRIS PTY LTD Tel 61 (0)4 1118 7701 Doncaster Heights ACN 085 065 872 Fax 61 (0)3 9846 7700 Victoria 3109 Project Management Systems Email: harrispe@eh.com.au Australia Software
More informationCourse Outline: Course SYDP1383: Symantec Backup Exec 2010: Administration
Course Outline: Course SYDP1383: Symantec Backup Exec 2010: Administration Learning Method: Instructor-led Classroom Learning Duration: 5.00 Day(s)/ 40 hrs Overview: The Symantec Backup Exec 2010: Administration
More informationEpic Systems Corporation - Strategic SWOT Analysis Review
Brochure More information from http://www.researchandmarkets.com/reports/1495854/ Epic Systems Corporation - Strategic SWOT Analysis Review Description: Epic Systems Corporation - Strategic SWOT Analysis
More informationOregon Real Estate Agency Approved Pre-License Real Estate Schools
Oregon Real Estate Agency Approved Pre-License Real Estate Schools The schools listed below are authorized to offer the education required to obtain a broker or property manager license. These schools
More informationLOGIE BUILDING SERVICES (INSURANCE CONTRACTORS) LTD.
LOGIE BUILDING SERVICES (INSURANCE CONTRACTORS) LTD. LOGIE BUILDING SERVICES (INSURANCE CONTRACTORS) LTD. THE COMPLETE SOLUTION Quality, Efficiency and Understanding. These are the three key fundamental
More information