Benoit Combemale
37 SlideShares 1 Painel de recortes 7 Seguidores 0 Seguindos
Marcadores
mde sle dsl software language engineering modeling model-driven engineering domain-specific language software engineering gemoc sustainability modeling language iot ale sirius emf eclipse rascal flexmde model typing model debugging concurrency analysis coordination concurrency software verification and validation metamodeling coq coinduction infinite model agile software development diversity spl variability debugging cps v&v hdr
Ver mais
Apresentações (37)
Ver tudo
Towards Language-Oriented Modeling (HDR Defense)
Há 7 anos • 1003 Visualizações
Modeling for Smart Cyber-Physical Systems (Jan 26th, 2016)
Há 7 anos • 1894 Visualizações
Efficient and Advanced Omniscient Debugging for xDSMLs (SLE 2015)
Há 7 anos • 305 Visualizações
On the Globalization of Modeling Languages (June 8th, 2015)
Há 7 anos • 503 Visualizações
Modeling for Sustainability (June 19th, 2015)
Há 7 anos • 496 Visualizações
From MDE to SLE (April 17th, 2015)
Há 7 anos • 537 Visualizações
The Role of (Software) Languages in the Socio-Technical Coordination (Oct., 2014)
Há 7 anos • 481 Visualizações
A Journey Through MDE, DSL and SLE (July 2nd, 2015)
Há 7 anos • 489 Visualizações
On Modeling and Testing When Unpredictability Becomes the Pattern (April 2nd, 2013)
Há 7 anos • 493 Visualizações
Hyper-Agility: A Model-Driven Software Agility from Design-Time to Run-Time
Há 7 anos • 572 Visualizações
Formally Defining and Iterating Infinite Models (MODELS 2012)
Há 7 anos • 416 Visualizações
Executable Metamodeling for Model V&V (May 25th, 2010)
Há 7 anos • 587 Visualizações
A Tool-Supported Approach for Concurrent Execution of Heterogeneous Models (ERTS 2016)
Há 7 anos • 597 Visualizações
Reifying the concurrency concern into xDSML specifications
Há 6 anos • 403 Visualizações
Wrap-up of the ANR project GEMOC
Há 6 anos • 338 Visualizações
Engineering Executable DSMLs (xDSMLs ) for model executability, animation and debugging
Há 6 anos • 478 Visualizações
The Behavioral Coordination Operator Language (BCOoL)
Há 6 anos • 472 Visualizações
Experimentations, transfer and development during the ANR project GEMOC
Há 6 anos • 376 Visualizações
Concurrency reification in the xDSML with MoCCML
Há 6 anos • 385 Visualizações
A Tool-Supported Approach for Omniscient Debugging and Concurrent Execution of Heterogeneous Models
Há 6 anos • 372 Visualizações
A Tool-Supported Approach for Omniscient Debugging and Concurrent Execution of Heterogeneous Models
Há 6 anos • 1491 Visualizações
Model executability within the GEMOC Studio
Há 6 anos • 253 Visualizações
Dynamic V&V in Language-Oriented Modeling
Há 6 anos • 757 Visualizações
Modeling for Sustainability
Há 6 anos • 399 Visualizações
Sound, yet Flexible, Modeling: A Language Engineering Point Of View
Há 5 anos • 591 Visualizações
Inria/CWI ALE team (progresses in Sep., 2017)
Há 5 anos • 452 Visualizações
EXECUTABLE MODELING FOR SYSTEMS, SOFTWARE AND CYBER-PHYSICAL SYSTEMS
Há 5 anos • 378 Visualizações
Introduction of the SLE'17 conference
Há 5 anos • 1046 Visualizações
Modeling For Sustainability: Or How to Make Smart CPS Smarter?
Há 5 anos • 694 Visualizações
Model Simulation, Graphical Animation, and Omniscient Debugging with EcoreTools and Sirius Animator
Há 5 anos • 1089 Visualizações
Apresentações (37)
Ver tudo
Towards Language-Oriented Modeling (HDR Defense)
Há 7 anos • 1003 Visualizações
Modeling for Smart Cyber-Physical Systems (Jan 26th, 2016)
Há 7 anos • 1894 Visualizações
Efficient and Advanced Omniscient Debugging for xDSMLs (SLE 2015)
Há 7 anos • 305 Visualizações
On the Globalization of Modeling Languages (June 8th, 2015)
Há 7 anos • 503 Visualizações
Modeling for Sustainability (June 19th, 2015)
Há 7 anos • 496 Visualizações
From MDE to SLE (April 17th, 2015)
Há 7 anos • 537 Visualizações
The Role of (Software) Languages in the Socio-Technical Coordination (Oct., 2014)
Há 7 anos • 481 Visualizações
A Journey Through MDE, DSL and SLE (July 2nd, 2015)
Há 7 anos • 489 Visualizações
On Modeling and Testing When Unpredictability Becomes the Pattern (April 2nd, 2013)
Há 7 anos • 493 Visualizações
Hyper-Agility: A Model-Driven Software Agility from Design-Time to Run-Time
Há 7 anos • 572 Visualizações
Formally Defining and Iterating Infinite Models (MODELS 2012)
Há 7 anos • 416 Visualizações
Executable Metamodeling for Model V&V (May 25th, 2010)
Há 7 anos • 587 Visualizações
A Tool-Supported Approach for Concurrent Execution of Heterogeneous Models (ERTS 2016)
Há 7 anos • 597 Visualizações
Reifying the concurrency concern into xDSML specifications
Há 6 anos • 403 Visualizações
Wrap-up of the ANR project GEMOC
Há 6 anos • 338 Visualizações
Engineering Executable DSMLs (xDSMLs ) for model executability, animation and debugging
Há 6 anos • 478 Visualizações
The Behavioral Coordination Operator Language (BCOoL)
Há 6 anos • 472 Visualizações
Experimentations, transfer and development during the ANR project GEMOC
Há 6 anos • 376 Visualizações
Concurrency reification in the xDSML with MoCCML
Há 6 anos • 385 Visualizações
A Tool-Supported Approach for Omniscient Debugging and Concurrent Execution of Heterogeneous Models
Há 6 anos • 372 Visualizações
A Tool-Supported Approach for Omniscient Debugging and Concurrent Execution of Heterogeneous Models
Há 6 anos • 1491 Visualizações
Model executability within the GEMOC Studio
Há 6 anos • 253 Visualizações
Dynamic V&V in Language-Oriented Modeling
Há 6 anos • 757 Visualizações
Modeling for Sustainability
Há 6 anos • 399 Visualizações
Sound, yet Flexible, Modeling: A Language Engineering Point Of View
Há 5 anos • 591 Visualizações
Inria/CWI ALE team (progresses in Sep., 2017)
Há 5 anos • 452 Visualizações
EXECUTABLE MODELING FOR SYSTEMS, SOFTWARE AND CYBER-PHYSICAL SYSTEMS
Há 5 anos • 378 Visualizações
Introduction of the SLE'17 conference
Há 5 anos • 1046 Visualizações
Modeling For Sustainability: Or How to Make Smart CPS Smarter?
Há 5 anos • 694 Visualizações
Model Simulation, Graphical Animation, and Omniscient Debugging with EcoreTools and Sirius Animator
Há 5 anos • 1089 Visualizações