Zobrazeno 1 - 3
of 3
pro vyhledávání: '"liaison tardive"'
Autor:
Châtel, Pierre
Publikováno v:
Informatique [cs]. UPMC Université Paris VI, 2010. Français
Service composition implementation, in a Web and business context, opens many investigation and improvements prospects. The contributions in this thesis are then intended to perform a particularly dynamic and flexible composition, able to take into a
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=od_______212::b3f915b4db2fa172ac0449aa32f33d49
https://hal.archives-ouvertes.fr/tel-01243570
https://hal.archives-ouvertes.fr/tel-01243570
Autor:
Châtel, Pierre
Publikováno v:
Informatique [cs]. UPMC Université Paris VI, 2010. Français. ⟨NNT : ⟩
Informatique [cs]. UPMC Université Paris VI, 2010. Français
Informatique [cs]. UPMC Université Paris VI, 2010. Français
Service composition implementation, in a Web and business context, opens many investigation and improvements prospects. The contributions in this thesis are then intended to perform a particularly dynamic and flexible composition, able to take into a
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=dedup_wf_001::b3f915b4db2fa172ac0449aa32f33d49
https://hal.science/tel-01243570/file/these_pierreCHATEL_finale_scol.pdf
https://hal.science/tel-01243570/file/these_pierreCHATEL_finale_scol.pdf
Autor:
Boulmé, Sylvain
Publikováno v:
[Research Report] lip6.2000.013, LIP6. 2000
This paper is part of FOC a project for developing Computer Algebra libraries, certified in Coq. FOC has developed a methodology for programming Computer Algebra libraries, using modules and objects in Ocaml. In order to specify modularity features u
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=dedup_wf_001::a1ad9f4de7ccfa152199a9dd6cfcf64a
https://hal.science/hal-02548305
https://hal.science/hal-02548305