Sökning: "object-oriented modeling"
Visar resultat 11 - 15 av 56 avhandlingar innehållade orden object-oriented modeling.
11. Towards Behavioral Model Fault Isolation for Object Oriented Control Systems
Sammanfattning : We use a system model expressed in a subset of the Unified Modeling Language to perform fault isolation in large object oriented control systems. Due to the severity of the failures considered and the safety critical nature of the system we cannot perform fault isolation online. LÄS MER
12. A study of traceability in object-oriented systems development
Sammanfattning : We regard a software system as consisting not only of its source code, but also of its documented models. Traceability is defined as the ability to trace the dependent items within a model and the ability to trace the correspondent items in other models. LÄS MER
13. Debugging and Structural Analysis of Declarative Equation-Based Languages
Sammanfattning : 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. LÄS MER
14. Data Partitioning Methods and Parallel Block-Oriented PDE Solvers
Sammanfattning : Data partitioning methods for block-structured problems within scientific computing have been studied. The applications are variational data assimilation in meteorology, ocean modeling, and airflow simulation with multiblock grids. LÄS MER
15. PDEModelica - Towards a High-Level Language for Modeling with Partial Differential Equations
Sammanfattning : This thesis describes initial language extensions to the Modelica language to define a more general language called PDEModelica, with built-in support for modeling with partial differential equations (PDEs). Modelica® is a standardized modeling language for objectoriented, equation-based modeling. LÄS MER