- About
-
The Global ETD Search service is a free service for researchers
to find electronic theses and dissertations. This service is
provided by the
Networked Digital Library of Theses and Dissertations.
Our metadata is collected from universities around the world. If you manage a university/consortium/country archive and want to be added, details can be found on the NDLTD website.
Search results
Showing 11 to 18 of 18 (0.048 seconds)| 11 |
Towards the formalisation of use case mapsDongmo, Cyrille 11 1900 (has links)
Formal specification of software systems has been very promising. Critics against the end
results of formal methods, that is, producing quality software products, is certainly rare. Instead,
reasons have been formulated to justify why the adoption of the technique in industry
remains limited. Some of the reasons are:
• Steap learning curve; formal techniques are said to be hard to use.
• Lack of a step-by-step construction mechanism and poor guidance.
• Difficulty to integrate the technique into the existing software processes.
Z is, arguably, one of the successful formal specification techniques that was extended to
Object-Z to accommodate object-orientation. The Z notation is based on first-order logic
and a strongly typed fragment of Zermelo-Fraenkel set theory. Some attempts have been
made to couple Z with semi-formal notations such as UML. However, the case of coupling
Object-Z (and also Z) and the Use Case Maps (UCMs) notation is still to be explored.
A Use Case Map (UCM) is a scenario-based visual notation facilitating the requirements
definition of complex systems. A UCM may be generated either from a set of informal
requirements, or from use cases normally expressed in natural language. UCMs have the
potential to bring more clarity into the functional description of a system. It may furthermore
eliminate possible errors in the user requirements. But UCMs are not suitable to reason
formally about system behaviour.
In this dissertation, we aim to demonstrate that a UCM can be transformed into Z and
Object-Z, by providing a transformation framework. Through a case study, the impact of
using UCM as an intermediate step in the process of producing a Z and Object-Z specification
is explored. The aim is to improve on the constructivity of Z and Object-Z, provide more
guidance, and address the issue of integrating them into the existing Software Requirements
engineering process. / Computer Science / M. Sc. (Computer Science) / D. Phil. (Computer Science)
|
| 12 |
Bessere Kundenorientierung bei der Entwicklung physischer Produkte - Nutzung agiler Vorgehensweisen kombiniert mit Additiven FertigungsverfahrenBlattert, Philipp, Engeln, Werner 07 September 2021 (has links)
Viele Industrieunternehmen sind auf der Suche nach neuen Strategien für eine zukunftssichernde Produktentwicklung. Die Gründe dafür sind in den Herausforderungen zu suchen, die häufig in schnelle Änderungen von Kundenwünschen, der Verbreitung moderner Informations- und Kommunikationstechnologien, kürzeren Technologielebenszyklen, Forderungen nach ökologischer Nachhaltigkeit wie auch in der weiteren zunehmenden Vernetzung der Wirtschaft zu suchen. Die heutige Entwicklungsumgebung in Unternehmen, mit meist starren Abteilungsstrukturen, wenig Kommunikation mit den Kunden und zwischen den Abteilungen im Unternehmen sowie der Auslieferung eines auf einem einmal erstellen Lastenheft basierenden Produkten wird den Anforderungen nicht mehr gerecht. In diesem Zusammenhang rücken agile Vorgehensweisen gepaart mit additiven Fertigungsverfahren für physische Produkte in den Fokus der Entwicklung.
|
| 13 |
Gender Inequalities, International Organizations, and the Development of Human Rights Education in MalawiChinkondenji, Pempho D. 01 September 2017 (has links)
No description available.
|
| 14 |
Electronic data interchange : an implementation methodologyMeyer, Ettienne 11 1900 (has links)
The purpose of the research is to propose and evaluate a
methodology for implementing EDI to assist organisations in
reaping the anticipated benefits. The research involved the
systematic analysis of the state of the art of EDI and
paradigms of methodologies, to define a model for the EDI
implementation methodology, and to define criteria for
evaluating such a model. The methodology was developed and
modelled utilising the software process model, as adopted by
Boehm (1988) and later duPlessis and van der Walt (1992),
as a framework. Next a synthesis of the assimilated
knowledge and brainstorming of project teams involved in
EDI pilot projects, was used to systematically develop an EDI
implementation methodology. The methodology was evaluated
by utilising it in the implementation of EDI between two
organisations, Computer Equipment Brokers (PTY) and
Marksec (PTY). It was concluded that the methodology was
efficient for implementing EDI. / Computing / M. Sc. (Information Systems)
|
| 15 |
La transmission des normes internationales en droits de la personne et le développement démocratique au MexiqueArmijo Fortin, Alexandra 01 1900 (has links)
Quel est le pouvoir des normes internationales de droits humains ? Ces normes ont-elles un pouvoir politique? En s’appuyant sur le cas mexicain (entre 1988 et 2006), la thèse tente de répondre à trois questionnements. Le premier est lié à la trajectoire des normes: les défenseurs mexicains des droits humains cherchent-ils l’appui d’acteurs internationaux pour promouvoir les droits humains vis-à-vis leur gouvernement, tel que le suggère le modèle du boomerang ? Deuxièmement, il s’agit de comprendre l’impact du processus de diffusion des normes sur le respect des droits humains : les acteurs internationaux et nationaux qui défendent les droits humains parviennent-ils à influencer les décisions politiques gouvernementales, en matière de protection des droits humains ? Et finalement: ces groupes contribuent-ils à changer le cours du processus de démocratisation d’un État ?
Les résultats de la recherche permettent de tirer quelques conclusions. La thèse confirme dans un premier temps la théorie du boomerang de Keck et Sikkink (1998), puisque les pressions domestiques en matière de droits humains deviennent efficaces au moment où les acteurs domestiques gagnent l’appui des acteurs internationaux. En ce qui concerne l’impact de la diffusion des normes internationales des droits humains sur leur protection gouvernementale, il semble que le gouvernement mexicain entre 1988 et 2006 réagisse aux pressions des acteurs qui diffusent les normes de droits humains par la mise en place d’institutions et de lois et non par une protection effective de ces droits. Un deuxième type d’impact, lié à la diffusion des normes en droits humains, est observé sur le processus de démocratisation. La thèse montre que les acteurs qui diffusent les normes en droits humains jouent un rôle dans la mise en place de réformes électorales, tout en contribuant à une redéfinition plus démocratique des rapports de pouvoir entre la société civile et l’État. / What is the power of international human rights norms ? Do those norms have the capacity to change the political course of a State ? More precisely, can they contribute to a better human rights protection and the democratization of a State ? This thesis tackles these questions and tries to figure out how the international human rights norms are participating to the political evolution of a country. Examining the case of Mexico, this thesis seeks to provide answers to three main questions. The first one is related to the path followed by norms : are the domestic human rights groups bypassing their State to search out international allies to bring pressure on the government, as suggested by the boomerang model, or are they able to display effective pressure for human rights changes? This thesis also tries to understand the impact of human rights groups on human rights domestic changes : are the international and national human rights groups able to bring out domestic human rights changes ? Finally, the impact of human rights groups on democratization is examined : do international and national human rights groups play a role within the democratization of the mexican State ?
The analysis of data helps to draw the appropriate conclusions. First, the thesis argues that domestic human rights groups are using the boomerang effect, seeking international allies in Mexico to put effective pressure on their gouvernment. Indeed, the human rights domestic pressure became effective only when the international community started to get involved in the protection of human rights in Mexico. Secondly, it shows that international and national human rights groups have been efficient in encouraging the Mexican government to adopt human rights policies between 1988 and 2006. As the human rights sector expanded in Mexico, the government has put into place many reforms and institutions to promote human rights.
|
| 16 |
Electronic data interchange : an implementation methodologyMeyer, Ettienne 11 1900 (has links)
The purpose of the research is to propose and evaluate a
methodology for implementing EDI to assist organisations in
reaping the anticipated benefits. The research involved the
systematic analysis of the state of the art of EDI and
paradigms of methodologies, to define a model for the EDI
implementation methodology, and to define criteria for
evaluating such a model. The methodology was developed and
modelled utilising the software process model, as adopted by
Boehm (1988) and later duPlessis and van der Walt (1992),
as a framework. Next a synthesis of the assimilated
knowledge and brainstorming of project teams involved in
EDI pilot projects, was used to systematically develop an EDI
implementation methodology. The methodology was evaluated
by utilising it in the implementation of EDI between two
organisations, Computer Equipment Brokers (PTY) and
Marksec (PTY). It was concluded that the methodology was
efficient for implementing EDI. / Computing / M. Sc. (Information Systems)
|
| 17 |
La transmission des normes internationales en droits de la personne et le développement démocratique au MexiqueArmijo Fortin, Alexandra 01 1900 (has links)
No description available.
|
| 18 |
Development of high-performance algorithms for a new generation of versatile molecular descriptors. The Pentacle softwareDurán Alcaide, Ángel 04 March 2010 (has links)
The work of this thesis was focused on the development of high-performance algorithms for a new generation of molecular descriptors, with many advantages with respect to its predecessors, suitable for diverse applications in the field of drug design, as well as its implementation in commercial grade scientific software (Pentacle). As a first step, we developed a new algorithm (AMANDA) for discretizing molecular interaction fields which allows extracting from them the most interesting regions in an efficient way. This algorithm was incorporated into a new generation of alignmentindependent molecular descriptors, named GRIND-2. The computing speed and efficiency of the new algorithm allow the application of these descriptors in virtual screening. In addition, we developed a new alignment-independent encoding algorithm (CLACC) producing quantitative structure-activity relationship models which have better predictive ability and are easier to interpret than those obtained with other methods. / El trabajo que se presenta en esta tesis se ha centrado en el desarrollo de algoritmos de altas prestaciones para la obtención de una nueva generación de descriptores moleculares, con numerosas ventajas con respecto a sus predecesores, adecuados para diversas aplicaciones en el área del diseño de fármacos, y en su implementación en un programa científico de calidad comercial (Pentacle). Inicialmente se desarrolló un nuevo algoritmo de discretización de campos de interacción molecular (AMANDA) que permite extraer eficientemente las regiones de máximo interés. Este algoritmo fue incorporado en una nueva generación de descriptores moleculares independientes del alineamiento, denominados GRIND-2. La rapidez y eficiencia del nuevo algoritmo permitieron aplicar estos descriptores en cribados virtuales. Por último, se puso a punto un nuevo algoritmo de codificación independiente de alineamiento (CLACC) que permite obtener modelos cuantitativos de relación estructura-actividad con mejor capacidad predictiva y mucho más fáciles de interpretar que los obtenidos con otros métodos.
|
Page generated in 0.0561 seconds