[EN] Software development projects are diverse in nature. For this reason, software companies are often forced to define their methods in-house. In order to define methods efficiently and effectively, software companies require systematic solutions that are built upon sound methodical foundations. Providing these solutions is the main goal of the Method Engineering discipline. Method Engineering is the discipline to design, construct, and adapt methods, techniques, and tools for the development of information systems. Over the last two decades, a lot of research work has been performed in this area. However, despite its potential benefits, Method Engineering is not widely used in industrial settings. Some of the causes of this reality are the high theoretical complexity of Method Engineering and the lack of adequate software support. In this thesis, we aim to mitigate some of the problems that affect Method Engineering by providing a novel methodological approach that is built upon Model-Driven Engineering (MDE) foundations. The use of MDE enables a rise in abstraction, automation, and reuse that allows us to alleviate the complexity of our Method Engineering approach. Furthermore, by leveraging MDE techniques (such as metamodeling, model transformations, and models at runtime), our approach supports three phases of the Method Engineering lifecycle: design, implementation, and execution. This is unlike traditional Method Engineering approaches, which, in general, only support one of these phases. In order to provide software support for our proposal, we developed a Computer-Aided Method Engineering (CAME) environment that is called MOSKitt4ME. To ensure that MOSKitt4ME offered the necessary functionality, we identified a set of functional requirements prior to developing the tool. Then, after these requirements were identified, we defined the architecture of our CAME environment, and, finally, we implemented the architecture in the context of Eclipse. The thesis work was evaluated by means of a study that involved the participation of end users. In this study, MOSKitt4ME was assessed by means of the Technology Acceptance Model (TAM) and the Think Aloud method. While the TAM allowed us to measure usefulness and ease of use in a subjective manner, the Think Aloud method allowed us to analyze these measures objectively. Overall, the results were favorable. MOSKitt4ME was highly rated in perceived usefulness and ease of use; we also obtained positive results with respect to the users' actual performance and the difficulty experienced. / [ES] Los proyectos de desarrollo de software son diversos por naturaleza. Por este motivo, las compañías de software se ven forzadas frecuentemente a definir sus métodos de manera interna. Para poder definir métodos de forma efectiva y eficiente, las compañías necesitan soluciones sistemáticas que estén definidas sobre unos fundamentos metodológicos sólidos. Proporcionar estas soluciones es el principal objetivo de la Ingeniería de Métodos. La Ingeniería de Métodos es la disciplina que aborda el diseño, la construcción y la adaptación de métodos, técnicas y herramientas para el desarrollo de sistemas de información. Durante las dos últimas décadas, se ha llevado a cabo mucho trabajo de investigación en esta área. Sin embargo, pese a sus potenciales beneficios, la Ingeniería de Métodos no se aplica ampliamente en contextos industriales. Algunas de las principales causas de esta situación son la alta complejidad teórica de la Ingeniería de Métodos y la falta de un apropiado soporte software. En esta tesis, pretendemos mitigar algunos de los problemas que afectan a la Ingeniería de Métodos proporcionando una propuesta metodológica innovadora que está basada en la Ingeniería Dirigida por Modelos (MDE). El uso de MDE permite elevar el nivel de abstracción, automatización y reuso, lo que posibilita una reducción de la complejidad de nuestra propuesta. Además, aprovechando técnicas de MDE (como por ejemplo el metamodelado, las transformaciones de modelos y los modelos en tiempo de ejecución), nuestra aproximación da soporte a tres fases del ciclo de vida de la Ingeniería de Métodos: diseño, implementación y ejecución. Esto es a diferencia de las propuestas existentes, las cuales, por lo general, sólo dan soporte a una de estas fases. Con el objetivo de proporcionar soporte software para nuestra propuesta, implementamos una herramienta CAME (Computer-Aided Method Engineering) llamada MOSKitt4ME. Para garantizar que MOSKitt4ME proporcionaba la funcionalidad necesaria, definimos un conjunto de requisitos funcionales como paso previo al desarrollo de la herramienta. Tras la definción de estos requisitos, definimos la arquitectura de la herramienta CAME y, finalmente, implementamos la arquitectura en el contexto de Eclipse. El trabajo desarrollado en esta tesis se evaluó por medio de un estudio donde participaron usuarios finales. En este estudio, MOSKitt4ME se evaluó por medio del Technology Acceptance Model (TAM) y del método Think Aloud. Mientras que el TAM permitió medir utilidad y facilidad de uso de forma subjetiva, el método Think Aloud permitió analizar estas medidas objetivamente. En general, los resultados obtenidos fueron favorables. MOSKitt4ME fue valorado de forma positiva en cuanto a utilidad y facilidad de uso percibida; además, obtuvimos resultados positivos en cuanto al rendimiento objetivo de los usuarios y la dificultad experimentada. / [CA] Els projectes de desenvolupament de programari són diversos per naturalesa. Per aquest motiu, les companyies es veuen forçades freqüenment a definir els seus mètodes de manera interna. Per poder definir mètodes de forma efectiva i eficient, les companyies necessiten solucions sistemàtiques que estiguin definides sobre uns fundaments metodològics sòlids. Proporcionar aquestes solucions és el principal objectiu de l'Enginyeria de Mètodes. L'Enginyeria de Mètodes és la disciplina que aborda el diseny, la construcció i l'adaptació de mètodes, tècniques i eines per al desenvolupament de sistemes d'informació. Durant les dues últimes dècades, s'ha dut a terme molt de treball de recerca en aquesta àrea. No obstant, malgrat els seus potencials beneficis, l'Enginyeria de Mètodes no s'aplica àmpliament en contextes industrials. Algunes de les principals causes d'aquesta situació són l'alta complexitat teòrica de l'Enginyeria de Mètodes i la falta d'un apropiat suport de programari. En aquesta tesi, pretenem mitigar alguns dels problemes que afecten a l'Enginyeria de Mètodes proporcionant una proposta metodològica innovadora que està basada en l'Enginyeria Dirigida per Models (MDE). L'ús de MDE ens permet elevar el nivell d'abstracció, automatització i reutilització, possibilitant una reducció de la complexitat de la nostra proposta. A més a més, aprofitant tècniques de MDE (com per exemple el metamodelat, les transformacions de models i els models en temps d'execució), la nostra aproximació suporta tres fases del cicle de vida de l'Enginyeria de Mètodes: diseny, implementació i execució. Açò és a diferència de les propostes existents, les quals, en general, només suporten una d'aquestes fases. Amb l'objectiu de proporcionar suport de programari per a la nostra proposta, implementàrem una eina CAME (Computer-Aided Method Engineering) anomenada MOSKitt4ME. Per garantir que MOSKitt4ME oferia la funcionalitat necessària, definírem un conjunt de requisits funcionals com a pas previ al desenvolupament de l'eina. Després de la definició d'aquests requisits, definírem la arquitectura de l'eina CAME i, finalment, implementàrem l'arquitectura en el contexte d'Eclipse. El treball desenvolupat en aquesta tesi es va avaluar per mitjà d'un estudi on van participar usuaris finals. En aquest estudi, MOSKitt4ME es va avaluar per mitjà del Technology Acceptance Model (TAM) i el mètode Think Aloud. Mentre que el TAM va permetre mesurar utilitat i facilitat d'ús de manera subjectiva, el mètode Think Aloud va permetre analitzar aquestes mesures objectivament. En general, els resultats obtinguts van ser favorables. MOSKitt4ME va ser valorat de forma positiva pel que fa a utilitat i facilitat d'ús percebuda; a més a més, vam obtenir resultats positius pel que fa al rendiment objectiu dels usuaris i a la dificultat experimentada. / Cervera Úbeda, M. (2015). A Model-Driven Approach for the Design, Implementation, and Execution of Software Development Methods [Tesis doctoral]. Universitat Politècnica de València. https://doi.org/10.4995/Thesis/10251/53931

In mid-April 1945, US and UK forces swept through Germany. The Western Allies had spent years preparing for the moment, cultivating a civil affairs capacity since the Interwar Period and devoting thousands of hours to planning for the occupation. However, the rapid pace of the advance stretched the new capability beyond its limits as frontline forces seized large swaths of Germany and encountered exponentially increasing numbers of displaced persons. The accidental discoveries of Buchenwald and Bergen-Belsen and the tens of thousands of survivors suffering appalling levels of starvation and disease overwhelmed the forces dispatched to address the sites, resulting in a sluggish response. Significant flaws in Allied planning assumptions caused the breakdown that potentially cost hundreds of unnecessary deaths. Yet, operational staff officers from the Supreme Headquarters down to the division level recognized the poor response and, in two short weeks, adapted the plan to address the conditions on the front. Policy adjustments and messages from General Eisenhower removed ambiguity in existing guidance and provided clear direction to frontline forces. More importantly, the Western Allies formally merged the campaign plan guiding combat operations, OVERLORD, with the plan for occupation, ECLIPSE. The changes produced a marked improvement in the US liberation of Dachau on 29 April 1945, thereby demonstrating adaptation and innovation at the operational level of war.

The modal satisfiability problem has to date been solved using either a specifically designed algorithm, or by translating the modal logic formula into a different class of problem, such as a first-order logic, a propositional satisfiability problem or a constraint satisfaction problem. These approaches and the solvers developed to support them are surveyed and a synthesis thereof is presented. The translation of a modal K formula into a constraint satisfaction problem, as developed by Brand et al. [18], is further enhanced. The modal formula, which must be in conjunctive normal form, is translated into layered propositional formulae. Each of these layers is translated into a constraint satisfaction problem and solved using the constraint solver ECLiPSe. I extend this translation to deal with reflexive and transitive accessibility relations, thereby providing for the modal logics KT and S4. Two of the difficulties that arise when these accessibility relations are added are that the resultant formula increases considerably in complexity, and that it is no longer in conjunctive normal form (CNF). I eliminate the need for the conversion of the formula to CNF and deal instead with formulae that are in negation normal form (NNF). I apply a number of enhancements to the formula at each modal layer before it is translated into a constraint satisfaction problem. These include extensive simplification, the assignment of a single value to propositional variables that occur only positively or only negatively, and caching the status of the formula at each node of the search tree. All of these significantly prune the search space. The final results I achieve compare favorably with those obtained by other solvers. / Computing / M.Sc. (Computer Science)

支援自動即時雙向工程（Roundtrip engineering，自即雙工）與重構，是當前先進整合開發環境的兩項殺手級特色。然而，當今自即雙工所實現的即時同步，僅針對特定塑模環境（如圖形使用者介面編排、物件類別設計等）量身訂製，並非任意同步。而精確字串匹配的彈性不足，也使以此為基礎的重構技術面臨些瓶頸。以上限制，使我們無法在跨模型、語言或文件的層次進行同步或重構，以滿足現今系統開發過程中的龐大資料同步需求。 我們的補強方案就是梭。這是一具在Eclipse【1】圖形化塑模框架（Graphical Modeling Framework，GMF【2】）下運作的塑模輔助引擎。梭可監聽GMF編輯器的模型元素輸入，同時連結元素與「同步概念」，以建立同步規則，最後依據規則，輸出視覺化的模型同步建議，輔助達成模型－模型間的資訊同步。 我們借鏡知識本體與資訊擷取「概念搜尋」中的「概念（Concept）」觀，提出了「概念同步」的想法。用以同步的「同步概念」，則延伸自詞網（WordNet【3】）的自然語言同義詞集合，代表著「擁有相關自然語言內容的模型元素間，應當同步」的關係。梭對模型元素屬性內容進行自然語言斷詞後，將斷詞結果投入詞網搜尋，以取得前述的相似內容。 梭以「概念」串連了原本難以即時同步的模型元素。梭的規則推論架構，也為未來的知識本體化、結構化模型同步推論、驗證，鋪好了道路。開發者的夢想──在開發的任何階段，系統皆能維持同步──離實現又邁進一步。 / Roundtrip engineering and refactoring are killer features of modern IDE systems. Most implementations of these features nowadays, however, are tailor-made for scenarios like GUI or UML diagramming ones and hence are hard to generalize; moreover, existing refactoring ways are usually restricted to exact string matching and are thus unable to synchronize artifacts with different occurrences of the equivalent term. These problems inhibit today's IDEs from supporting developments requiring synchronization across models, languages and documents. Shuttle is a modeling assistant developed by us running on Eclipse GMF editors. It monitors users' input model elements and link them by related concepts automatically. Later modifications of an element will trigger rules to find the others under the same related concepts and result in various synchronization recommendations which developers may choose to take to enforce consistency among parts of the developed system. The linking-triggering mechanism of Shuttle is based on what we call concept synchronization (CS), which is inspired by the idea of concept in ontology and concept search in information retrieval. CS captures the simple idea that model elements with related text descriptions would be very likely modified accordingly if one of them is changed by the developer. To detect all others related to a target model element, we establish a many-to-many mapping between elements and WordNet Synsets【3】according to element text descriptions ahead of time and then, with WordNet’s help【40】, all elements related to the target can be found by looking for those mapped to a Synset associated with the target.

No description available.

The modal satisfiability problem has to date been solved using either a specifically designed algorithm, or by translating the modal logic formula into a different class of problem, such as a first-order logic, a propositional satisfiability problem or a constraint satisfaction problem. These approaches and the solvers developed to support them are surveyed and a synthesis thereof is presented. The translation of a modal K formula into a constraint satisfaction problem, as developed by Brand et al. [18], is further enhanced. The modal formula, which must be in conjunctive normal form, is translated into layered propositional formulae. Each of these layers is translated into a constraint satisfaction problem and solved using the constraint solver ECLiPSe. I extend this translation to deal with reflexive and transitive accessibility relations, thereby providing for the modal logics KT and S4. Two of the difficulties that arise when these accessibility relations are added are that the resultant formula increases considerably in complexity, and that it is no longer in conjunctive normal form (CNF). I eliminate the need for the conversion of the formula to CNF and deal instead with formulae that are in negation normal form (NNF). I apply a number of enhancements to the formula at each modal layer before it is translated into a constraint satisfaction problem. These include extensive simplification, the assignment of a single value to propositional variables that occur only positively or only negatively, and caching the status of the formula at each node of the search tree. All of these significantly prune the search space. The final results I achieve compare favorably with those obtained by other solvers. / Computing / M.Sc. (Computer Science)

One important phase in software development process is to create a design model of the system which follows all the architectural rules. Often the architectural rules are defined by the system architect and the system model is designed by the system designer. The architect defines the rules in a text file where no standard or pattern is followed. Therefore, there is always the risk of violating the architectural rules by the designer. So manual reviews on the system model should be done by the architect to ensure the system model is valid.In order to remove this manual checking which can be erroneous and time consuming ArCon (Architecture Conformance Checker) was developed by Combitech AB. ArCon is a tool which lets the architect define the architectural rules in the format of UML (Unified Modeling Language) models where the elements of the model have different meaning than the standard UML. ArCon can read this model and extract architectural rules from it and check the system model against those rules and then print all the rule violations.ArCon is an open source tool i.e. free for everyone to download and use. Currently, it supports Papyrus as the UML modeling tool. Papyrus is integrated to Eclipse platform and is a general purpose modeling tool. It supports users with all types of UML diagrams and elements.The idea for this thesis work was to implement a new feature for ArCon in order to facilitate the design process for system designers. The feature should provide the system designers only those types of elements which they are permitted to add to a specific fraction of the system model. The list of permitted element types should be extracted from the architecture model where all the architectural rules are defined in advance. This new support in ArCon was named Domain Specific Modeling (DSM) support.To evaluate the effect of DSM support on the system designers performance a few test sessions, called usability tests, were performed. The participants in the test sessions were a representative sample of software designers. After analyzing the data collected from the test sessions, the pros and cons of the new support were discovered. Furthermore, a few new ideas for enhancing DSM support were generated.

This dissertation presents a contribution to measure the church order and ecclesiastical law in the Nederduitsch Hervormde Church of Africa against the Presbyterial-synodal understanding of church government. The latter forms the canonical outline of Biblical Reformative Theology as an indication of the theology currently practiced in the Nederduitsch Hervormde Church of Africa. At the outset a historical overview is given on the origin and development of the Presbyterial-synodal church government that was mainly shaped by Calvin in Geneva and later elaborated upon in Paris, and then further developed in the Netherlands. Reference is also made to the Algemeen Reglement of 1816, the 1951 church order of the Nederlandse Hervormde Church, as well as the 1951 church order of the Nederduitsch Hervormde Church of Africa. A description is given of what is understood by Biblical Reformative Theology as a revelation theology, which objectively assesses man as a sinner redeemed by grace through Jesus Christ. In this regard the church is willed by God and exists in eschatological expectation when Jesus will be everything in everyone. An exposition of Presbyterial-synodal church government calls attention to the church's existence from the beginning of time, founded by God, and it is therefore of a covenantal nature. Offices are seen as gifts from God to mankind to bring those who had been saved by Jesus Christ to faith in Him. Office bearers gather together in an assembly of offices to govern the church according to the Word of God. The church is a confessing church who confesses its faith with the church of all ages, as summarized in the ecumenical creeds and the three formularies of unity. Reference is also made here to the sacraments, ceremonies, church festivals and days of remembrance. The chapter concludes with a reference to church discipline as well as the relationship between church and state. Finally the church order and ecclesiastical law in the Nederduitsch Hervormde Church of Africa is measured against the previous definition of the Presbyterial-synodal understanding of church government. / Thesis (PhD (Theology))--University of Pretoria, 2006. / Church History and Church Policy / unrestricted

The aim of diploma thesis is translation, customization, realization and publication English version of Entry profile which is part of ISO/IEC 29110 in Eclipse Process Framework Composer tool with own methodology of realization so that profile will be available to Czech expert public. The goals are achieved by conversion of Entry Profile in Eclipse Process Framework Composer tool into web form. The first benefit of diploma thesis is description and characteristics of Entry Profile which is part of ISO/IEC 29110 standard, which serves to profile understanding and its practical usage. The second benefit is creation own methodology which allows Entry Profile conversion into electronic version. For profile realization is used Eclipse Process Framework Composer tool. The third benefit is detail reference book of profile realization in Eclipse Process Framework Composer. The main benefit is Entry Profile created in web form, which is available to expert public. At the beginning of diploma thesis is described Entry Profile, its goal, structure and implementation packages. In third chapter is described concept of Unified Method Architecture which serves as theoretical input for chapter about Eclipse Process Framework Composer tool. In fourth chapter is characterized tool for management and maintenance methodology - Eclipse Process Framework Composer. Follows chapter about methodology of profile realization in Eclipse Process Framework Composer. Sixth chapter is detail reference book realization of Entry Profile in Eclipse Process Framework Composer. In following chapter is profile published in web form. Eight chapter evaluates realization and publication in Eclipse Process Framework Composer tool.

The Master Thesis deals with the design of hardware component interconnection inference algorithm that is supposed to be used in the FPGA schema editor that was integrated into educational integrated development environment VLAM IDE. The aim of the algorithm is to support user by finding an optimal interconnection of two given components. The editor and the development environment are implemented as an Eclipse plugin using GMF framework. A brief description of this technologies and the embedded systems design are followed by the design of the inference algorithm. This problem is a topic of combinatorial optimization, related to the bipartite matching and assignment problem. After this, the implementation of the algorithm is described, followed by tests and a summary of achieved results.