An extensible OCL Virtual Machine and Code Generator E.D.Willink Eclipse Modeling Project

Source URL: st.inf.tu-dresden.de

• Software
• Computing
• Unified Modeling Language
• Object Constraint Language
• Integrated development environments
• ECO
• Eclipse
• Acceleo
• Systems engineering
• Syntropy
• OCL
• Query language

CELL CONSTRAINT & CANCER S.A. Société Anonyme au capital deeuros Siège social : le mas l’Hermite – 331, chemin de la poterieRaphèle-les-Arles RCS Tarascon

Source URL: www.cellconstraintcancer.com

Tool Supported OCL Refactoring Catalogue Jan Reimann, Claas Wilke, Birgit Demuth, Michael Muck, Uwe Aßmann Technische Universität Dresden Institut für Software- und Multimediatechnik D-01062, Dresden, Germany

Source URL: st.inf.tu-dresden.de

• Software engineering
• Computing
• ISO standards
• Software
• Unified Modeling Language
• Object Constraint Language
• ECO
• Code refactoring
• Lambda calculus
• OCL
• Null
• Let expression

OSSIA: TOWARDS A UNIFIED INTERFACE FOR SCORING TIME AND INTERACTION Jean-Michaël Celerier Blue Yeti

Source URL: tenor2015.tenor-conference.org

• Software engineering
• Concurrency
• Models of computation
• Constraint programming
• Diagrams
• Programming paradigms
• Formal methods
• Theoretical computer science
• Petri net
• Constraint logic programming
• Decomposition method

Functional Programming with Pros and Cons Benny H¨ ockner and Peter Sauer and Petra Hofstedt Brandenburg University of Technology, Cottbus {benny.hoeckner,peter.sauer,petra.hofstedt}@tu-cottbus.de

Source URL: www.bioinf.uni-leipzig.de

• Declarative programming
• Constraint programming
• Software engineering
• Programming paradigms
• Computer programming
• Constraint logic programming
• Logic programming
• Constraint satisfaction
• Concurrent constraint logic programming

Geolocalization on the Internet through Constraint Satisfaction Bernard Wong, Ivan Stoyanov, Emin G¨un Sirer Dept. of Computer Science, Cornell University, Ithaca, NYAbstract This paper outlines a novel, compreh

Source URL: cs.uwaterloo.ca

• Astronomical instruments
• Celestial navigation
• Operations research
• Knowledge
• Computer networking
• Equipment
• Technology
• Octant
• Network delay
• Latency
• Sextant
• Flow network

© 2015 IEEE. Personal use of this material is permitted. Permission from IEEE must be obtained for all other users, including reprinting/ republishing this material for advertising or promotional purposes, creating new

Source URL: www.eeh.ee.ethz.ch

• Chemistry
• Computational science
• Building engineering
• Nature
• Control theory
• Cybernetics
• Model predictive control
• Power system simulation
• HVAC
• Mathematical optimization
• Constraint algorithm
• Heat transfer

Grazing land English version – SOSI standard 4.0 Grazing land English version – SOSI standard 4.0 Grazing land English version – SOSI standard 4.0

Source URL: www.kartverket.no

• Livestock
• Herbivory
• Ethology
• Grazing
• Land use
• Constraint
• ECO
• Behavior

The Pennsylvania State University The Graduate School College of Earth and Mineral Sciences DOES TOPOLOGY PREDICT GEOGRAPHIC (2D) EVENT SEGMENTATION?

Source URL: www.geovista.psu.edu

• Knowledge representation
• Reasoning
• Logic
• Mathematics
• Computational topology
• Constraint programming
• Region connection calculus
• Mathematical logic
• Ontology
• Topology
• Image segmentation
• Topological space

RULE SOLVER™ Constraint Programming with OpenRules® USER MANUAL

Source URL: openrules.com

• Software engineering
• Computing
• Software
• Expert systems
• Rule engines
• Numerical software
• Decision support systems
• Mathematical modeling
• Constraint satisfaction
• Constraint programming
• Business rules engine
• AMPL