Add to ORKGThe high abstraction level of equation-based object-oriented (EOO) languages such as Modelica has the drawback that programming and modeling errors are often hard to find. In this paper we present integrated static and dynamic debugging methods for Modelica models and a debugger prototype that addresses sev-eral of those problems. The goal is an integrated debugging framework that combines classical debugging techniques with special techniques for equation-based languages partly based on graph visualization and interaction. To our knowledge, this is the first Modelica debugger that supports both equation-based transforma-tional and algorithmic code debugging in an integrated fashion
This paper concerns the use of static analysis for debugging purposes of declarative object-oriented...
What does it mean to bootstrap a compiler, and why do it? This paper reports on the first bootstrapp...
Model-Driven Engineering (MDE) has emerged as a software development paradigm that can assist in sep...
The high abstraction level of equation-based object-oriented (EOO) languages such as Modelica has th...
Equation-based object-oriented (EOO) modeling languages such as Modelica provide a convenient, decla...
This paper concerns the static analysis for debugging purposes of programs written in declarative eq...
The need for debugging tools for declarative programming languages has increased due to the rapid de...
This paper concerns the static analysis for debugging purposes of programs written in declarative eq...
In this paper we present a general framework for debugging declarative equation based languages. Thi...
Abstract. In this paper we present a general framework for debugging declarative equation based lang...
The ease of use and the high abstraction level of equation-based object-oriented (EOO) languages suc...
Modelica models often contain functions with algorithmic code. The fraction of algorithmiccode is in...
Abstract: In the field of process simulation, a movement from modular oriented, which is currently t...
Equation-based object-oriented (EOO) modelling languages provide a convenient, declarative method fo...
Integrated development environments are essential for efficient realization of complex industrial pr...
This paper concerns the use of static analysis for debugging purposes of declarative object-oriented...
What does it mean to bootstrap a compiler, and why do it? This paper reports on the first bootstrapp...
Model-Driven Engineering (MDE) has emerged as a software development paradigm that can assist in sep...
The high abstraction level of equation-based object-oriented (EOO) languages such as Modelica has th...
Equation-based object-oriented (EOO) modeling languages such as Modelica provide a convenient, decla...
This paper concerns the static analysis for debugging purposes of programs written in declarative eq...
The need for debugging tools for declarative programming languages has increased due to the rapid de...
This paper concerns the static analysis for debugging purposes of programs written in declarative eq...
In this paper we present a general framework for debugging declarative equation based languages. Thi...
Abstract. In this paper we present a general framework for debugging declarative equation based lang...
The ease of use and the high abstraction level of equation-based object-oriented (EOO) languages suc...
Modelica models often contain functions with algorithmic code. The fraction of algorithmiccode is in...
Abstract: In the field of process simulation, a movement from modular oriented, which is currently t...
Equation-based object-oriented (EOO) modelling languages provide a convenient, declarative method fo...
Integrated development environments are essential for efficient realization of complex industrial pr...
This paper concerns the use of static analysis for debugging purposes of declarative object-oriented...
What does it mean to bootstrap a compiler, and why do it? This paper reports on the first bootstrapp...
Model-Driven Engineering (MDE) has emerged as a software development paradigm that can assist in sep...