MetaModelica: A Unified Equation-Based Semantical and Mathematical Modeling Language (original) (raw)

Profile image of Adrian PopAdrian Pop

2006, Lecture Notes in Computer Science

Proceedings of the 4th International Workshop on Equation-Based Object-Oriented Modeling Languages and Tools

Peter Fritzson

View PDFchevron_right

Modelica — A unified object-oriented language for physical systems modeling

Peter Fritzson

Simulation Practice and Theory, 1997

View PDFchevron_right

EOOLT 2007: Proceedings of the 1st International Workshop on Equation-Based Object-Oriented Languages and Tools: Berlin, Germany, July 30, 2007, Conjunction with ECOOP

Peter Fritzson

2007

View PDFchevron_right

ModelicaTM - A Unified Object-Oriented Language for Physical Systems Modeling

R. Franke, Hans Vangheluwe, Peter Fritzson, Jan Broenink

2000

View PDFchevron_right

A Lightweight Approach for Defining the Formal Semantics of a Modeling Language

Pierre Kelsen

Model Driven Engineering Languages and Systems

View PDFchevron_right

Modelica-An international effort to design an object-oriented modeling language

Hilding Elmqvist

Summer Computer Simulation …, 1998

A new uniform language called ModelicaTM for physical modeling has been developed in an international effort. The main objective is to make it easy to exchange models and model libraries. The design approach builds on non-causal modeling with ...

View PDFchevron_right

3rd International Workshop on Equation-Based Object-Oriented Modeling Languages and Tools

Peter Fritzson

2010

View PDFchevron_right

Towards a Unified View of Modeling and Programming

Klaus Havelund

Lecture Notes in Computer Science, 2016

View PDFchevron_right

Modelica - A Unified Object-Oriented Language for System Modelling and Simulation

Vadim Engelson

Proceedings of the 12th European Conference on Object Oriented Programming, 1998

View PDFchevron_right

Appendix F—Related Object‐Oriented Modeling Languages

Peter Fritzson

View PDFchevron_right

Loading...

Loading Preview

Sorry, preview is currently unavailable. You can download the paper by clicking the button above.

Challenges and directions in formalizing the semantics of modeling languages

Jeff Gray

2011

View PDFchevron_right

Towards a formalization of the Unified Modeling Language

Cornel Klein

Lecture Notes in Computer Science, 1997

View PDFchevron_right

Modelica - A Strongly Typed System Specification Language for Safe Engineering Practices

Vadim Engelson

View PDFchevron_right

Formal semantics of the unified modeling language

Michael Mannino

Decision Support Systems, 1995

View PDFchevron_right

Bridging the gap between modeling and programming languages

Yann-Gaël Guéhéneuc

2002

View PDFchevron_right

An Automated Model Abstraction Operator Implemented in the Multiple Modeling Environment MOM

Peter Struss

View PDFchevron_right

Formal foundations for the unified modeling language

Germán Montejano

V Workshop de Investigadores en Ciencias de la Computación, 2003

View PDFchevron_right

Modelica - The Next Generation Modeling Language An International Design Effort

Hilding Elmqvist

View PDFchevron_right

Modules for a model-oriented specification language: a proposal for MetaSoft

Andrzej Tarlecki

View PDFchevron_right

Multi-Paradigm Language Engineering and Equation-Based Object-Oriented Languages

Hans Vangheluwe

2008

View PDFchevron_right

Reusable abstractions for modeling languages

Juan de Lara

Information Systems, 2013

View PDFchevron_right

Formal Specification and Analysis of Domain Specific Models Using Maude

Antonio Vallecillo

SIMULATION, 2009

View PDFchevron_right

Formal Foundations of Object-Oriented Modeling Notations

Gabriel Baum

2013

View PDFchevron_right

MontiCore: Efficient Development of Composed Modeling Language Essentials

Pedram Mir Seyed Nazari

2017

View PDFchevron_right

A semantic framework for metamodel-based languages

Angelo Gargantini

2009

View PDFchevron_right

Formal semantics of the unified modeling language L U

Michael Mannino

Decision Support Systems, 1995

View PDFchevron_right

A Tooled Approach for Designing Executable and Verifiable Modeling Languages

Christophe Dony

Insight, 2015

View PDFchevron_right

Object-oriented modelling and specification using SHE

Jpm Voeten

Computer Languages, 2001

View PDFchevron_right

Model-Driven Development of an Interpreter for the Object Constraint Language

Gonzalo Sintas

2018

View PDFchevron_right

Formalizing the structural semantics of domain-specific modeling languages

Janos Sztipanovits

Software & Systems Modeling, 2009

View PDFchevron_right

Bootstrapping a Compiler for an Equation-Based Object-Oriented Language

Peter Fritzson

Modeling, Identification and Control: A Norwegian Research Bulletin, 2014

View PDFchevron_right

Computer ScienceSemanticsModelingAbstractionCompilerComplex SystemFormal SpecificationFormal languageComputer AlgebraMathematical ModelComputer LanguageOptimal Reactive Power SystemSpecification LanguageModular ProgrammingObject OrientedProgramming language