Benoit Combemale
38 SlideShares 1 Clipboard 7 Followers 0 Folgens
Tags
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
Mehr anzeigen
Präsentationen (38)
Alle anzeigen
Towards Language-Oriented Modeling (HDR Defense)
Vor 7 Jahren • 1004 Aufrufe
Modeling for Smart Cyber-Physical Systems (Jan 26th, 2016)
Vor 7 Jahren • 1898 Aufrufe
Efficient and Advanced Omniscient Debugging for xDSMLs (SLE 2015)
Vor 7 Jahren • 305 Aufrufe
On the Globalization of Modeling Languages (June 8th, 2015)
Vor 7 Jahren • 504 Aufrufe
Modeling for Sustainability (June 19th, 2015)
Vor 7 Jahren • 498 Aufrufe
From MDE to SLE (April 17th, 2015)
Vor 7 Jahren • 537 Aufrufe
The Role of (Software) Languages in the Socio-Technical Coordination (Oct., 2014)
Vor 7 Jahren • 482 Aufrufe
A Journey Through MDE, DSL and SLE (July 2nd, 2015)
Vor 7 Jahren • 489 Aufrufe
On Modeling and Testing When Unpredictability Becomes the Pattern (April 2nd, 2013)
Vor 7 Jahren • 494 Aufrufe
Hyper-Agility: A Model-Driven Software Agility from Design-Time to Run-Time
Vor 7 Jahren • 573 Aufrufe
Formally Defining and Iterating Infinite Models (MODELS 2012)
Vor 7 Jahren • 416 Aufrufe
Executable Metamodeling for Model V&V (May 25th, 2010)
Vor 7 Jahren • 587 Aufrufe
A Tool-Supported Approach for Concurrent Execution of Heterogeneous Models (ERTS 2016)
Vor 7 Jahren • 597 Aufrufe
Reifying the concurrency concern into xDSML specifications
Vor 6 Jahren • 403 Aufrufe
Wrap-up of the ANR project GEMOC
Vor 6 Jahren • 338 Aufrufe
Engineering Executable DSMLs (xDSMLs ) for model executability, animation and debugging
Vor 6 Jahren • 479 Aufrufe
The Behavioral Coordination Operator Language (BCOoL)
Vor 6 Jahren • 472 Aufrufe
Experimentations, transfer and development during the ANR project GEMOC
Vor 6 Jahren • 376 Aufrufe
Concurrency reification in the xDSML with MoCCML
Vor 6 Jahren • 385 Aufrufe
A Tool-Supported Approach for Omniscient Debugging and Concurrent Execution of Heterogeneous Models
Vor 6 Jahren • 372 Aufrufe
A Tool-Supported Approach for Omniscient Debugging and Concurrent Execution of Heterogeneous Models
Vor 6 Jahren • 1494 Aufrufe
Model executability within the GEMOC Studio
Vor 6 Jahren • 253 Aufrufe
Dynamic V&V in Language-Oriented Modeling
Vor 6 Jahren • 757 Aufrufe
Modeling for Sustainability
Vor 6 Jahren • 400 Aufrufe
Sound, yet Flexible, Modeling: A Language Engineering Point Of View
Vor 5 Jahren • 591 Aufrufe
Inria/CWI ALE team (progresses in Sep., 2017)
Vor 5 Jahren • 452 Aufrufe
EXECUTABLE MODELING FOR SYSTEMS, SOFTWARE AND CYBER-PHYSICAL SYSTEMS
Vor 5 Jahren • 380 Aufrufe
Introduction of the SLE'17 conference
Vor 5 Jahren • 1046 Aufrufe
Modeling For Sustainability: Or How to Make Smart CPS Smarter?
Vor 5 Jahren • 695 Aufrufe
Model Simulation, Graphical Animation, and Omniscient Debugging with EcoreTools and Sirius Animator
Vor 5 Jahren • 1089 Aufrufe
Präsentationen (38)
Alle anzeigen
Towards Language-Oriented Modeling (HDR Defense)
Vor 7 Jahren • 1004 Aufrufe
Modeling for Smart Cyber-Physical Systems (Jan 26th, 2016)
Vor 7 Jahren • 1898 Aufrufe
Efficient and Advanced Omniscient Debugging for xDSMLs (SLE 2015)
Vor 7 Jahren • 305 Aufrufe
On the Globalization of Modeling Languages (June 8th, 2015)
Vor 7 Jahren • 504 Aufrufe
Modeling for Sustainability (June 19th, 2015)
Vor 7 Jahren • 498 Aufrufe
From MDE to SLE (April 17th, 2015)
Vor 7 Jahren • 537 Aufrufe
The Role of (Software) Languages in the Socio-Technical Coordination (Oct., 2014)
Vor 7 Jahren • 482 Aufrufe
A Journey Through MDE, DSL and SLE (July 2nd, 2015)
Vor 7 Jahren • 489 Aufrufe
On Modeling and Testing When Unpredictability Becomes the Pattern (April 2nd, 2013)
Vor 7 Jahren • 494 Aufrufe
Hyper-Agility: A Model-Driven Software Agility from Design-Time to Run-Time
Vor 7 Jahren • 573 Aufrufe
Formally Defining and Iterating Infinite Models (MODELS 2012)
Vor 7 Jahren • 416 Aufrufe
Executable Metamodeling for Model V&V (May 25th, 2010)
Vor 7 Jahren • 587 Aufrufe
A Tool-Supported Approach for Concurrent Execution of Heterogeneous Models (ERTS 2016)
Vor 7 Jahren • 597 Aufrufe
Reifying the concurrency concern into xDSML specifications
Vor 6 Jahren • 403 Aufrufe
Wrap-up of the ANR project GEMOC
Vor 6 Jahren • 338 Aufrufe
Engineering Executable DSMLs (xDSMLs ) for model executability, animation and debugging
Vor 6 Jahren • 479 Aufrufe
The Behavioral Coordination Operator Language (BCOoL)
Vor 6 Jahren • 472 Aufrufe
Experimentations, transfer and development during the ANR project GEMOC
Vor 6 Jahren • 376 Aufrufe
Concurrency reification in the xDSML with MoCCML
Vor 6 Jahren • 385 Aufrufe
A Tool-Supported Approach for Omniscient Debugging and Concurrent Execution of Heterogeneous Models
Vor 6 Jahren • 372 Aufrufe
A Tool-Supported Approach for Omniscient Debugging and Concurrent Execution of Heterogeneous Models
Vor 6 Jahren • 1494 Aufrufe
Model executability within the GEMOC Studio
Vor 6 Jahren • 253 Aufrufe
Dynamic V&V in Language-Oriented Modeling
Vor 6 Jahren • 757 Aufrufe
Modeling for Sustainability
Vor 6 Jahren • 400 Aufrufe
Sound, yet Flexible, Modeling: A Language Engineering Point Of View
Vor 5 Jahren • 591 Aufrufe
Inria/CWI ALE team (progresses in Sep., 2017)
Vor 5 Jahren • 452 Aufrufe
EXECUTABLE MODELING FOR SYSTEMS, SOFTWARE AND CYBER-PHYSICAL SYSTEMS
Vor 5 Jahren • 380 Aufrufe
Introduction of the SLE'17 conference
Vor 5 Jahren • 1046 Aufrufe
Modeling For Sustainability: Or How to Make Smart CPS Smarter?
Vor 5 Jahren • 695 Aufrufe
Model Simulation, Graphical Animation, and Omniscient Debugging with EcoreTools and Sirius Animator
Vor 5 Jahren • 1089 Aufrufe