Presented diploma thesis deals with the strategic development of the company VKS Pohledští Dvořáci a.s. The thesis contains a list of current activities of the company and suggests opportunities for further development. To reach this objective various internal and external analysis are used, namely PEST analysis, Porter's five forces model, the Value chain and SWOT analysis. To explore the possibilities for future development of the company, two growth strategies are applied -- Porter's Generic Strategies and Ansoff Growth Matrix. There was a survey done which purpose was to monitor customer satisfaction with the products and services provided by the company and to suggest improvements in the company marketing. The conclusion summarizes the most important findings and proposes recommendations on the future expansion of the company.

Especificações formais são úteis para descrever o que um sistema deve fazer sem definir como, e, em virtude da sua natureza formal e da possibilidade de abstração, é possível analisá-las sistematicamente. No entanto, o uso de especificações formais como parte do desenvolvimento de software não constitui prática comum. Isso se dá, em parte, pelo fato de existirem apenas um pequeno número de metodologias e ferramentas adequadas que dêem suporte a esse desenvolvimento. O primeiro objetivo deste trabalho é propor uma metodologia de desenvolvimento que possibilite, a partir de uma especificação formal em notação Z, produzir uma implementação dessa especificação em Java. Essa metodologia centra-se na geração do esqueleto da aplicação Java e na instrumentação desse esqueleto com mecanismos de verificação de condições (invariantes, pré e pós-condições) e rastreamento de violações dessas condições. Através desses mecanismos, possibilita-se intercalar desenvolvimento formal e informal no processo global de desenvolvimento de software. O segundo objetivo é desenvolver uma ferramenta que implemente parte dessa metodologia, produzindo uma implementação parcial que deverá ser complementada pelo usuário. / Formal specifications are useful for describing what a system should do, without defining how, and, owing to its formal nature, it is possible to analyse them systematically. However useful formal specifications are, their usage as part of the software development process is rather rare. This is, in part, due to the scarcity of both methodologies and tools that support this development. The first goal of this work is to define a software development methodology that enables the developer to produce a Java application from a formal specification written in Z. This methodology will rely strongly on the generation of Java application skeletons and instrumentation of the generated code with means of verifying conditions (invariants, pre and post-conditions) e tracing violations of these conditions. Through this mechanisms, it is possible to mix formal and informal development in the global software development process. The second goal of this work is to develop a tool that will implement part of this methodology, producing a partial implementation that must be complemented by the developer.

The aim of the master thesis is to describe Apache Spark framework , its structure and the way how Spark works . Next goal is to present topic of Model- Driven Development and Model-Drive Architecture . Define their advantages , disadvantages and way of usage . However , the main part of this text is devoted to design a model for creating tasks in Apache Spark framework . Text desribes application , that allows user to create graph based on proposed modeling language . Final application allows user to generate source code from created model.

Ein geringer Treibstoffverbrauch ist aufgrund von ökologischen und ökonomischen Zielen für die zivile Luftfahrt von großer Bedeutung. Daher werden seit Jahrzehnten konventionell hydraulisch oder pneumatisch betriebene Flugzeugsysteme durch elektrisch betriebene Systeme ersetzt. Dieser Trend wird auch als „More Electric Aircraft (MEA)“ bezeichnet. In bisherigen Studien waren MEA-Architekturen zwar effizienter, jedoch deutlich schwerer als die konventionellen Architekturen. Basierend auf ökonomischen Modellen wird in der vorliegenden Arbeit die modellbasierte Entwicklung eines intelligenten Energiemanagements für Flugzeug-Energiesysteme demonstriert. Das Energiemanagement ermöglicht eine deutliche Reduktion der Systemmasse, verbessert die Energieeffizienz und kann damit den Treibstoffverbrauch eines MEA beträchtlich reduzieren. Insbesondere durch die integrierte und frühzeitige Entwicklung des Energiemanagements mit dem elektrischen System in der Modellbeschreibungssprache Modelica lassen sich die Systemkomponenten mit realistischen Lastprofilen dimensionieren und dadurch die Systemmasse reduzieren. Anhand eines elektrischen Referenzsystems wird das Optimierungspotenzial des Energiemanagements bezüglich Massenreduktion und Energieeffizienzsteigerung quantifiziert und am Systemmodell validiert. Es ergibt sich für das Systemmodell eine Reduktion der Systemmasse um 32 % sowie eine leichte Verbesserung der Energieeffizienz. Durch die multiphysikalische Implementierung des Energiemanagements lässt sich dieses auch für das thermische Management im Flugzeug verwenden. Hierbei kann eine deutliche Verbesserung der Energieeffizienz für die Bereitstellung von Kühlleistung erzielt werden. Aufgrund der erreichten Vorteile sollte ein Energiemanagement bei der Entwicklung zukünftiger Flugzeugenergiesysteme in Betracht gezogen werden. Insbesondere beim MEA existiert ein großes Optimierungspotenzial durch das Energiemanagement. Die Ausführungen in der vorliegenden Arbeit sollen als Motivation für die Flugzeugindustrie dienen, mit realistischen Lastprofilen zu dimensionieren und die modellbasierte und integrierte Entwicklung eines Energiemanagements mit den Energiesystemen bereits in frühen Entwicklungsphasen durchzuführen. / Low fuel consumption is a major concern in civil aerospace due to environmental and economic objectives. Hence, conventional hydraulically or pneumatically driven aircraft systems have been replaced by electrically driven systems for decades. This trend is also known as More Electric Aircraft (MEA). In former studies, MEA architectures were more efficient, but much heavier than their conventional counterparts. The present work demonstrates the model-based development of intelligent energy management algorithms for aircraft energy systems based on economic models. This energy management facilitates a significant reduction of system mass, improves energy efficiency and can hence reduce fuel consumption of MEA considerably. In particular, the integrated development of an energy management along with the electrical system in the Modelica modelling language enables sizing of system components with realistic load profiles. Hence, this reduces the system mass. The optimization potential of the energy management is quantified and validated by means of an electrical reference system model. Applying the energy management, the mass of this system model can be reduced by 32 % and the energy efficiency can be improved slightly. Due to the multi-physical modelling of the energy management, it can also be applied to thermal management of aircraft systems. Thus, the energy efficiency of the cooling system can be improved significantly. As a result of the demonstrated benefits, an energy management should be considered for future development of aircraft energy systems. Especially for MEA, there is tremendous optimization potential for the energy management. Hence, the present work shall motivate aircraft industry to size aircraft systems with realistic load profiles and perform a model-based and integrated development of the energy management along with the electrical system in early phases of the system design process.

Diese Diplomarbeit behandelt das Themengebiet der automatischen Erzeugung von grafischen Benutzeroberflächen (GUIs) im Kontext von Webservices. Es geht dabei konkret um einen Editor, mit dem Hinweise zur Generierung von Dialogen erstellt werden können. Diese Hinweise sollen dann von den dialogerzeugenden Anwendungen einbezogen werden, um eine dynamische Interaktion mit Webservices durch beliebige Nutzer ohne dienstspezifische Software zu ermöglichen. Die Arbeit führt in die aktuellen Techniken zur GUI-Generierung ein und stellt Transformationsprinzipien vor, die eine Generierung ausgehend von einem formalen Datenmodell ermöglichen. Dabei müssen mangelnde Modellparameter in Beschreibungen von Webservices manuell ausgeglichen werden (WSGUI-Konzepte). Diese Zielstellung führt zum Entwurf des WSGUI-Editors. Die anschließende Implementierung berücksichtigt darüber hinaus Integrationsaspekte wie die Publizierung von WSGUI-Hinweisen, Einbindung von GUI-Übersetzungen und eine Vorschau auf die zu generierenden Dialoge. Abgeschlossen wird die Arbeit mit einer Bewertung des Editors, aber auch einer Reihe von Vorschlägen zur Vereinfachung ähnlich gelagerter zukünftiger Projekte im Umfeld von Webservices.

Statische Codemetriken sind wichtige Indikatoren für die Qualität eines Softwaresystems. Sie beleuchten dabei unterschiedliche Aspekte eines Softwaresystems. Deshalb ist es notwendig, mehrere Codemetriken zu nutzen, um die Qualität eines Softwaresystems in seiner Gesamtheit bewerten zu können. Wünschenswert wäre zudem eine Darstellung, die die Struktur des Gesamtsystems und die Bewertung einzelner Elemente eines Softwaresystems in einer Darstellung kombiniert. Die Arbeit untersucht deshalb, welche Metaphern geeignet sind, um eine solche Darstellung zu ermöglichen. Ein zweites Ziel der Arbeit war es, eine solche Visualisierung automatisch erzeugen zu können. Dafür wurde ein Generator entwickelt, der diese Anforderung erfüllt. Zur Konzeption dieses Generators kamen Techniken aus der generativen Softwareentwicklung zum Einsatz. Bei der Umsetzung des Generators wurde auf Techniken aus der modellgetriebenen Softwareentwicklung zurückgegriffen, vor allem auf Techniken aus dem openArchitectureWare-Framework. Der Generator kann in Eclipse eingebunden werden und ist in der Lage, aus einem Java-Projekt die Struktur und die Metrikwerte automatisch zu extrahieren. Diese Werte werden daraufhin in ein dreidimensionales Modell überführt, das auf dem offenen Extensible 3D Standard basiert. Der Generator ermöglichte zudem die Evaluierung zweier unterschiedlicher Metaphern, die im Rahmen der Arbeit durchgeführt wurde.

No description available.

ROS2 is an increasingly popular middleware framework for developing robotic applications. A ROS2 applicationbasically is composed of nodes that run concurrently and can be deployed distributedly. ROS2 nodes communicatewith each other through asynchronous interfaces; they reside in memory and wait to respond events that circulatearound the system during the interactions between the robot(s) and the environment. Rebeca is an actor-basedlanguage for modelling asynchronous, concurrent applications. Timed Rebeca added timing features to Rebeca todeal with timing requirements of real-time systems. The similarities in the concurrency and message-basedasynchronous interactions ofreactive nodes justify the relevance of using Timed Rebeca to assist the developmentand verification of ROS2 applications. Model-based development and model checking allow quicker prototypingand earlier detection ofsystem errors without the requirement of developing the entire real system. However, thereare challenges in bridging the gaps between continuous behaviours in a real robotic system and discrete behavioursin a model, between complex computations in a robotic system and the inequivalent programming facilities in amodelling language. There have been previous attempts in mapping Rebeca to ROS, however they could not beput into practice due to over-simplifications or improper modelling approaches. This thesis addresses the problemfrom a more systematic perspective and has been successful in modelling a realistic multiple autonomous mobilerobots system, creating corresponding ROS2 demonstration code, showing the synchronization between the modeland the program to prove the values of the model in driving development and automatic verification of correctnessproperties (freedom ofdeadlocks, collisions, and congestions). Stability of model checking results confirms designproblems that are not always detected by simulation. The modelling principles, modelling and implementingtechniques that are invented and summarized in this work can be reused for many other cases.

Uno de los problemas más importantes que se propuso solucionar cuando apareció la Ingeniería Web fue la carencia de técnicas para la especificación de requisitos de aplicaciones Web. Aunque se han presentado diversas propuestas que proporcionan soporte metodológico al desarrollo de aplicaciones Web, la mayoría de ellas se centran básicamente en definir modelos conceptuales que permiten representar de forma abstracta una aplicación Web; las actividades relacionadas con la especificación de requisitos son vagamente tratadas por estas propuestas. Además, las técnicas tradicionales para la especificación de requisitos no proporcionan un soporte adecuado para considerar características propias de las aplicaciones Web como la Navegación. En esta tesis, se presenta una aproximación de Ingeniería de Requisitos para especificar los requisitos de las aplicaciones Web. Esta aproximación incluye mecanismos basados en la metáfora de tarea para especificar no sólo los requisitos relacionados con aspectos estructurales y de comportamiento de una aplicación Web sino también los requisitos relacionados con aspectos navegacionales. Sin embargo, una especificación de requisitos es poco útil si no somos capaces de transformarla en los artefactos software adecuados. Este es un problema clásico que la comunidad de Ingeniería del Software ha tratado de resolver desde sus inicios: cómo pasar del espacio del problema (requisitos de usuario) al espacio de la solución (diseño e implementación) siguiendo una guía metodológica clara y precisa. En esta tesis, se presenta una estrategia que, basándose en transformaciones de grafos, y estando soportada por un conjunto de herramientas, nos permite realizar de forma automática transformaciones entre especificaciones de requisitos basadas en tareas y esquemas conceptuales Web. Además, esta estrategia se ha integrado con un método de Ingeniería Web con capacidades de generación automática de código. Esta integración nos permite proporcionar un mecanis / Valderas Aranda, PJ. (2008). A requirements engineering approach for the development of web applications [Tesis doctoral]. Universitat Politècnica de València. https://doi.org/10.4995/Thesis/10251/1997

Las Aplicaciones Web Adaptativas son sistemas Web que plantean una solución a esta problemática, mediante la adaptación automática del acceso a ítems de información, servicios e hiperlinks, en base a las características de los usuarios. El desarrollo de estos sistemas exige adoptar una aproximación ingenieril que facilite la especificación de las funcionalidades adaptativas a proveer, junto con las características de los usuarios en las cuales se basan dichas funcionalidades. La presente tesis introduce una aproximación al desarrollo de Aplicaciones Web Adaptativas desde una perspectiva dirigida por modelos. Esta aproximación integra prácticas tradicionales de desarrollo de Aplicaciones Web con conceptos de-nidos y probados por la comunidad de Hipermedia Adaptativa. Tomando como base el proceso de desarrollo de aplicaciones Web OOWS (Object Oriented Web Solutions), se defíne un conjunto de primitivas conceptuales que permiten expresar técnicas adaptativas a un alto nivel de abstracción. La definición de estas primitivas es respaldada por una propuesta de Modelado de Usuarios. Además, un conjunto de estrategias de modelado permite incorporar Métodos Adaptativos a los esquemas navegacionales de OOWS, en base a dichas primitivas. / Rojas Durán, GE. (2008). Modelling adaptive web applications in OOWS [Tesis doctoral]. Universitat Politècnica de València. https://doi.org/10.4995/Thesis/10251/2000