No description available.

Blended learning blir allt vanligare inom högskoleutbildningar och majoriteten av kurser äridag kopplade till onlineportaler. För att enkelt kombinera klassrumsundervisning medonline learning används olika learning management system (LMS). Lärare kan dock intealltid förlita sig på att studenterna har en inre motivation och entusiasm till att lära, det finnsdock möjligheter att påverka den inre motivationen med hjälp av yttre faktorer. Medgamification används yttre motiverande faktorer för att skapa en rolig och engagerandemiljö utan att påverka studiernas trovärdighet. Gamification innebär att komponenter avspeldesign används utanför spelkontexten. Detta kan leda till ökad motivation hos studenterna.För att förstå olika typer av motivation bättre används Self-determination theory (SDT).Utifrån spelelement som lyfts fram i litteratur bekräftar eller bestrider och kompletterardenna uppsats detta med en empirisk studie som utgår ifrån en gamifierad kurs på högskolenivå.Spelelementen analyseras med SDT för att se hur de påverkar de tre inre psykologiskabehoven. Utifrån detta skapades tre designmönster som är till för att stödja utvecklare ochadministratörer av LMS då en gamifierad kurs utformas. / Blended learning is becoming more common within university education and the majoritiesof courses today are connected to an online portal. To easily combine teaching in theclassroom with online learning different types of learning management systems (LMS) arebeing used. Even though teachers cannot always put their trust in the students’ intrinsicmotivation and enthusiasm for learning, it is possible to affect the intrinsic motivation withthe help of extrinsic factors. With gamification extrinsic factors are used to create a fun andengaging environment without affecting the credibility of the studies. Gamification meansthat components of game design are used outside the context of gaming. This can lead to anincrease in motivation for the students. To better understand different types of motivationSelf-determination theory (SDT) is used. Based on the gameplay elements identified inscholarly texts this thesis confirms or denies, and complements this with an empirical studybased on a gamified course at university level. The gameplay elements were analyzed withSDT to see how they affected the three intrinsic psychological needs. Based on this, threedesign patterns were created to support developers and administrators of LMS whenforming a gamified course.

The thesis is dealing with implementation of IMPRODEMO image processing application. Author has used existing image processing libraries and has implemented complex application with modern user interface. In order to develop the application, he used framework WPF, method for developing application using tests called Test Driven Development, design pattern MVVM and MEF tool for easy integrating of extensions. Chapter two deals with these technologies and methodologies and describes them. Third chapter describes design of application and presents class diagrams. Fourth chapter describes test driven development and particular pitfalls that emerged from using this methodology. Fifth chapter presents the mean of integrating code written in C++ language into .NET framework and into C# language. At the end, whole work is summarized, resuls are defined and possibilities of resuming and extending the work are proposed.

Diese Arbeit präsentiert 9 Entwurfsmuster in einer Darstellung durch das Compartment Role Object Model(CROM). Dabei wird dessen graphische Notation für rollenbasierte Modelle mit verschiedenen Möglichkeiten zur Darstellung von Bedingungen des Entwurfsmusters benutzt. Über eine Evaluationsoll ermittelt werden, ob das CROM dazu geeignet ist, die Bedingungen von Entwurfsmustern verständlich und schnell erfassbar darzustellen. Dabei soll die graphische Dokumentation dieser helfen. Das kann positive E ekte auf die Entwicklung von Software haben, wie bessere Codequalität, verkürzte Entwicklungszeiten und die Vereinfachung der Kommunikation zwischen Entwicklern.:1 Einleitung 5 1.1 Motivation 5 1.2 Problemde nition 6 1.3 Zielstellung 6 2 Analyse der betrachteten Darstellungsformen 7 2.1 Beschreibungsform der Gang of Four 7 2.2 Beschreibungsform von Dirk Riehle 10 2.3 Darstellung mit dem Compartment Role Object Model 12 3 Aktualisierung der Entwurfsmuster 17 3.1 Strukturelle Entwurfsmuster 17 3.1.1 Composite Pattern 17 3.1.2 Bridge Pattern 22 3.2 Entwurfsmuster zur Kontextadaption 27 3.2.1 Object Adapter Pattern 27 3.2.2 Class Adapter Pattern 30 3.2.3 Decorator Pattern 33 3.3 Entwurfsmuster zur Zustandsverwaltung 38 3.3.1 State Pattern 38 3.3.2 Property Pattern 43 3.4 Verhaltensorientierte Entwurfsmuster 45 3.4.1 Iterator Pattern 45 3.4.2 Mediator Pattern 50 4 Schlussteil 54 4.1 Abschlieÿender Vergleich 54 4.2 Diskussion 57 4.2.1 Adapter Pattern 57 4.2.2 Klienten 57 4.2.3 Methoden und Attribute 58 4.2.4 Klassen 59 4.3 Zusammenfassung 59 4.3.1 Ergebnis 59 4.3.2 Ausblick 60

Evolutionary changes applied to a framework API may invalidate existing framework-based applications. While manually adapting applications is expensive and error-prone, automatic adaptation demands cumbersome specifications, which the developers are reluctant to write and maintain. Considering structural changes (so-called refactorings) of framework APIs, our adaptation technology supports backward-compatible framework upgrade. The technology is rigorous defining precisely the structure and automatic derivation of compensating adapters. It is also practical compensating for most application-breaking API changes automatically, while requiring neither manual adaptation nor recompilation of existing application code.

In comparison with the ever increasing development of enterprise architectures and frameworks, reference architectures has yet to reach the same maturity level. This brings questions regarding definition, implementation and governance of reference architectures at different levels; Business, System, Technical. In this report, an in-depth analysis of the concept of reference architctures is made, focusing on the abovementioned attributes. The purpose of the report is to provide the reader with an insight on how reference architectures can be implemented in order to aid in the work of system development.

Model-based design is a common methodology in the development of embedded complex control systems. Control system engineers typically prefer to use MATLAB® Simulink® and suitable automatic code generators for the development and deployment of software. Embedded systems are subject to random hardware faults; bit-flips, for example, may affect random access memory (RAM) cells and central processing unit (CPU) registers and cause data errors that may propagate to critical system outputs and result in system failures. From a dependability perspective, the design space of control systems includes the selection of a suitable (reliable) implementation of a control algorithm. Such algorithm can be implemented with model-based software development frameworks, such as Simulink using different, but functionally equivalent implementations. However, these functional equivalents may exhibit completely different reliability properties. This thesis proposes an analytical method for the evaluation of the reliability properties of control systems that are designed with Simulink models. The method is based on a transformation of the assembly code, which is generated from the Simulink model, into a formal stochastic error propagation model as well as its quantification through underlying Markov chain models and state-of-the-art probabilistic model-checking techniques. The application of the method to the functionally equivalent implementations can determine which one is less vulnerable to data errors due to random hardware faults. Fault tolerance is significant to dependable system design. Control systems can be protected with fault tolerance mechanisms to increase the reliability. Redundancy is the key underlying concept for achieving fault tolerance that is usually implemented at the hardware or software level. In the case of model-based development, redundancy mechanisms are preferable for direct application at the model level (Simulink model level). This thesis introduces a systematic classification of fault-tolerant design patterns. Such patterns can be applied to the Simulink model to tolerate random hardware faults, and taken into account during the control system design. In addition, it is more transparent and convenient for control system engineers to directly protect vulnerable parts with fault tolerance mechanisms at the model level. The rigorous reliability assessment of the embedded control systems must be conducted at the assembly level based on the modeling of data errors that occurred in RAM and CPU. However, the scalability of the assembly-level assessment method is challenging and even problematic in view of the state space explosion (SSE) problem of the underlying Markov chain models. The computational complexity may increase exponentially as the assembly code size increases. Moreover, the transformation from the Simulink models to the assembly code is a complicated procedure. It is also more convenient for control engineers to already be able to estimate reliability properties and implement possible reliability improvements at the model level in the early design phase, when the model-based design is actually applied. Therefore, this thesis proposes a model-level reliability evaluation of Simulink models to address the aforementioned problems. The efficiency of the proposed modellevel evaluation is verified by a comparison of the reliability properties that are assessed at the assembly and model levels.:1. Introduction 2. Preliminaries 3. Reliability evaluation of control algorithm implementations at the assembly level 4. Fault-tolerant design patterns 5. MORE: MOdel-based REdundancy for Simulink models 6. Model-level assessment of Simulink models 7. Conclusion

Designing object-oriented software is hard, and designing reusable object-oriented software is even harder. This task is even more daunting for a developer of computational intelligence applications, as optimising one design objective tends to make others inefficient or even impossible. Classic examples in computer science include ‘storage vs. time’ and ‘simplicity vs. flexibility.’ Neural network requirements are by their very nature very tightly coupled – a required design change in one area of an existing application tends to have severe effects in other areas, making the change impossible or inefficient. Often this situation leads to a major redesign of the system and in many cases a completely rewritten application. Many commercial and open-source packages do exist, but these cannot always be extended to support input from other fields of computational intelligence due to proprietary reasons or failing to fully take all design requirements into consideration. Design patterns make a science out of writing software that is modular, extensible and efficient as well as easy to read and understand. The essence of a design pattern is to avoid repeatedly solving the same design problem from scratch by reusing a solution that solves the core problem. This pattern or template for the solution has well understood prerequisites, structure, properties, behaviour and consequences. CILib is a framework that allows developers to develop new computational intelligence applications quickly and efficiently. Flexibility, reusability and clear separation between components are maximised through the use of design patterns. Reliability is also ensured as the framework is open source and thus has many people that collaborate to ensure that the framework is well designed and error free. This dissertation discusses the design and implementation of a generic neural network framework that allows users to design, implement and use any possible neural network models and algorithms in such a way that they can reuse and be reused by any other computational intelligence algorithm in the rest of the framework, or any external applications. This is achieved by using object-oriented design patterns in the design of the framework. / Dissertation (MSc)--University of Pretoria, 2007. / Computer Science / unrestricted

As systems complexity grows, so grows the risk of errors, that's why it's necessary to effectively and reliably repair those errors. With most of real-time systems this statement pays twice, because a single error can cause complete system crash which may result in catastrophe. Formal verification, contrary to other methods, allows reliable system requirements verification.

No description available.