Search for dissertations about: "debugging"
Showing result 1 - 5 of 56 swedish dissertations containing the word debugging.
-
1. Debugging and Structural Analysis of Declarative Equation-Based Languages
Abstract : A significant part of the software development effort is spent on detecting deviations between software implementations and specifications, and subsequently locating the sources of such errors. This thesis illustrates that is possible to identify a significant number of errors during static analysis of declarative object-oriented equation-based modeling languages that are typically used for system modeling and simulation. READ MORE
-
2. Tools for Understanding, Debugging, and Simulation Performance Improvement of Equation-based Models
Abstract : Equation-based object-oriented (EOO) modelling languages provide a convenient, declarative method for describing models of cyber-physical systems.Because of the ease of use of EOO languages, large and complex models can be built with limited effort. READ MORE
-
3. Tools and Methods for Analysis, Debugging, and Performance Improvement of Equation-Based Models
Abstract : Equation-based object-oriented (EOO) modeling languages such as Modelica provide a convenient, declarative method for describing models of cyber-physical systems. Because of the ease of use of EOO languages, large and complex models can be built with limited effort. READ MORE
-
4. A transformational approach to debugging lazy functional programs
Abstract : .... READ MORE
-
5. Integration of Ontology Alignment and Ontology Debugging for Taxonomy Networks
Abstract : Semantically-enabled applications, such as ontology-based search and data integration, take into account the semantics of the input data in their algorithms. Such applications often use ontologies, which model the application domains in question, as well as alignments, which provide information about the relationships between the terms in the different ontologies. READ MORE