The maintenance of legacy software systems that were developed using a procedural design approach is becoming increasingly expensive. The procedural approach is often ill suited for complex systems that need to integrate with other codes. Furthermore, these legacy systems are usually written in FORTRAN, for which there is increasingly less personnel available compared to, say, C++. While it would be desirable to convert these legacy systems into object-oriented codes described in C++, such a conversion process is nontrivial. Currently, the structural design must be manually examined, interpreted, and converted into an object-oriented design described in an object-oriented language. Therefore, the conversion process is likely to introduce numerous new inconsistencies and errors, which degrades the software's quality and increases its costs. The preferred solution would be to automate this conversion process. Automation would promote consistency by eliminating the manual variations in interpretation and implementation. It would therefore maximize the likelihood that the converted code does not introduce new errors relative to the original code. The work presented here automates the conversion process from procedural design described in the FORTRAN77 language into object-oriented design described in the C++ language. It demonstrates the extraction of object-oriented elements using FORTRAN common block structures and FORTRAN subroutine and function-calling hierarchies. The result is a consistent, first-cut converted design, which enhances cohesion within classes and reduces coupling between classes. This result is described in the contemporary, broadly used computer language C++, which integrates with adjacent modules that might still remain procedural and described in FORTRAN. / Master of Science

No description available.

Mémoire numérisé par la Direction des bibliothèques de l'Université de Montréal. / Ce mémoire a pour but d'exposer les différents enjeux liés à la cyberhaine et à sa réglementation. Y sont abordés les contextes juridique et réglementaire relatifs à la propagande haineuse tels que balisés par le Code criminel canadien et qui interfèrent avec le cloisonnement de ce type de contenu offensant. À cette conjoncture législative qui se pose comme un frein au contrôle de la cyberhaine s'ajoutent les caractéristiques techniques spécifiques au réseau, inventoriées subséquemment. Les méthodes de régulation prometteuses ainsi que les marges de manœuvre laissées aux différents acteurs-clés habilités à exercer un contrôle sur la cyberhaine sont également énoncées. Au terme de cette revue de littérature qui dresse le portrait des contextes juridique et technique propres à la cyberhaine et à la problématique de sa régulation, l'étude de cas exhaustive d'une ONG anti-haineuse canadienne établie sur le Net, le Projet Nizkor, est menée à bien. Le Projet Nizkor exerce une lutte contre la propagande haineuse de type révisionniste à l'égard de l'Holocauste. L'apport original de cette étude de cas réside en: • l' examen de la structure du site Web du Nizkor et de son contenu ; • une analyse thématique d'un de ses plus importants documents éducatifs et • les données d'une enquête en ligne effectuée sur le site comme tel auprès de 97 répondants. Les résultats tirés de ces trois instruments de mesure concluent à la validité de l'activisme anti-raciste sur le Net en tant que méthode nouvelle pour l'apprentissage critique, l'information et la sensibilisation à des enjeux d'intérêt public comme la propagande haineuse. Au-delà de la contribution méthodologique de ce travail, l'étude de cas sert de piste sur la façon dont les attributs spécifiques au média Internet comme l'interactivité et l'hypertextualisation peuvent être employés dans le cadre d'une éducation critique en ligne. Faisant écho à la théorie habermassienne critique des médias classiques, l'étude de cas du Nizkor s'apparente ainsi à un audit communicationnel appliqué à un site Internet et peut servir à la fois d'outil d'évaluation et de mode de comparaison entre les médias classiques et les médias électroniques.

This thesis investigates the capabilities of two advanced Large Language Models(LLMs) OpenAI’s ChatGPT-4 and Google’s Gemini Advanced in the domain ofSoftware engineering. While LLMs are widely utilized across various applications,including text summarization and synthesis, their potential for detecting and correct-ing programming errors has not been thoroughly explored. This study aims to fill thisgap by conducting a comprehensive literature search and experimental comparisonof ChatGPT-4 and Gemini Advanced using the QuixBugs and LeetCode benchmarkdatasets, with specific focus on Python and Java programming languages. The re-search evaluates the models’ abilities to detect and correct bugs using metrics suchas Accuracy, Recall, Precision, and F1-score.Experimental results presets that ChatGPT-4 consistently outperforms GeminiAdvanced in both the detection and correction of bugs. These findings provide valu-able insights that could guide further research in the field of LLMs.

ITC/USA 2005 Conference Proceedings / The Forty-First Annual International Telemetering Conference and Technical Exhibition / October 24-27, 2005 / Riviera Hotel & Convention Center, Las Vegas, Nevada / The GPS receiver based on software radio technology is a kind of general purpose GPS signal processing platform which makes use of advanced design ideas and advanced design tools nowadays. We used FPGA device and lots of necessary peripherals such as DSP and PCI controller in our design to promote flexibility and practicability effectively. Various fast acquisition means and accurate tracking algorithms could be realized, improved and validated on this platform, besides basic GPS receiver function.

Bakgrund och problemdiskussion: Att ta ett hållbarhetsansvar blir allt viktigare för företag. Dagens konsumenter blir allt mer medvetna om den negativa påverkan deras konsumtion ger upphov till. Därmed ställs högre krav på företagen att ta ansvar genom hela försörjningskedjan. Ett verktyg för detta är Code of Conduct. Apoteken verkar inom läkemedelsbranschen, en bransch som karaktäriseras av komplexa försörjningskedjor. Då antalet apoteksaktörer sedan omregleringen år 2009 har ökat, ställer vi oss därmed frågan hur svenska apoteks arbete med Code of Conduct riktat mot leverantörer skiljer sig åt.    Syfte: Syftet med studien är att belysa Code of Conduct mot leverantören ur ett företagsperspektiv. Fokus kommer ligga på att analysera de tre utvalda apotekens arbete med Code of Conduct, gentemot den teoretiska referensramen samt apoteken sinsemellan. Innehållsmässiga skillnader i deras skriftliga Code of Conduct, drivkrafter och hur de arbetar med efterlevnad, är utvalda områden som kommer att studeras. Metod: Studien är en flerfallsstudie av kvalitativ art som antar ett positivistiskt synsätt. Forskningsansatsen är deduktiv med en teoretisk referensram som utgångspunkt till det empiriska materialet. Vidare har det empiriska materialet analyserat med hjälp av mönsterjämförelse. Slutsats: Studien har identifierat att det finns stora likheter i hur de tre utvalda apoteken arbetar med Code of Conduct. Innehållsmässigt är apotekens Code of Conduct i grunden relativt lika, men skiljer sig åt i detaljrikedom. Vad gäller drivkrafterna bakom varför apoteken arbetar med Code of Conduct, är det svårt att identifiera en gemensam anledning. Slutligen har identifierats att samtliga tre apotek arbetar snarlikt med efterlevnad, där de vanligaste tillvägagångssätten är audits och dokumentation.

The goal of this thesis is to create a tool for an optimization of code for the task-based parallel framework called Bobox. The optimizer tool reduces a number of short and long running tasks based on a static code analysis. Some cases of short-running tasks cause an unnecessary scheduling overhead. The Bobox scheduler can schedule a task even though the task does not have all input data. Unless, the scheduler has enough information not to schedule such task. In order to remove such short-running task, the tool analyses its input usage and informs the scheduler. Long-running tasks inhibit a parallel execution in some cases. A bigger task granularity can significantly improve execution times in a parallel environment. In order to remove a long-running task, the tool has to be able to evaluate a runtime code complexity and yield a task execution in the appropriate place. Powered by TCPDF (www.tcpdf.org)

Dans de nombreux domaines tels que l’avionique, la médecine ou la domotique, les applications logicielles jouent un rôle de plus en plus important, allant jusqu’à être critique pour leur environnement. Afin de pouvoir faire confiance à ces applications, leur développement est contraint par des exigences de sûreté de fonctionnement. En effet il est nécessaire de démontrer que ces exigences de haut-niveau sont prises en compte tout au long du cycle de développement et que des solutions concrètessont mises en œuvre pour parvenir à les respecter. De telles contraintes rendent le développement d’applications sûres de fonctionnement particulièrement complexe et difficile. Faciliter ce processus appelle à la recherche de nouvelles approches dedéveloppement qui intègrent des concepts de sûreté de fonctionnement et guident les développeurs lors de chacune des étapesnécessaires à la production d’une nouvelle application digne de confiance.Cette thèse propose ainsi de s’appuyer sur une approche dirigée par la conception pour guider le développement des applications sûres de fonctionnement. Cette approche est concrétisée à travers une suite d’outils nommée DiaSuite et offre du support dédié à chaque étape du développement. En particulier, un langage de conception permet de décrire à la fois les aspects fonctionnels et non-fonctionnels des applications en se basant sur un paradigme dédié et en intégrant des concepts de sûreté de fonctionnement tels que le traitement des erreurs. A partir de la description d’une application, du support est généré pour guider les phases d’implémentation et de vérification. En effet, la génération d’un framework de programmation dédié permet de guider l’implémentation tandis que la génération d’un modèle formel permet de guider la vérification statique de l’application et qu’un support de simulation permet de faciliter les tests. Cette approche est évaluée grâce à des cas d’études réalisés dans les domaines de l’avionique et de l’informatique ubiquitaire. / In many domains such as avionics, medecine or home automation, software applications play an increasingly important rolethat can even be critical for their environment. In order to trust these applications, their development is contrained by dependability requirements. Indeed, it is necessary to demonstrate that these high-level requirements are taken into account throughout the development cycle and concrete solutions are implemented to achieve compliance. Such constraints make the development of dependable applications particularly complex and difficult. Easing this process calls for the research of new development approaches that integrate dependability concepts and guide the developers during each step of the development of trustworthy applications.This thesis proposes to leverage a design-driven approach to guide the development of dependable applications. This approachis materialized through a tool-suite called DiaSuite and offers dedicated support for each stage of the development. Inparticular, a design language is used to describe both functional and non-functional applications. This language is based on adedicated paradigm and integrates dependability concepts such as error handling. From the description of an application, development support is generated to guide the implementation and verification stages. Indeed, the generation of a dedicated programming framework allows to guide the implementation while the generation of a formal model allows to guide the static verification and simulation support eases the testing. This approach is evaluated through case studies conducted in the domains of avionics and pervasive computing.

La codification, qui a plus de 4000 ans d’histoire, vise à assurer la sécurité juridique tout en exigeant une forte volonté politique. Il s’agit d’une technique juridique qui a connu plusieurs âges d’or, et également des périodes moins propices, voire de régression. Elle découle de multiples enjeux techniques, sociaux et politiques. On distingue de nombreux types de codification. Ils mobilisent deux principales méthodes, la codification-modification et la codification-compilation. Les acteurs de la codification, ses étapes ainsi que la composition du code sont des processus importants pour caractériser la technique mobilisée. Cette recherche présente l’expérience française en la matière. Son ambition est de fournir un cadre de référence au législateur vietnamien en vue d’améliorer le système juridique de ce pays. / Codification is a more than 4000-year old process aiming to assure juridical security while requiring strong political back-up. This judicial technique has been through several golden ages as well as periods of less favorable development. Codification has produced numerous technical, social and political outcomes through a large number of different approaches. Codification-modification and codification-compilation are two major methods in codification. Techniques also differ in relation to stakeholders involved, stages in codification as well as code structure. This research is an analysis of France’s experience in those fields. It aims to produce a reference framework to lawmakers in Vietnam in view of improving the national legal framework.

Les systèmes distribués sont au cœur de nombreuses applications modernes (réseaux sociaux, services web, etc.). Cependant, les développeurs sont confrontés à de nombreux défis dans l’implémentation des systèmes distribués, notamment les comportements erronés à éviter et qui sont causées par la concurrence entre les entités de ce système. La génération automatique de code à partir des exigences des systèmes distribués reste un vieux rêve. Dans cette thèse, nous considérons la génération automatique d'un squelette de code portant sur les interactions entre les différentes entités d'un système distribué. Cela nous permet d'éviter les comportements erronés causés par la concurrence. Ensuite, ce squelette peut être complété par l'ajout et le débogage du code qui décrit les actions locales qui se passent sur chaque entité indépendamment de ses interactions avec les autres entités. / Distributed systems lie at the heart of many modern applications (social networks, web services, etc.). However, developers face many challenges in implementing distributed systems. The major one we focus on is avoiding the erroneous behaviors, that do not appear in the requirements of the distributed system, and that are caused by the concurrency between the entities of this system. The automatic code generation from requirements of distributed systems remains an old dream. In this thesis, we consider the automatic generation of a skeleton of code covering the interactions between the entities of a distributed system. This allows us to avoid the erroneous behaviors caused by the concurrency. Then, in a later step, this skeleton can be completed by adding and debugging the code that describes the local actions happening on each entity independently from its interactions with the other entities. The automatic generation that we consider is from a scenario-based specification that formally describes the interactions within informal requirements of a distributed system. We choose High-level Message Sequence Charts (HMSCs for short) as a scenario-based specification for the many advantages that they present: namely the clear graphical and textual representations, and the formal semantics. The code generation from HMSCs requires an intermediate step, called “Synthesis” which is their transformation into an abstract machine model that describes the local views of the interactions by each entity (A machine representing an entity defines sequences of messages sending and reception). Then, from the abstract machine model, the skeleton’s code generation becomes an easy task. A very intuitive abstract machine model for the synthesis of HMSCs is the Communicating Finite State Machine (CFSMs). However, the synthesis from HMSCs into CFSMs may produce programs with more behaviors than described in the specifications in general. We thus restrict then our specifications to a sub-class of HMSCs named "local HMSC". We show that for any local HMSC, behaviors can be preserved by addition of communication controllers that intercept messages to add stamping information before resending them. We then propose a new technique that we named "localization" to transform an arbitrary HMSC specification into a local HMSC, hence allowing correct synthesis. We show that this transformation can be automated as a constraint optimization problem. The impact of modifications brought to the original specification can be minimized with respect to a cost function. Finally, we have implemented the synthesis and the localization approaches into an existing tool named SOFAT. We have, in addition, implemented to SOFAT the automatic code generation of a Promela code and a JAVA code for REST based web services from HMSCs.