Sökning: "object-oriented programming"

Visar resultat 21 - 25 av 56 avhandlingar innehållade orden object-oriented programming.

1. 21. PDEModelica - Towards a High-Level Language for Modeling with Partial Differential Equations

   Författare :Levon Saldamli; Linköpings universitet; []
   Nyckelord :NATURVETENSKAP; NATURAL SCIENCES; Object oriented programming; mathematics models; partial differential equations PDEs ; relational meta-language RML ; Computer science; Datavetenskap;

   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

3. 22. Tools for design, interactive simulation, and visualization of object-oriented models in scientific computing

   Författare :Vadim Engelson; Linköpings universitet; []
   Nyckelord :NATURVETENSKAP; NATURAL SCIENCES; Computer science; Datavetenskap;

   Sammanfattning : Mathematical models used in scientific computing are becoming large and complex. In order to handle the size and complexity, the models should be better structured (using objectorientation) and visualized (using advanced user interfaces). Visualization is a difficult task, requiring a great deal of effort from scientific computing specialists. LÄS MER

4. 23. Formal Development of Safe and Secure Java Card Applets

   Författare :Wojciech Mostowski; Chalmers tekniska högskola; []
   Nyckelord :NATURVETENSKAP; NATURAL SCIENCES; object-oriented design; Java Card; formal verification; formal specification; dynamic logic;

   Sammanfattning : This thesis is concerned with formal development of Java Card applets. Java Card is a technology that provides a means to program smart cards with (a subset of) the Java language. In recent years Java Card technology gained great interest in the formal verification community. There are two reasons for this. LÄS MER

5. 24. Extensible Compiler Construction

   Författare :Torbjörn Ekman; Institutionen för datavetenskap; []
   Nyckelord :NATURVETENSKAP; NATURAL SCIENCES; numerical analysis; Computer science; attribute grammars; extensible compilers; context-sensitive transformations; declarative object-oriented programming; kontroll; system; numerisk analys; Datalogi; control; systems;

   Sammanfattning : Processing of programs is a core area in computer science. A compiler that translates source text to machine language is the most well-known kind of tool in this area, but there are numerous other kinds of related applications: source-to-source translators, refactoring tools, reengineering tools, metrics tools, consistency checkers, etc. LÄS MER

7. 25. Language Constructs for Safe Parallel Programming on Multi-Cores

   Författare :Johan Östlund; Tobias Wrigstad; Ludovic Henrio; Uppsala universitet; []
   Nyckelord :NATURVETENSKAP; NATURAL SCIENCES; Programming Languages; Type Systems; Ownership Types; Concurrency; Parallelism; Actors; Active Objects; Structured Parallelism; Data Race-Freedom; Immutability; Uniqueness; Datavetenskap; Computer Science;

   Sammanfattning : The last decade has seen the transition from single-core processors to multi-cores and many-cores. This move has by and large shifted the responsibility from chip manufacturers to programmers to keep up with ever-increasing expectations on performance. LÄS MER