客户服务电话
突尼斯酒店旅游攻略
推荐出游月份：1~12月
突尼斯住宿概述
突尼斯住宿
圆顶体育馆
突尼斯动物园
雷兹奥林匹克体育场
布尔吉巴大街
巴尔多国家博物馆
兹图那清真寺
突尼斯麦地那老城区
达赫达赫欢乐岛娱乐公园
突尼斯机场
二星及以下/经济
1800及以上
共47家酒店
住客点评：
提供了一个独特的历史经历DAR Ben-Gacem在老城区。 房间很舒适,干净。 气氛轻松。 服务是一流的。 老板, Leila, 是一个很棒的女主人,是一个很好的信息来源的老城区。
位于商圈：
临近Souk El Attarine
住客点评：
我真的很喜欢住在金色郁金香el mechtel的,房间非常干净宽敞,供应国际食品和古董别墅意大利餐厅很好很棒,工作人员非常友好和乐于助人的... 真的很喜欢这家酒店和thak你给每个人。
位于商圈：
在突尼斯动物园附近
住客点评：
This hotel was a very good discovery for us. The &rooms& are apartments, ours had a 2 person bedroom and a 1 person bedroom, a bathroom, kitchen and a living room area. There was also a huge terrace with furniture.
The apartment was very comfortable, with good air conditioning, and well insulated. We didnt have any noise from neighbours or traffic at all. Bed was nice, internet was fast. Breakfast buffet was good. All you needed.
The staff was very very friendly and helpful (not often the case in Tunisia)!
Some points of criticism (no deal breakers for us):
there are not many chairs on the swimming pool to lay down on, there is no cooking equipment in the kitchen (cutlery, plates, pans,...).
You should also know that there is no alcohol in the hotel (as this is located in a residential area of Tunis).
位于商圈：
位于突尼斯
住客点评：
Véritable vitrine de la Tunisie moderne alliant modernisme et identité, BUSINESS HOTEL est un h?tel d’affaires au coeur du centre ville de Tunis, Idéalement situé dans le quartier d’affaires Montplaisir, à 10 mn de celui des berges du Lac et de l’aéroport Tunis- Carthage.
L’établissement a été entièrement con?u pour accueillir une clientèle business des plus exigeantes.
L’h?tel dispose d’une connexion WIFI fibre optique gratuite dans tous l’établissement, un business center, téléphonie et Smart TV IP, service d’étage et conciergerie disponibles 24 heures sur 24, pour satisfaire tous vos besoins.
Séjournez au BUSINESS HOTEL, et partez explorer une ville à la croisée des cultures, accueillant des sites culturels uniques tous à proximité, et profitez pour vous détendre en afterwork dans ses deux resto-lounge en faisant un véritable voyage culinaire dans la gastronomie tunisienne et en découvrant les ambiances festives du Tunis by Night.
位于商圈：
临近家乐福超市
住客点评：
这家旅馆就是我们的家外之家在突尼斯。 就在麦地那的中心地带,这是一个游览很棒的位置,很容易就能拦到出租车和从附近的&顿&区域。 这家旅馆很干净,很舒服,共用的浴室也很棒,早餐是我们住过的最好的酒店在突尼斯。 唯一的缺点是无线网络间歇性; 我们有一些重要的预订,等制作和放弃了去了附近的一个计算机存储做到这一点。
位于商圈：
临近Souk El Attarine
住客点评：
Services très professionnels, excellent emplacement et chambres très propres de tailles moyennes.
Petit déjeuner correct excellent rapport qualité prix.
Je suis parti t?t le matin et j'ai trouvé mon petit déjeuner prêt bien avant l'ouverture du restaurant.
位于商圈：
位于突尼斯（Menzah）
住客点评：
这里的套房很棒。 我很喜欢酒店的提前入住和延迟退房政策他们有它非常灵活,您可以随时登记入住和离开的时候他们会向你收取每小时少量。 服务很好房间宽敞的套房和预期的一样。 那里的食物很不错
优点就是离机场很近
酒店离市中心很远的地方
位于商圈：
位于商务区内
住客点评：
我在这里住了一晚的商务旅行Tunisia Novotel Mohamed V ,登记入住很顺利,工作人员非常友好和乐于助人,房间很不错,干净,和床的质量真的很好。 酒店的地理位置很好,突尼斯的中心地带。
位于商圈：
临近家乐福超市
住客点评：
很棒的酒店位置很好在市中心,靠近地图的事情,但非常非常安静。
房间很干净很舒适
breakfust的很棒,你会发现你想要吃什么封路了它的农舍
工作人员非常完美:超薄,燗bu aiman, karima, 穆罕默德... 都是那么的热情让你感觉像在家里一样... 太感谢你了
酒店的餐厅是一个和平的艺术,大厅里还...
员工餐厅的所有我们能说的就是感谢:basam wahbi和, nagi先生, hichem... 你让我们的住宿一个梦。
在突尼斯突尼斯的所有宫殿酒店是推荐
位于商圈：
住客点评：
房间很可爱。 宽敞。 干净。 优越的地理位置。 早餐很简单。 通常每天早上都一样。 员工友好,乐于助人。 我强烈推荐这家酒店,住一晚或几晚。
位于商圈：
在Souk El Attarine附近
住客点评：
我在突尼斯作为出差的一部分只拜访过这个地方，前台的服务员非常和蔼又热情，让我们参观了整个酒店。这个地方很迷人，非常注意细节的装修。下次拜访这个城市我一定会考虑住在这儿的。
位于商圈：
临近兹图那清真寺
住客点评：
一个可爱的酒店,在一个非常方便的位置。 新,干净,舒适。 床很不错,空调,所以很凉爽。 酒店的餐厅价格合理,食物非常好吃,有各种各样的选择菜单。
位于商圈：
临近家乐福超市
住客点评：
这真的是一个性价比很高，干净又有新的装饰的酒店。枕头和毛巾我有怀疑过他们是不是没有清理过。但是闻起来很香，也许我错了。缺点是早餐，低于标准。
位于商圈：
Rue Ali Bach Hamba, Tunis
住客点评：
这家很棒,很新,价格也很合理,酒店是非常好的设计和舒适。 酒店的整个服务 -- 前台,餐厅,客房服务, -- 真是太棒了。 员工很热情,乐于助人,高效,亲切。 自助早餐很丰盛,美味,而且很好看。 酒店坐落在繁华的街区（中型）的餐厅,蛋糕店,咖啡店,和小杂货店,其他的设施。 免费无线网络很好用。 酒店位于市中心附近Ennasr II, 大约25分钟车程Medina, 15分钟University El马纳尔的突尼斯, 45分钟,从西迪伊夫尼到在说。 我一定会再来。 将来,也许他们还有一个小健身房！
位于商圈：
住客点评：
酒店有一个完美的位置在一个居民区的麦地那市的这家酒店靠近突尼斯兹图那清真寺和市集的街道上的一个快捷方式也可以很方便的找到一辆出租车随时都在。 这里很安静,很漂亮和有一种迷人的氛围。 工作人员都很热情和乐于助人,总是试图把我们现煮的薄荷茶。 每天都有人整理房间爱的细节和一个很棒的早餐（这是在屋顶的露台上供应）非常新鲜而美味。
强烈推荐！
位于商圈：
7 impasse Mesjed El Koba, La Medina de Tunis, Tunis
住客点评：
l'h?tel a un accès facile et dispose d'un grand parking. Très propre avec un personnel chaleureux et professionnel . La bouffe est bonne et raffinée, satisfait tous les go?ts surtout en buffet. Les chambres sont propres et correctes. J'y retournerai sans doute!
位于商圈：
位于突尼斯（Les Berges du Lac）
住客点评：
我来突尼斯好多次了，这家酒店是我在这里待过的最棒的酒店。房间非常的干净宽敞，床也非常的舒服，服务很好。酒店有一种不同的选择，你能喝喝饮料也能享受安静的氛围，他们有一个超大的的水疗中心，还有室内的游泳池，我在这里住的很开心，如果我再次来突尼斯，我想我一定会再次住在这里的！
位于商圈：
在突尼斯动物园附近
住客点评：
非常舒适的房间，令人愉快的员工，早餐品种非常丰盛，而且地理位置方便出行。我出差期间在那里住了好几次，可以的话我还是会再回来的。
位于商圈：
在Dah Dah Happy Land Entertainment Park附近
住客点评：
感谢所有人在我住这里期间对我的照顾。员工都非常乐于助人，安保系统很好。前台、清洁工人、餐厅员工都非常好。早餐有很多选择，从煎蛋到糕点都有。
位于商圈：
临近11 月 7 日广场
住客点评：
在这家酒店有非常漂亮的休息室酒吧5th Floor乐团和高科技的方法。 糕点,怎么说,就是&美味&？ 我最喜欢的菜是可能早上的煎蛋,还有独特的味道,让你这要求厨师Recipe...
地理位置很好,泳池,卧室和工作人员...
位于商圈：
位于突尼斯（Menzah）
热门目的地攻略
热门景点大全
扫描下载途牛APP
最新预订：
12分钟前用户***096568预订含1日门票，景区接送，酷爽之风，欢乐来袭&&&&
23分钟前用户***096305预订[国庆]宿山上一晚挂四星酒店 含自助早、交通、门票 祈福灵山九华 一览佛国全景 领纪念佛珠&&&&
31分钟前用户***851221预订纯玩0购物，专车专导，漫步西湖，穿越宋城，乌镇日景夜景全景，可升级景区内客栈，可选内环以内酒店接车服务&&&&
32分钟前用户***096139预订宿云和皇成国际大酒店
景点任选 游幽然仙境地 听大山深处的古老故事&&&&
34分钟前用户***101618预订1晚鼓浪屿，2晚市区人气酒店，精选热销酒店，自选鼓浪屿船票及云水谣一日游，预定即可享受伴手礼 ，更有庆祝鼓浪屿申遗成功专享（产品热卖）&&&&
42分钟前用户***096012预订含象山石浦渔港，松兰山海滨，浙东小九寨，宿五星级酒店，含自助早，享酒店泳池或健身房，海边撒欢，尽享休闲假日&&&&
45分钟前用户***931785预订激情龙门皮筏漂流 寻新叶古村
门票游船全含 1晚千元观岛湖景房1晚温泉度假村 含双份自助早餐&&&&
47分钟前用户***083090预订激情龙门皮筏漂流 寻新叶古村
门票游船全含 1晚千元观岛湖景房1晚温泉度假村 含双份自助早餐&&&&
51分钟前用户***521831预订苏州摩天轮/夜游金鸡湖 门票自选 双人报价套餐&&&&
58分钟前用户***625601预订海滨戏水，激情漂流
宿世纪盛业大酒店或同级含早&&&&Hameau Montplaisir_苹果游戏下载_海马玩
当前位置： >
版 本：1.1
大 小：12.8 MB
类 别：工具
支 持：iphone、ipad、ipod iOS6.0以上
上 线：上 线：
开发商：开发商：AppsVision
语言：英文
Hameau Montplaisir
&照片加载中...
内容详情：
L'application &Hameau Montplaisir& vous offre la possibilité de consulter toutes les infos utiles sur la locations (Tarifs, services et prestations, avis…) mais aussi de recevoir leurs dernières News ou Flyers sous forme de notifications Push. Caractéristiques de l'application : - La présentation et coordonnées
- Les locations- Les galeries photos & vidéos- Les Flyers et News en notifications push- La géolocalisation - Le partage Facebook et Twitter- Les avis des utilisateurs. Application réalisée par Appsvision.97Defining and Applying Measures of Distance between Specifications
上亿文档资料，等你来发现
97Defining and Applying Measures of Distance between Specifications
De?ningandApplyingMeasur；Speci?cations；L.LabedJilani；IRSITCit′eMontplaisirBel；Tunisia；lamial@hanibal.rsinet.tn；J.Desharnais,D′epartemen；Universit′eLavalQu′ebec,；Canada；desharn@ift.
De?ningandApplyingMeasuresofDistanceBetweenSpeci?cationsL.LabedJilaniIRSITCit′eMontplaisirBelv′ed`ere,1002Tunisialamial@hanibal.rsinet.tnJ.Desharnais,D′epartementd’InformatiqueUniversit′eLavalQu′ebec,QCG1K7P4,Canadadesharn@ift.ulaval.caJanuary18,1999A.Mili,InstituteforSoftwareResearch1000TechnologyDriveFairmont,WV26554USAamili@csee.wvu.eduUneScienceal’?agedesesinstrumentsdemesure.AScienceisasadvancedasitsinstrumentsofmeasurement.LouisPasteurAbstractEchoingLouisPasteur’squote,wesubmitthepremisethatitisadvantageoustode?nemeasuresofdistancebetweenrequirementsspeci?cations,becausesuchmeasuresopenupawiderangeofpossibilitiesbothintheoryandinpractice.Inthispaper,wepresentamathematicalbasisformeasuringdistancesbetweenspeci?cations,andshowhowourmeasuresofdistancecanbeusedtoaddressconcreteproblemsthatariseinthepracticeofsoftwareengineering.Contents1Introduction:MeasuresofDistanceandtheirApplications1.1StructuralvsFunctionalDistance.....................................1.2MakingDowithFunctionalDistance...................................1.3Organization................................................2Background:RelationalSpeci?cations2.1SpecifyingwithRelations.........................................2.2Re?nementOrdering...........................................2.3Re?nementLattice............................................3ElementaryMeasuresofDistance3.1GreatestLowerBound..........................................3.2Re?nementDifference..........................................3.3SymmetricRe?nementDifference....................................11194Application:PredictingIntegrationCosts4.1ComponentIntegrationDecisions....................................4.2SelectingMeasuresofDistance......................................4.2.1FunctionalDe?cit........................................4.2.2FunctionalExcess........................................4.2.3Re?nementDistance.......................................4.2.4Re?nementVector........................................4.2.5Re?nementRatio.........................................4.3AssessingIntegrationEffort.......................................4.4CorrelatingIntegrationEfforttoFunctionalDistance..........................4.4.1DesignoftheExperiment....................................4.4.2ExperimentalResults.......................................5Application:PredictingAdaptationEffort5.1ComponentAdaptationDecisions....................................5.2MeasuresofFunctionalDistance.....................................5.2.1FunctionalConsensus......................................5.2.2FunctionalDe?cit........................................5.2.3FunctionalExcess........................................5.2.4Re?nementDistance.......................................5.2.5FunctionalTangent........................................5.2.6FunctionalRatio.........................................5.3AssessingAdaptationEffort.......................................5.4CorrelatingAdaptationEfforttoFunctionalDistance..........................5.4.1RawData.............................................5.4.2ExperimentalResults.......................................6ProspectsforFutureResearch6.1FurtherExperimentation.........................................6.2ExploitationofExperimentalResults...................................6.3ExtensiontoOtherParadigms......................................6.3.1RelationalSpeci?cationsofObjects...............................6.3.2ASampleLibrary.........................................6.3.3SampleQueries..........................................6.4ExtensiontoOtherSpeci?cationNotations................................6.5AutomatedSupport............................................6.6ExploreOtherApplicationsofDistance.................................7Conclusion7.1Summary.................................................7.2Assessment................................................7.3RelatedWork...............................................7.3.1EstimatingIntegrationCosts...................................7.3.2EstimatingAdaptationCosts...................................7.3.3RetrievingAssetsinReuseLibraries...............................21Introduction:MeasuresofDistanceandtheirApplications1.1StructuralvsFunctionalDistanceTraditionally,measuresofdistancearede?nedinmathematicstore?ectsomeconceptofproximitybdistanceisusuallyquanti?edbyafunctionthattakesitsvaluesinthesetofnon-negativerealnumbers,andsatis?essomeprede?nedaxioms.Inthispaper,weinvestigatefunctionsthathavedistance-likeproperties,wherethesetofinterestisthesetofprogramspeci?weinterpretthetermprogramspeci?cationinageneralsense,referringtoanabstractspeci?cation,adetailedprogramoranydesigndescriptioninbetween.Beforewediscusspotentialapplicationsofmeasuresofdistance,wemust?rstrecognizethatitispossibletodistinguishbetweentwokindsofmeasuresofdistance:Functionaldistance.Functionaldistance(alsoreferredtoassemanticdistance)re?ectstowhatextenttwospeci?cationsactalike,i.e.capturesimilarfunctionalproperties.Structuraldistance.Structuraldistance(alsoreferredtoassyntacticdistance)re?ectstowhatextenttwospeci-?cations(orprograms,ordesigns)lookalike,i.e.havesimilarstructures.Thesemeasuresarefairlyorthogonal,asthefollowingexampleillustrates:aprogramthatcomputesthesumofanarrayandaprogramthatcomputestheproductofanarraylookalike(shortstructuraldistance)sincetheydifferbyminutedetails(theinitialvalueis0vs1,thecumulativeoperationis+vs)butdonotactalike(longfunctionaldistance)sincetheyhardlyeverreturnthesameoontheotherhand,aprogramthatsortsanarraybyselectionsortandaprogramthatsortsanarraybybinarysortactalike(shortfunctionaldistance),sincetheyproducethesameoutputsforcommoninputs,butdonotlookalike(longstructuraldistance)sincetheyhavetotallydifferentprogramstructures.Withthisdistinctioninmind,wereviewsomeoftheapplicationsofmeasuresofdistancebetweenspeci?cations.SoftwareAdaptation.Weconsidertwoversionsandofsomebasesoftwareproduct,andwesupposethatwasobtainedbyaddingfeatureto,whereaswasobtainedbyaddingfeatureto.Weareinterestedindevelopingaversionthathasfeaturesandandwewishtodecidewhetheritisbesttoaddtoorfeatureto.Wesubmitthatthisdecisioncanbetakenbycomparingthedistanceoffeatureandagainstthedistancebetweenand.Further,wesubmitthatthemeasureofdistancethatapplies(hencehereisastructuraldistance,sincewewanttoselecttheversionthatlooksmostlikethesolutiontorequiresleastadaptationeffort).Seethe?gurebelow:?Ifweletbethemeasureofstructuraldistancethatweareusing,thenthedecisionathandcanbetakenbycomparingthedistancesand.SoftwareIntegration.Weconsidertwosoftwareassetsand,andaspeci?cationthatwewishtosatisfybymeansofor,undertheconditionthatwecannotmodifytheassets―ratherweusethemasblackor.Wesubmitagainboxes.Weponderthequestionofhowtotellwhetheritismoreeconomicaltouse3thatthiscanbedecidedbycomparingthedistancebetweenandagainstthedistancebetweenand.Further,wesubmitthatthemeasureofdistancethatapplieshereisafunctionaldistance:becausewearenotgoingtobeconcernedwithhowandlook,structuralontheotherhand,because(thatwouldrequireleastextraweareinterestedinidentifyingtheassetwhosefunctionbestapproximatesfunctionalfeatures),wewanttousefunctionaldistance.Ifweletbethemeasureoffunctionaldistancethatweareusing,thenthedecisionathandcanbetakenbycomparingthedistancesand.?SoftwareRetrieval.Thisquestiongeneralizes,infact,theprecedingtwoquestions,andsowill,?ttingly,ouranswer.Weassumethatwehavealibraryofsoftwareassets,andwehavefoundthatnoassetinthelibrarysat-is?essomequery.Weponderthequestionofhowtoidentifythoseassetsofthelibrarythatbestapproximatequery?Thegenericansweristhatwewanttoselectalltheassetsofthelibrarythatminimizesomemeasureofdistancetothequery:Underthehypothesisofwhiteboxreuse(whereassetsareadaptedbeforereuse),weselectameasureandunderthehypothesisofblackboxreuse(whereassetsarereusedverbatim),weselectameasureoffunctionaldistance.SoftwareReuse.Imaginethatwehaveidenti?edanassetthatminimizesthemeasureofdistancetoqueryamongallcandidateassetsinthelibrary.Wearenotoutofthewoodsyet:westillhavetodeterminewhetheritisbesttousetosatisfyorperhapsto?ndasitmaywellbethattheclosestassettoisstillnotcloseenough.Inprinciple,thisquestioncanbeansweredbycomparingthedistancebetweenandagainstthedistancebetweenandthenullspeci?cation(whichrepresentstheabsenceoffunctionalfeatures).Dependingonwhetherweareinterestedinusingverbatimorafteradaptation,wedeployameasureoffunctionaldistanceorameasureofstructuraldistance.Thesearebutasampleoftherangeofapplicationsthatwecanenvisagefwetrustthatthereadercanthinkofothers.Itiseasytoimaginecaseswhenasmallsyntacticmodi?cationcausesalargefunctionalimpact(examplesinclude:acrucialinitialization,acrucialloopcondition,animportantprogramparameter,aprogramwideconstant).Itisequallyeasytoimaginecaseswhereprofoundsyntacticmodi?cationscauselittleornofunctionalimpact(examplesinclude:asetofwidelydifferentversionsofasoftwareproduct,anunoptimizedandanoptimizedversionofsomecompiler).Thisdiscussionillustratesbrie?ytheorthogonalitybetweenfunctionaldistanceandstructuraldistance(whichre?ectsthemodi?cationeffort):wecanproducealargefunctionaldistancewithaminormodi?cationandasmallfunctionaldistancewithaprofoundmodi?cation.Inlightofthisobservation,onemayarguethatfunctionaldistanceisimmaterialsinceitcannotreliablypredictthemodi?cationeffort.Ourpositioncanbede?nedbythefollowingpremises.Whilestructuraldistancecanbede?nedtore?ectthemodi?cationeffortbetweenauserqueryandanavailablesoftwarecomponent,itcannotbeusedtomeasureit.Inordertopredict/estimatethemodi?cationeffortonehastoperformthemodi?cation,butwearepreciselyinterestedinestimatingthemodi?cationeffortpriortothemodi?cationprocess,todeterminewhethertheprocessisworthwhile/cost-effective.Bycontrast,functionaldistancecanbeestimatedbyinspectionofthespeci?cationsathand(ratherthanthemodi?cationprocess),hencecanbemeasuredupstreamofthemodi?cationprocess(therebyhelpingtodecidewhetherthemodi?cationiscost-effective/worthwhile).Whilemodi?cationeffortisnotcommensuratewithfunctionaldistance,wedoexpectitneverthelesstobereasonablycorrelatedingeneral.Henceintheabsenceofotherinformation,itisreasonabletousefunctionaldistanceasapredictorofstructuraldistance.Byderivingformalde?nitionsforthesetwonotionsinthispaper,weproposetoshedlightonthenatureoftheirrelationshipandprovidemeanstoinvestigateitfurther.41.2MakingDowithFunctionalDistanceEventhoughwerecognizetheneedtodistinguishbetweenstructuralandfunctionaldistance,wealsoadmitthat,inthecontextofthispaper(andperhapsbeyond),wecanonlyde?neandapplymeasuresoffunctionaldistance.Indeed,measuresofstructuraldistancere?ectthewayinwhichspeci?cationsarerepresented,ratherthanthefunctionalprop-ertiesthatthespeci?cationsrepresent.Inorderforustode?neameasureofstructuralbetweenspeci?cations,weneedtoverifytwoconditions:?rst,auniformrepresentationofallourspeci?second,acanonicalschemethatallowsustode?neauniquerepresentation(perhapswithinsomeequivalencerelation)foreachspeci?cation.Itturnsoutthatbothconditionsareunrealistic:the?rstconditioncannotbesatis?edbecausewewanttoapplyourmeasureofdistancetoargumentsthatmayvaryfromanabstractspeci?cation(representedbyastructurelessrelation)toaprogram(representedinsomesourcelanguage);thesecondconditioncannotbesatis?edbecausewedontknowofanysuchcanonicalrepresentation(thesamespeci?cationcanberepresentedinavarietyofways,noneofwhichcanbecharacterizedasbeingcanonical).Also,considerthatwhen,inthecontextofwhiteboxsoftwareretrieval(section1.1),wetalkofthestructuraldistancebetweenand,wearenotreferringtohowmuchlookslike(theyprob-ablylookverydifferentbecauseisastructurelessspeci?cationandisaverydetailedprogram)―ratherweareinterestedinhowmuchlookslikeasolutionto.Theonlywaywecanassessthatwithanyprecisionistoderiveasolutiontothenestimatethestructurthistypicallydefeatsanypurposewemayhaveforusingdistancesatall.Hence,whilewerecognizethedistinctionbetweenmeasuresofstructuraldistanceandmeasuresoffunctionaldistance,wealsoadmitthatweareunabletode?necrediblemeasureswefocusourattention,inthispaper,onde?ningandanalyzingmeasuresoffunctionaldistancebetweenspeci?cations.Themeasuresoffunctionaldistancethatwede?neanddiscussinthispapercanbecharacterizedbythefollowingpremises.Theytaketheirvalues,notinthesetofrealnumbers(astraditionalmeasuresofdistancedo),butinthesetofspeci?theycanbeusedtocompareproximitybyvirtueofapartialorderingrelationthatisde?nedonthesetofspeci?cations.Theydependonthefunctionalpropertiesofspeci?cations,andareindependentoftherepresentationofspeci?-consequently,theycanbeusedtoestimatethedistancebetweentwospeci?cations,aspeci?cationandaprogram,twoprograms,etc.Thederivationandcomparisonofmeasuresofdistanceiscarriedoutinasystematic,formula-itcanbeautomated(althoughnotfully,duetoundecidability),usinggeneralpurposetheoremproversfor?rstorderlogic.Intheabsenceofabetteroption,wewillusemeasuresoffunctionaldistancetomodel,notonlycaseswhereafunc-tionalmeasureofdistanceisrequired,butalsocaseswhereastructuralmeasureofdistanceisrequired.Ourrationaleforusingfunctionaldistancewhenstructuraldistanceisrequiredisthat,whileitispossibletoinventpathotologicalcaseswhenthesemeasuresareorthogonal,theyaregenersubsequentexperimentationwillbearthisrationaleout.1.3OrganizationOurmeasuresoffunctionaldistancestemfromasubtractionoperationthatwede?neonrelationalspeci?cations,whichinturnstemfromanadditionoperation.Inaddition,thecomparisonbetweendistances,whichgivesmeaningtothenotionofproximity,stemsfromanorderingrelationbetweenspeci?cations.Insection2,weintroduceinturnrelationalspeci?cations,thepartialorderingrelationthatweneedforproximity,andtheadditionoperationthatweneedtode?nesubtraction.Insection3,wediscussthreeelementarymeasuresofdistance,anddiscusstheirpropertiesandtheirphysicalinterpretation.Insection4,wediscussanexperimentwhosepurposeistoinvestigatewhethermeasuresoffunctionaldistancecanbeusedtopredictintegrationcostsinthecontextofblackboxsoftwareretrieval(re:itemSoftwareIntegration,section1.1).Insection5,wediscussanexperimentwhosepurposeistoinvestigatewhethermeasuresoffunctionaldistancecanbeusedtopredictadaptationcostsinthecontextofwhiteboxsoftwareretrieval(re:itemSoftwareAdaptation,section1.1);becauseinthisinvestigationweareusingmeasuresoffunctionaldistancetomodelstructuraldistance,weexpectto?ndaweakercorrelationthaninsection4―andexperimental5三亿文库包含各类专业文献、生活休闲娱乐、应用写作文书、行业资料、文学作品欣赏、中学教育、高等教育、97Defining and Applying Measures of Distance between Specifications等内容。　
　 The Design of Ultrasonic Distance Measurement ...define various operational equipment set of ... An image-based measure... 13页 免费 The ... 　Why do we measure the distance in light-years instead of miles
A.Units of light-years sound better.B.Using light-years reduced the number of figures... 　Why do we measure the distance in light-years instead of miles
A.Units of light-years sound better.B.Using light-years reduced the number of figures... 　 We had no way to measure the exact distance we had traveled, but we thought it was ______ ten miles. A.apparentlyB.appraisablyC.appropriatelyD.... 　 We had no way to measure the exact distance we had traveled, but we thought it was ______ ten miles. A.apparentlyB.appraisablyC.appropriatelyD.... 　To some extent, the contradiction between them measures the distance between ...to the site according to the related items in the Technical Specifications.... 　decays with distance between transmitter and ...measures such as time or frequency domain ...CODIT [7]: These channel models define typical ... 　Online learning is also called distance education....they apply and log in D. two years in the ...The hall, which measures 73 meters in length ...