{"id":"https://openalex.org/W145397235","doi":null,"title":"Etude du modele de programmation parallele eiffel// : semantique formelle, preuves et visualisation","display_name":"Etude du modele de programmation parallele eiffel// : semantique formelle, preuves et visualisation","publication_year":1997,"publication_date":"1997-01-01","ids":{"openalex":"https://openalex.org/W145397235","mag":"145397235"},"language":"fr","primary_location":{"id":"mag:145397235","doi":null,"is_oa":false,"landing_page_url":"http://www.theses.fr/1997NICE5081","pdf_url":null,"source":null,"license":null,"license_id":null,"version":null,"is_accepted":false,"is_published":false,"raw_source_name":null,"raw_type":null},"volume":null,"type":"dissertation","is_traditional":true,"indexed_in":[],"open_access":{"is_oa":false,"oa_status":"closed","oa_url":null,"any_repository_has_fulltext":false},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5040487572","display_name":"Sidi Ould Ehmety","orcid":null,"observed_orcids":[]},"institutions":[],"countries":[],"is_corresponding":true,"raw_author_name":"Sidi Ould Ehmety","raw_affiliation_strings":[],"raw_orcid":null,"affiliations":[]}],"institutions":[],"countries_distinct_count":0,"institutions_distinct_count":0,"corresponding_author_ids":["https://openalex.org/A5040487572"],"corresponding_institution_ids":[],"apc_list":null,"apc_paid":null,"fwci":null,"has_fulltext":false,"cited_by_count":0,"citation_normalized_percentile":null,"cited_by_percentile_year":null,"biblio":{"volume":null,"issue":null,"first_page":null,"last_page":null},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10126","display_name":"Logic, programming, and type systems","score":0.9994999766349792,"subfield":{"id":"https://openalex.org/subfields/1712","display_name":"Software"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},"topics":[{"id":"https://openalex.org/T10126","display_name":"Logic, programming, and type systems","score":0.9994999766349792,"subfield":{"id":"https://openalex.org/subfields/1712","display_name":"Software"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},{"id":"https://openalex.org/T10054","display_name":"Parallel Computing and Optimization Techniques","score":0.00019999999494757503,"subfield":{"id":"https://openalex.org/subfields/1708","display_name":"Hardware and Architecture"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},{"id":"https://openalex.org/T10142","display_name":"Formal Methods in Verification","score":9.999999747378752e-05,"subfield":{"id":"https://openalex.org/subfields/1703","display_name":"Computational Theory and Mathematics"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}}],"keywords":[{"id":"https://openalex.org/keywords/eiffel","display_name":"Eiffel","score":0.8600000143051147},{"id":"https://openalex.org/keywords/object-oriented-parallel-programming","display_name":"object-oriented parallel programming","score":0.7459999918937683},{"id":"https://openalex.org/keywords/formal-semantics","display_name":"formal semantics","score":0.7720000147819519},{"id":"https://openalex.org/keywords/big-step-semantics","display_name":"big-step semantics","score":0.9760000109672546},{"id":"https://openalex.org/keywords/small-step-semantics","display_name":"small-step semantics","score":0.9869999885559082},{"id":"https://openalex.org/keywords/operational-semantics","display_name":"operational semantics","score":0.4569999873638153},{"id":"https://openalex.org/keywords/program-equivalence","display_name":"program equivalence","score":0.703000009059906},{"id":"https://openalex.org/keywords/active-objects","display_name":"active objects","score":0.5180000066757202},{"id":"https://openalex.org/keywords/asynchrony","display_name":"asynchrony","score":0.8619999885559082},{"id":"https://openalex.org/keywords/subsystems","display_name":"subsystems","score":0.5849999785423279},{"id":"https://openalex.org/keywords/nondeterminism","display_name":"non-determinism","score":0.5989999771118164},{"id":"https://openalex.org/keywords/program-visualization","display_name":"program visualization","score":0.5329999923706055},{"id":"https://openalex.org/keywords/graphical-programming-environment","display_name":"graphical programming environment","score":0.5580000281333923},{"id":"https://openalex.org/keywords/message-passing","display_name":"message passing","score":0.7590000033378601},{"id":"https://openalex.org/keywords/polymorphism","display_name":"polymorphism","score":0.8140000104904175},{"id":"https://openalex.org/keywords/dynamic-binding","display_name":"dynamic binding","score":0.5379999876022339}],"concepts":[{"id":"https://openalex.org/C186362262","wikidata":"https://www.wikidata.org/wiki/Q732089","display_name":"Eiffel","level":3,"score":0.8013412356376648},{"id":"https://openalex.org/C15708023","wikidata":"https://www.wikidata.org/wiki/Q80083","display_name":"Humanities","level":1,"score":0.6102493405342102},{"id":"https://openalex.org/C138885662","wikidata":"https://www.wikidata.org/wiki/Q5891","display_name":"Philosophy","level":0,"score":0.47801053524017334},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.36490949988365173},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.3188914358615875},{"id":"https://openalex.org/C73752529","wikidata":"https://www.wikidata.org/wiki/Q79872","display_name":"Object-oriented programming","level":2,"score":0.12842625379562378}],"mesh":[],"locations_count":1,"locations":[{"id":"mag:145397235","doi":null,"is_oa":false,"landing_page_url":"http://www.theses.fr/1997NICE5081","pdf_url":null,"source":null,"license":null,"license_id":null,"version":null,"is_accepted":false,"is_published":false,"raw_source_name":null,"raw_type":null}],"best_oa_location":null,"sustainable_development_goals":[],"study_designs":[],"awards":[],"funders":[],"has_content":{"pdf":false,"grobid_xml":false},"content_urls":null,"referenced_works_count":0,"referenced_works":[],"related_works":["https://openalex.org/W182501530","https://openalex.org/W7099871315","https://openalex.org/W7100616549","https://openalex.org/W577026939","https://openalex.org/W1571586386","https://openalex.org/W50858845","https://openalex.org/W637829794","https://openalex.org/W377787230","https://openalex.org/W28248010","https://openalex.org/W131616944"],"abstract_inverted_index":{"Dans":[0],"cette":[1],"these,":[2],"nous":[3,75,106],"etudions":[4],"et":[5,35,41,62,71,95,98,103,110,123,147,172,186,191,206,221],"formalisons":[6],"un":[7,27],"modele":[8],"de":[9,66,82,91,132,150,164,169,175,177,196,203,229],"programmation":[10,84],"a":[11,85,152,214,223],"objets":[12,86,142,213],"parallele,":[13],"plus":[14],"precisement":[15],"eiffel//":[16],"(une":[17],"extension":[18],"du":[19,48,115],"langage":[20],"eiffel).":[21],"Les":[22],"specifications":[23],"sont":[24,42,136],"decrites":[25],"dans":[26,126],"style":[28],"operationnel":[29],"utilisant":[30],"la":[31,36,83,108,111,133,148,166,170,180,199,210],"semantique":[32,37,57,60,134,171],"naturelle":[33],"(big-step)":[34],"operationnelle":[38],"structurelle":[39],"(small-step)":[40],"executables":[43],"grace":[44],"au":[45,201],"formalisme":[46],"typol":[47],"systeme":[49],"centaur.":[50],"Cette":[51],"etude":[52],"comprend":[53],"quatre":[54],"parties":[55],":":[56,139],"d'eiffel":[58,99],";":[59,64,68],"d'eiffel//":[61],"generalisation":[63],"preuves":[65],"proprietes":[67,131,158],"environnement":[69],"graphique":[70,190],"interactif.":[72],"Tout":[73],"d'abord":[74],"donnons":[76],"une":[77],"formalisation":[78],"des":[79,113,141,194,212],"principaux":[80],"concepts":[81],"en":[87,100,143],"general":[88],"(objet,":[89],"envoi":[90],"message,":[92],"polymorphisme,":[93],"heritage":[94],"liaison":[96],"dynamique)":[97],"particulier":[101],"(renommage":[102],"redefinition),":[104],"puis":[105],"abordons":[107],"modelisation":[109],"specification":[112],"notions":[114],"parallelisme":[116],"(objet":[117],"actif,":[118],"asynchronisme,":[119],"attente":[120],"par":[121],"necessite":[122],"continuation":[124],"automatique)":[125],"le":[127,227],"cadre":[128],"d'eiffel//.":[129],"Des":[130],"definie":[135],"ensuite":[137],"prouvees":[138],"l'organisation":[140],"sous-ensembles":[144],"disjoints":[145],"(sous-systemes)":[146],"sequentialite":[149],"l'execution":[151,215],"l'interieur":[153],"d'un":[154],"sous-systeme,":[155],"etc.":[156],"Ces":[157],"ont":[159],"pour":[160,179],"but":[161],"d'une":[162],"part,":[163,174],"prouver":[165],"correction":[167],"partielle":[168],"d'autre":[173],"servir":[176],"base":[178],"preuve":[181],"d'equivalence":[182],"entre":[183],"programmes":[184,204],"sequentiels":[185],"paralleles.":[187],"Enfin,":[188],"l'environnement":[189],"interactif":[192],"fournit":[193],"outils":[195],"visualisation":[197,211],"permettant":[198],"mise":[200],"point":[202],"eiffel":[205],"eiffel//.":[207],"Il":[208],"permet":[209],"sous":[216],"differentes":[217],"formes":[218],"(textuelle,":[219],"graphique)":[220],"offre":[222],"l'utilisateur":[224],"d'agir":[225],"sur":[226],"non-determinisme":[228],"l'entrelacement.":[230]},"counts_by_year":[],"updated_date":"2025-11-06T04:12:42.849631","created_date":"2016-06-24T00:00:00"}