Extensible Debuggers for Extensible Languages Domenik Pavletic1 , Markus Voelter2 , Syed Aoun Raza3 , Bernd Kolb3 , and Timo Kehrer4 1 itemis,

Source URL: mbeddr.com

• Computer programming
• Software engineering
• Computing
• Debugging
• Debuggers
• Cross-platform software
• High-level programming languages
• Software testing
• Breakpoint
• Program animation
• Extensible programming
• JavaScript

Projecting a Modular Future Markus Voelter1 , Jos Warmer2 , and Bernd Kolb3 1 2

Source URL: mbeddr.com

• Computer programming
• Computing
• Software engineering
• Source code
• JetBrains MPS
• Language workbench
• Domain-specific language
• Programming language
• JetBrains
• Structure editor
• Macro
• Software development

On the no´s and must´s in system design Werner Damm joint work with Bernd Finkbeiner, Universität des Saarlandes, and Astrid Rakow, Carl von Ossietzky Universität Oldenburg

Source URL: www.avacs.org

• Modeling and simulation
• Cognition
• Systems engineering
• Experimental psychology
• Human behavior
• Motivation
• Scientific modelling
• Economic model
• Business process management
• ACT-R
• Conceptual model
• System

SC2 challenges: when Satisfiability Checking and Symbolic Computation join forces ´ Erika Abrah´ am1 , John Abbott10 , Bernd Becker2 , Anna M. Bigatti3 , Martin Brain9 , Alessandro Cimatti4 , James H. Davenport5 ,

Source URL: www.cs.man.ac.uk

• Theoretical computer science
• Logic in computer science
• Computational complexity theory
• Formal methods
• Mathematics
• Electronic design automation
• NP-complete problems
• Constraint programming
• Satisfiability modulo theories
• Boolean satisfiability problem
• Solver
• Model checking

Symbolic vs. Bounded Synthesis for Petri Games Bernd Finkbeiner1 , Manuel Gieseking2 , udiger Olderog2 Jesko Hecking-Harbusch1 , Ernst-R¨ 2 Carl

Source URL: www.react.uni-saarland.de

Lessons Learned from Developing mbeddr A Case Study in Language Engineering with MPS Markus Voelter Bernd Kolb

Source URL: mbeddr.com

• Software engineering
• Computing
• Computer programming
• Language workbench
• Functional languages
• High-level programming languages
• Scripting languages
• Programming languages
• JetBrains MPS
• JetBrains
• Domain-specific language
• Queue

PDF Document

Source URL: www.bernd-olaf-kueppers.de

Systemkompetenz in der HelmholtzGemeinschaft: Bedeutung und Maßnahmen Bernd Hansjürgens Statement zum Workshop „Dachpapier zur Gesamtstrategie der Helmholtz-Gemeinschaft“

Source URL: wa.desy.de

CONVERSANDO COM BERND-OLAF KÜPPERS Daniel Sander Hoffmann1 O professor Bernd-Olaf Küppers, que nos visitou por ocasião do simpósio internacional Novos rumos da ciência: auto-organização e sistemas biológicos comp

Source URL: www.bernd-olaf-kueppers.de

The Assistive Kitchen — A Demonstration Scenario for Cognitive Technical Systems Michael Beetz, Freek Stulp, Bernd Radig, Jan Bandouch, Nico Blodow, Mihai Dolha, Andreas Fedrizzi, Dominik Jain, Uli Klank, Ingo Kresse,

Source URL: ias.in.tum.de