Zobrazeno 1 - 10
of 25
pro vyhledávání: '"Rouquette, Nicolas"'
We present a compositional approach to early modeling and analysis of complex aerospace systems based on assume-guarantee contracts. Components in a system are abstracted into assume-guarantee specifications. Performing algebraic contract operations
Externí odkaz:
http://arxiv.org/abs/2409.02218
Autor:
Bourdais, Théo, Batlle, Pau, Xianjin Yang, Baptista, Ricardo, Rouquette, Nicolas, Owhadi, Houman
Publikováno v:
Proceedings of the National Academy of Sciences of the United States of America; 8/6/2024, Vol. 121 Issue 32, p1-9, 9p
Autor:
Elaasar, Maged, Rouquette, Nicolas, Havelund, Klaus, Feather, Martin, Bandyopadhyay, Saptarshi, Candela, Alberto
Publikováno v:
Incose International Symposium; Jul2023, Vol. 33 Issue 1, p1570-1585, 16p
Publikováno v:
In Procedia Computer Science 2013 16:118-127
Autor:
Charrié-Duhaut, Armelle, Connan, Jacques, Rouquette, Nicolas, Adam, Pierre, Barbotin, Christophe, de Rozières, Marie-Françoise, Tchapla, Alain, Albrecht, Pierre
Publikováno v:
In Journal of Archaeological Science 2007 34(6):957-967
Publikováno v:
Proceedings of the 10thModel-Based Enterprise Summit(MBE 2019)
Proceedings of the 10thModel-Based Enterprise Summit(MBE 2019), 2019
Proceedings of the 10thModel-Based Enterprise Summit(MBE 2019), 2019
International audience
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=dedup_wf_001::0d5bda3431d558b40baf7b9099949a01
https://hal-cea.archives-ouvertes.fr/cea-02572694
https://hal-cea.archives-ouvertes.fr/cea-02572694
An Integrated OCL Development Environment (IDE4OCL) can significantly improve the pragmatics and praxis of OCL. We present the domain concepts, toolâlevel interactions with OCL and the use cases we identified in a systematic analysis of requirem
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::486f4d5794d1affea94f948f855f5e10
Autor:
Arendt, T., Biermann, E., Jurack, S., Krause, Christian, Taentzer, G., Petriu, Dorina, Rouquette, Nicolas, Haugen, Ø.
Publikováno v:
Model Driven Engineering Languages and Systems ISBN: 9783642161445
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::2c41aa3a14cc98d1920ac58791d85435
https://ir.cwi.nl/pub/16909
https://ir.cwi.nl/pub/16909
Autor:
Lussenburg, Vincent, Storm, Tijs, Vinju, Jurgen, Warmer, Jos, Petriu, Dorina, Rouquette, Nicolas
Model-driven software development (MDSD) has been on the rise over the past few years and is becoming more and more mature. However, evaluation in real-life industrial context is still scarce. In this paper, we present a case-study evaluating the app
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=narcis______::acd28a6e1877d96886e983bdbc9847ff
https://ir.cwi.nl/pub/16665
https://ir.cwi.nl/pub/16665
Autor:
Paredis, Christjaan, Bernard, Yves, Burkhart, Roger, Koning, Hans Peter de, Friedenthal, Sanford, Fritzson, Peter, Rouquette, Nicolas, Schamai, Wladimir
This paper provides an overview of the formal trans formation between the two complementary languages: OMG SysML TM and Modelica. SysML is a standardized general pur pose graphical modeling language for capturing complex system descriptions in terms
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=dedup_wf_001::df10f564e34421a4a708c05ce492f7cb
http://urn.kb.se/resolve?urn=urn:nbn:se:liu:diva-110236
http://urn.kb.se/resolve?urn=urn:nbn:se:liu:diva-110236