Siga este enlace para ver otros tipos de publicaciones sobre el tema: JavaFX.

Tesis sobre el tema "JavaFX"

Crea una cita precisa en los estilos APA, MLA, Chicago, Harvard y otros

Elija tipo de fuente:

Consulte los 50 mejores tesis para su investigación sobre el tema "JavaFX".

Junto a cada fuente en la lista de referencias hay un botón "Agregar a la bibliografía". Pulsa este botón, y generaremos automáticamente la referencia bibliográfica para la obra elegida en el estilo de cita que necesites: APA, MLA, Harvard, Vancouver, Chicago, etc.

También puede descargar el texto completo de la publicación académica en formato pdf y leer en línea su resumen siempre que esté disponible en los metadatos.

Explore tesis sobre una amplia variedad de disciplinas y organice su bibliografía correctamente.

1

Fratta, Luca. "La Piattaforma JavaFX". Bachelor's thesis, Alma Mater Studiorum - Università di Bologna, 2010. http://amslaurea.unibo.it/1179/.

Texto completo
Los estilos APA, Harvard, Vancouver, ISO, etc.
2

Khodabandehloo, Elmira. "JavaFX Scene Graph Object Serialization". Thesis, KTH, Radio Systems Laboratory (RS Lab), 2013. http://urn.kb.se/resolve?urn=urn:nbn:se:kth:diva-131221.

Texto completo
Resumen
Data visualization is used in order to analyze and perceive patterns in data. One of the use cases of visualization is to graphically represent and compare simulation results. At Ericsson Research, a visualization platform, based on JavaFX 2 is used to visualize simulation results. Three configuration files are required in order to create an application based on the visualization tool: XML, FXML, and CSS. The current problem is that, in order to set up a visualization application, the three configuration files must be written by hand which is a very tedious task. The purpose of this study is to reduce the amount of work which is required to construct a visualization application by providing a serialization function which makes it possible to save the layout (FXML) of the application at run-time based solely on the scene graph. In this master’s thesis, possible frameworks that might ease the implementation of a generic FXML serialization have been investigated and the most promising alternative according to a number of evaluation metrics has been identified. Then, using a design science research method, an algorithm is proposed which is capable of generic object/bean serialization to FXML based on a number of features or requirements. Finally, the implementation results are evaluated through a set of test cases. The evaluation is composed of an analysis of the serialization results & tests and a comparison of the expected result and the actual results using unit testing and test coverage measurements. Evaluation results for each serialization function show that the results of the serialization are similar to the original files and hence the proposed algorithm provides the desired serialization functionality for the specific features of FXML needed for this platform, provided that the tests considered every aspect of the serialization functionality.
Datavisualisering används för att analysera och uppfatta mönster i data. Ett användningsfall för visualisering är att grafiskt representera och jämföra simuleringsresultat. På Ericsson Research har en visualiseringplattform för att visualisera simuleringsresultat utvecklats som baserats på JavaFX 2. Tre konfigurationsfiler krävs för att skapa en applikation baserad på denna visualiseringsplattform: XML, FXML och CSS. Det nuvarande problemet är att för att utveckla en ny applikation så måste de tre konfigurationsfilerna skrivas för hand vilket är kräver mycket utvecklingstid. Syftet med denna studie är att minska mängden arbete som krävs för att konstruera en visualiseringapplikation genom att tillhandahålla en serialiseringsfunktion som gör det möjligt att spara applikationens layout till en FXML-fil medan programmet exekverar enbart genom att extrahera information ur det grafiska gränsnittets scengraf. I detta examensarbete har ett antal mjukvarubibliotek eller API: er som kan underlätta utvecklandet av en generisk FXML serialiseringsfunktion analyserats och de mest lovande alternativen enligt ett antal utvärderingsmetriker har identifierats. Med hjälp av en iterativ, design-orienterad forskningsmetod har en algoritm designats som är kapabel till att serialisera generiska Java-objekt, eller Java-bönor till FXML. Den föreslagna algoritmen har sedan utvärderats genom automatiserade mjukvarutester. Utvärderingen består av: analys av serialiseringsresultat, design av testfall, samt jämförelse av förväntade resultat och de faktiska resultaten med hjälp av enhetstest och uppmätt kodtäckning. Utvärderingen visar att serialiseringsalgoritmen ger resultat som motsvarar de ursprungliga FXML-filerna som utformats för att verifiera olika delar av FXML standarden. Därmed anses den föreslagna serialiseringsalgoritmen uppfylla de delar av FXML-specifikationen som kravställts och beaktats i detta examensarbete.
Los estilos APA, Harvard, Vancouver, ISO, etc.
3

Piras, Stefania. "JavaFX e le applicazioni Web". Bachelor's thesis, Alma Mater Studiorum - Università di Bologna, 2011. http://amslaurea.unibo.it/2406/.

Texto completo
Los estilos APA, Harvard, Vancouver, ISO, etc.
4

Alkhars, Abeer y Wasan Mahmoud. "Cross-Platform Desktop Development (JavaFX vs. Electron)". Thesis, Linnéuniversitetet, Institutionen för datavetenskap (DV), 2017. http://urn.kb.se/resolve?urn=urn:nbn:se:lnu:diva-61313.

Texto completo
Resumen
Today, there are many technologies available for developing cross-platform desktop apps. JavaFX is a software platform based on the Java language. It has a set of features that play a role in its success. On the other hand, Electron is a new framework that allows developers to employ web technologies (JavaScript, HTML, and CSS) to create cross-platform desktop applications. This thesis describes and compares between these two frameworks. The purpose of this report is to provide guidance in choosing the right technique for a particular cross-platform desktop application. Simple cross-platform desktop applications have been developed to compare both approaches as well as find the advantages and disadvantages. The results show that both apps satisfied the functional and nonfunctional requirements. Each framework architecture has its own advantage in building particular apps. Both frameworks have rich APIs as well as rich GUI components for building desktop apps. Electron has good documentation and community help, but it cannot be compared to JavaFX. The Electron app gives faster execution time and less memory usage than JavaFX app. However, the implementation of OOP concepts in Electron using JavaScript has some concerns in terms of encapsulation and inheritance.
Los estilos APA, Harvard, Vancouver, ISO, etc.
5

Örnberg, Dennis. "Comparison and implementation of graph visualization algorithms using JavaFX". Thesis, Linköpings universitet, Databas och informationsteknik, 2016. http://urn.kb.se/resolve?urn=urn:nbn:se:liu:diva-133071.

Texto completo
Resumen
Graph drawing is an important area in computer science and it has many different application areas. For example, graphs can be used to visualize structures like networks and databases. When the graphs are really big, however, it becomes difficult to draw them so that the user can get a good overview of the whole graph and all of its data. There exist a number of different algorithms that can be used to draw graphs, but they have a lot of differences. The goal of this report was to find an algorithm that produces graphs of satisfying quality in little time for the purpose of ontology engineering, and implement it using a platform that visualizes the graph using JavaFX. It is supposed to work on a visualization table with a touch display. A list of criteria for both the algorithm and the application was made to ensure that the final result would be satisfactory. A comparison between four well-known graph visualization algorithms was made and “GEM” was found to be the best suited algorithm for visualizing big graphs. The two platforms Gephi and Prefux were introduced and compared to each other, and the decision was made to implement the algorithm in Prefux since it has support for JavaFX. The algorithm was implemented and evaluated, it was found to produce visually pleasing graphs within a reasonable time frame. A modified version of the algorithm called GEM-2 was also introduced, implemented and evaluated. With GEM-2, the user can pick a specific number of levels to be expanded at first, additional levels can then be expanded by hand. This greatly improves the performance when there is no need to expand the whole graph at once, however, it also increases the amount of edge crossings which makes the graph less visually pleasing.
Los estilos APA, Harvard, Vancouver, ISO, etc.
6

Maltoni, Niccolò. "Progettazione object-oriented di un'interfaccia grafica JavaFX per il simulatore Alchemist". Bachelor's thesis, Alma Mater Studiorum - Università di Bologna, 2017. http://amslaurea.unibo.it/14682/.

Texto completo
Resumen
Lo scopo di questa tesi è la progettazione e la successiva implementazione di un'interfaccia grafica 2D per il simulatore Alchemist. La nuova interfaccia permette di interagire con la simulazione a tempo di esecuzione e di vedere chiaramente rappresentate informazioni su di essa. In particolare, è supportata una struttura modulare di effetti che rende facilmente osservabili determinate entità del sistema ed eventuali loro proprietà: rispetto alla classe di effetti dell'interfaccia classica, la nuova tipologia di effetti non è più una funzione dal singolo nodo alla rappresentazione grafica, bensì fa riferimento all'intero ambiente, permettendo di costruire rendering complessi facilmente esportabili tramite file JSON. Si è scelto di mantenere un'interfaccia il più possibile user-friendly, mantenendo un design più simile ai simulatori a scopo videoludico per favorire l'utilizzo da parte di utenti inesperti. Lo stile estetico al quale si è deciso di allinearsi è il Material Design di Google e la libreria grafica utilizzata per l'implementazione è stata JavaFX.
Los estilos APA, Harvard, Vancouver, ISO, etc.
7

Ramadan, Jemal Saleh y Niclas Södermark. "Development of an Electronic Medical Record System". Thesis, KTH, Skolan för informations- och kommunikationsteknik (ICT), 2014. http://urn.kb.se/resolve?urn=urn:nbn:se:kth:diva-177008.

Texto completo
Resumen
Sofiaängen (http://sofiaangen.com/) är en psykoterapeutisk dagverksamhet och skola som ligger på Södermalm i Stockholm. Sofiaängen riktar sig till ungdomar i åldern 14 till 20 med psykiska och sociala problem. Det nuvarande systemet som används av Sofiaängen för att hantera patientjournaler är i form av textfiler placerade i en delad mapp på en Mac-server, vilketvarken är strukturerat, effektivt eller flexibelt. Syftet med detta examensarbete har därför varit att hitta det bästa sättet att implementera ett journalsystem för patientjournaler på, samt att utforma, utveckla och driftsätta den valda lösningen. Arbetet delades in i fyra olika faser. Under den första fasen genomfördes en förstudie där möjliga implementeringar (fristående eller webbaserad) studerades och resultatet överlämnades till beställaren som fick välja den mest lämpliga lösningen. De tre övriga faserna var att utforma, genomföra (och testa) och distribuera den valda lösningen, samt att skriva en användarmanual. Den valda lösningen, att skapa systemet som ett fristående program, implementerades med JavaFX:s plattform och MySQL:s databas-server. Vi använde en iterativ arbetsprocess för att stegvis utveckla de funktionella kraven. Detta för att kunna utvärdera vårt arbete tidigt, utifrån feedback på utvecklingen från beställaren, innan nästa uppsättning krav genomfördes. Examensarbetet har resulterat iett journalsystem som uppfyller alla krav på funktionalitet och design av användargränssnittet som krävdes av Sofiaängen.
Sofiaängen (http://sofiaangen.com/)is a psychotherapeutic day activities center and school located in Södermalm in Stockholm. Sofiaängen targets young peo-ple between the age of 14 and 20 and who have psychological orsocial prob-lems. The current system used by Sofiaängen for handling patient medical records is a Microsoft word file-system on a Mac server, which is neitherefficient norflex-ible. The objective of this bachelor thesis has therefore been to find the best way of implementing an EMRS as well asdesigning, developingand deployingthe selected solution. The work was divided into four different phases. The first phase was conduct-ing feasibility study where possible implementations (standalone and web based) were studied. The result was submitted to Sofiaängen so they couldmake a selection.   The second,third and fourth phases were respectively de-signing, implementing (and testing) and deploying the selected solution. The selected solution was to implement the system as a standalone application. The system was implemented using the JavaFX platform andaMySQL data-base server. We used an iterative software developmentmodel in order to implement the functional requirements incrementally andin doing so we were able to evaluate our work early, before the next set of requirements were implemented after get-tingfeedback on the development from Sofiaängen. The Degree project has resulted in an EMRS which fulfills all of the functional and look-and-feel requirements required by Sofiaängen.
Los estilos APA, Harvard, Vancouver, ISO, etc.
8

Nilsson, Michael. "Konfigurationsverktyg för SIA". Thesis, Örebro universitet, Institutionen för naturvetenskap och teknik, 2016. http://urn.kb.se/resolve?urn=urn:nbn:se:oru:diva-51597.

Texto completo
Resumen
Denna rapport redogör för utvecklingen av en applikation som används för att konfigurera integrationer som används av av Sigma Integration Architecture (SIA). Applikationen är riktad till Sigma-personal som inte är vana vid denna integrationsarkitektur, då den tillhandlahåller användaren med en rad olika hjälp-element för att underlätta konfigurationensprocessen och sänka tröskeln för att kunna skapa och redigera integrationer. Genom att använda Javas reflection API i kombination med dynamic proxies, kan applikationen utföra validering och simulering av integrationer innan de används i produktion. Vi innefattar även cache-metod för att snappa upp processen, och påvisar även testverifikation av cache-processen. Applikationen är utvecklad som två separata delar, bestående av en back end skriven i Java, och en webbaserad front end skapad med AngularJS.
This report describes the development of an application used to configure integrations used by Sigma Integration Architecture (SIA). The application is aimed towards Sigma personnel unfamiliar with the integration architecture, as it provides the user with various help elements in an effort to ease the configuration process and lower the entry barrier for creating and editing integrations. Using Java's reflection API in combination with dynamic proxies, the application is able to perform validation and simulation of integration pipelines before they are used for production. We also include a cache mechanism to speed up the process, and provide experimental verification of caching performance. The application is developed as two separate parts, consisting of a back end written in Java, and a web-based front end created with AngularJS.
Los estilos APA, Harvard, Vancouver, ISO, etc.
9

Wilhelmsson, Jonas. "Rich Internet Application Platforms : En utvärderingsstudie av Adobe Flex, JavaFX och HTML5". Thesis, Linköpings universitet, Institutionen för datavetenskap, 2011. http://urn.kb.se/resolve?urn=urn:nbn:se:liu:diva-73281.

Texto completo
Resumen
Vi lever idag i en värld där sprickan mellan vad som går att skapa med en desktopapplikation och vad som är möjligt att implementera på en webbsida har blivit mindre än någonsin. För tio år sedan var det inte möjligt att skapa avancerade affärssystem på en webbklient, men i och med att tekniker har utvecklats och nya språk har skapats har även nya möjligheter öppnats framför våra ögon. Frågan är var gränsen går? Vad kan vi egentligen skapa med de webbramverk som finns tillgängliga idag. Det är en av frågorna denna rapport ska svara på. Idag finns det en stor mängd ramverk för att utveckla så kallade Rich Internet Applications, komplexa och dynamiska program som körs direkt från webbläsaren. Dessa har alla olika styrkor och svagheter som är mycket svåra att känna till om man inte studerar ramverken noggrant. I denna rapport beskrivs ramverken Adobe Flex, JavaFX och HTML5. Läsaren kommer få en tydlig bild av hur ramverken kom till, vad de bygger på för tekniker, hur koden ser ut för dem olika samt vad de använder för tekniker för att kommunicera med applikationer skrivna i andra språk. Rapporten kommer även klargöra vilka tekniker de stödjer för att skapa ett snyggt och anpassningsbart grafiskt gränssnitt, hur komponentstödet är utformat och huruvida man kan skapa modulära program med ramverken. Detta kommer utmynna i en analys där ramverkens för- och nackdelar sammanställs vilket slutligen ligger till grund för att jämföra dem med varandra och avgöra vilket ramverk som är bäst anpassat för att skapa omfattande desktopliknande applikationer på webben.
Los estilos APA, Harvard, Vancouver, ISO, etc.
10

Mihajlovic, Vuksa. "Sviluppo di interfacce grafiche moderne in Kotlin e JavaFX: evoluzione della UI del simulatore Alchemist". Bachelor's thesis, Alma Mater Studiorum - Università di Bologna, 2020. http://amslaurea.unibo.it/21648/.

Texto completo
Resumen
L'obiettivo di questa tesi consiste nell'analizzare il design delle interfacce moderne per software desktop, osservando le metodologie adottabili per raggiungere buoni livelli di user experience e di usability per quanto riguarda la funzionalità dell'interfaccia. Si vogliono considerare le miglior pratiche di sviluppo sia in un contesto generale sia nel contesto particolare delle UI grafiche, con particolare attenzione all'approccio proposto dai linguaggi di programmazione moderni, che si avvicina sempre più al misto funzionale-OOP anzichè rimanere rigidamente object-oriented. Il software su cui si è incentrato il lavoro svolto è il simulatore Alchemist. Il contributo apportato consiste in funzionalità che permettono all'utente della UI di interagire con la simulazione attraverso mouse e tastiera. Si vuole anche dare importanza al linguaggio di programmazione utilizzato durante lo sviluppo, Kotlin, indicandone i punti di forza che lo rendono un linguaggio più espressivo e meno macchinoso rispetto al linguaggio usato precedentemente per contribuire allo sviluppo del simulatore, Java.
Los estilos APA, Harvard, Vancouver, ISO, etc.
11

Миколюк, Юрій Миронович. "Розробка інформаційно-електронної системи для контролю відвідуваності та успішності студентів «iJournal» на основі технології JavaFX". Master's thesis, ТНТУ ім. І Пулюя, 2019. http://elartu.tntu.edu.ua/handle/lib/30667.

Texto completo
Resumen
Магістерська робота містить 138 сторінок, 17 таблиць, 37 рисунків, список використаної літератури з 30 найменувань, 3 додатків. Українська система освіти реорганізовується та показує досить хороші успіхи. Але, на сьогодні, є багато освітянських аспектів, які потребують покращення. В основному це стосується того, що учні/студенти не володіють достатньою інформацією про власну успішність та свій рейтинг, що знижує мотивацією до навчання, яка необхідна для кращого засвоєння навчального матеріалу. Викладачі та вчителі в сучасній системі освіти витрачають багато часу на заповнення різноманітних паперових документів, зокрема журналів, замість того, щоб більше часу приділяти процесу навчання. Поточна оцінка в журналі є важливим фактором успішності учня/студента. Підсумкова/модульна оцінка в освітніх закладах розглядається як істотний фактор прогнозу успішності знань у рамках річної/семестрової оцінки по предмету/дисципліні. Саме тому систематичне виставлення оцінок у журнали необхідно, але робота із паперовими носіями потребує набагато більше часу ніж ведення електронного журналу. Тому, впровадження електронного журналу обліку успішності та відвідуваності учнів/студентів дозволить покращити якість освітянських послуг та змінімізує корупційну складову в освіті. Ключові слова: ОБ’ЄКТНО-ОРІЄНТОВАНА МОВА ПРОГРАМУВАННЯ, JAVA, JAVAFX, ECLIPSE, SQLITE, ЕЛЕКТРОННИЙ ЖУРНАЛ.
Los estilos APA, Harvard, Vancouver, ISO, etc.
12

Gessi, Luca. "Sviluppo di una piattaforma software per acquisizione dati da un sistema di misura di impedenze". Bachelor's thesis, Alma Mater Studiorum - Università di Bologna, 2015. http://amslaurea.unibo.it/8997/.

Texto completo
Resumen
Il progetto è il proseguimento di una tesi di laurea1 in cui si è studiato un metodo di analisi della salute della pelle non invasivo. A tale scopo si è approfondito il tema della spettroscopia d'impedenza ed è stato realizzato un sistema per la loro misura. Questo sistema prevede l'utilizzo di una parte analogica formata da un generatore di segnale sinusoidale a frequenza variabile e la circuiteria per estrarre i valori efficaci di tensione e corrente e il valore di fase. La parte digitale, invece, condiziona il segnale del blocco analogico agendo su trimmer digitali, acquisisce i dati e li trasmette tramite la UART. Lo strumento effettuava le misurazioni ed inviava continuamente i dati grezzi al computer, tramite un convertitore UART/USB, risultando poco versatile. L'obiettivo del progetto è realizzare una piattaforma software che comunichi con l'hardware, permettendo la configurazione dello strumento e la manipolazione dei dati grezzi ricevuti, svincolando quindi l'utente dai problemi di basso livello. Si è studiato un protocollo di comunicazione che permette la trasmissione di maggiore informazione e sono stati scelti dei comandi mnemonici che lo strumento possa facilmente interpretare. Il progetto prevede quindi una prima fase di modifica del vecchio firmware, in modo che il microcontrollore possa leggere e comprendere i dati ricevuti tramite la UART. Nella seconda fase si è sviluppato il software utilizzando il linguaggio di programmazione Java. Lo sviluppo comprende lo studio delle librerie grafiche offerte da JavaFX (soprattutto per la rappresentazione dei dati grezzi in grafici a due assi), di un metodo di gestione e salvataggio su disco delle impostazioni del sistema, della comunicazione seriale e infine del sistema software nella sua completezza. Alcune prove sperimentali sono infine state svolte per verificare la funzionalità dei due sistemi, firmware e software.
Los estilos APA, Harvard, Vancouver, ISO, etc.
13

Jansson, Martin y Simon Petersson. "Object detection and single-board computers : En förstudie gjord på Saab AB". Thesis, Linnéuniversitetet, Institutionen för datavetenskap och medieteknik (DM), 2018. http://urn.kb.se/resolve?urn=urn:nbn:se:lnu:diva-75981.

Texto completo
Resumen
Saab använder sig i nuläget av ett utdaterat system för att utföra tester av deras produkter. Systemet filmar ur olika vinklar och sammanfogar videoströmmarna till en slutgiltig video, där de sedan kan analysera resultatet av produkten. Enkortsdatorer är något som på senare år har blivit mer och mer populärt, Saab vill därför undersöka om det går att ersätta det äldre systemet med enkortsdatorer och kameror.Det ska undersökas om enkortsdatorn BeagleBoard klarar av att köra objektidentifiering samtidigt som den filmar och utför operationer som videosynkning, videokodning samt sparar den synkade filmen.Undersökningen visade att BeagleBoardens processor inte är tillräckligt kraftfull för att klara av objektidentifieringen utan hårdvarustöd. Istället behöver det utföras av en dator som bearbetar filmen i efterhand och plockar ut objekt. Det har förslagits en bättre metod för att göra objektidentifieringen smartare och lärande som kommer fungera bättre i Saabs fall.
Saab is currently using an old and complex system to perform tests of their products. The system is based on filming from different angles which will be merged to one film from which Saab can analyze the results of their products. Single-board computers is something that have become increasingly popular in the recent years, therefore, we are to investigate whether it is possible or not to replace the older systems with SBCs and cameras.We will also investigate whether the BeagleBoard is capable of detecting objects while filming, synchronizing, encoding and saving the video for later use.The result showed that the processor isn’t powerful enough to handle object identification without full hardware support. Instead, it needs to be performed afterwards by a computer which will identify objects in the video. A better method has been proposed to make object identification smarter and learning, which will work better in Saab’s case and their future work.
Los estilos APA, Harvard, Vancouver, ISO, etc.
14

Flatscher, Rony G. "Anatomy of a GUI (Graphical User Interface) Application for Rexx Programmers". Rexx Language Association, 2018. http://epub.wu.ac.at/6875/2/201803%2DAnatomyOfGUI%2DArticle.pdf.

Texto completo
Resumen
Creating for the first time GUI (graphical user interface) applications is an endeavor that can be most challenging. This article introduces the general concepts of GUIs and the need to interact with GUI elements only on the so called "GUI thread". The concepts pertain to GUI applications written for Windows, Linux and MacOS alike. Using Java libraries for creating Rexx GUI applications makes these Rexx GUI applications totally platform independent. Taking advantage of BSF4ooRexx even the powerful JavaFX GUI libraries can be exploited by pure Rexx, allowing Rexx programmers to create the most demanding and complex GUI applications in an unparalleled easiness in an astonishing short period of time. The introduced GUI concepts will be demonstrated with short nutshell examples exploiting the JavaFX GUI libraries, empowering the Rexx programmers with the ability to create stable and error free GUI applications in Rexx.
Los estilos APA, Harvard, Vancouver, ISO, etc.
15

Puligheddu, Giacomo. "Tweet Tracker: analisi e visualizzazione di tweet geolocalizzati". Bachelor's thesis, Alma Mater Studiorum - Università di Bologna, 2020.

Buscar texto completo
Resumen
Il progetto consiste nella realizzazione di un programma che sfrutti le API del social network Twitter. Tale progetto ha come obiettivo quello di mostrare le potenzialità degli strumenti messi a disposizione da Twitter per la raccolta di dati dalla sua piattaforma. I tweet possono essere un mezzo tramite la quale è possibile ottenere informazioni da eventi di vario tipo; se geolocalizzati acquisiscono ulteriore importanza perché forniscono un riscontro degli avvenimenti da una posizione precisa.
Los estilos APA, Harvard, Vancouver, ISO, etc.
16

Sund, Daniel. "Comparison of Visualization Algorithms for Graphs and Implementation of Visualization Algorithm for Multi-Touch table using JavaFX". Thesis, Linköpings universitet, Databas och informationsteknik, 2016. http://urn.kb.se/resolve?urn=urn:nbn:se:liu:diva-133167.

Texto completo
Resumen
Ontologies are representations of specific domains. They help with understanding the concepts within these domains by providing definitions of their components and how they relate to each other. Ontologies are often huge and may contain thousands to hundreds of thousands of concepts. In order to easily understand them, they can be visualized as graphs. To effectively visualize these graphs, an application can use a type of graph drawing algorithm that follows pre-established criteria. This thesis studies articles about the problem of graph visualization to establish specific criteria for algorithms to satisfy. Existing algorithms are then compared with these criteria, to determine which algorithm is most suitable for implementation. Based on the comparison evaluation, the FM3 Algorithm is then implemented in Prefux. Extensions to Prefux’s input handler and touch functionality are also added to read files in the OWL format and enable interaction with the visualized graph on a state-of-the-art multi-touch table respectively.
Los estilos APA, Harvard, Vancouver, ISO, etc.
17

Casadio, Elisa. "Train your mind - Software per il training cognitivo nell'invecchiamento sano e patologico". Master's thesis, Alma Mater Studiorum - Università di Bologna, 2019. http://amslaurea.unibo.it/18439/.

Texto completo
Resumen
Lo scopo di questa tesi è la realizzazione di un software applicativo per il training cognitivo di soggetti anziani sani o affetti da patologie. L'introduzione di questo strumento di allenamento cognitivo computerizzato vuole permettere al medico e al paziente di svolgere le sessioni di allenamento in modo semplice, focalizzandosi su specifiche aree cognitive. Il progetto è corredato da un framework degli esercizi, che permette allo sviluppatore di creare i propri esercizi e di aggiungerli per poterli eseguire durante le sessioni di allenamento. Per lo sviluppo del sistema, sono state adottate tecnologie note e standard, come Java, che ne permettono una facile estensione e modifica da parte degli sviluppatori. Il lavoro di sviluppo è stato corredato da una sperimentazione sul campo, che ha permesso di verificare se, tramite il software, era possibile distinguere i soggetti sani da quelli malati. Nel testo sono analizzati i requisiti che il sistema deve soddisfare, le scelte progettuali e quelle implementative, gli strumenti di sviluppo adottati e la sperimentazione svolta su un campione di soggetti. Il risultato ottenuto è un sistema che fornisce tutte le funzionalità di base per lo svolgimento delle sessioni di training. Inoltre, l'interfaccia realizzata, il cui aspetto si ispira al mondo del web, consente all'utente finale di utilizzare il software in modo semplice. All'interno del sistema è già presente un set di esercizi da poter svolgere, che è stato commissionato dai ricercatori del Centro Studi e Ricerche in Neuroscienze Cognitive di Cesena.
Los estilos APA, Harvard, Vancouver, ISO, etc.
18

Casadio, Elisa. "Revisione e refactoring dell'interfaccia utente del simulatore Alchemist". Bachelor's thesis, Alma Mater Studiorum - Università di Bologna, 2016. http://amslaurea.unibo.it/12310/.

Texto completo
Resumen
Lo scopo di questa tesi è la revisione e il refactoring dell'interfaccia grafica del simulatore Alchemist, per offrire una migliore esperienza d'uso all'utente. L'interfaccia grafica permette la configurazione completa di una simulazione ed il suo avvio in modalità normale o batch. Per il suo sviluppo, è stata utilizzata la libreria JavaFX, che ha permesso di separare l'aspetto del programma dalla specifica comportamentale, e supporta l'Hi-DPI, che consente al simulatore di essere scalabile anche su schermi ad alta risoluzione. L'ambiente ottenuto è intuitivo, perché offre un'esperienza d'uso simile ad un IDE di sviluppo; ed è anche consistente rispetto allo stato del file system. Nel testo sono illustrati tutti i requisiti che il progetto deve soddisfare e, inoltre, sono descritte, in modo approfondito, la progettazione e l'implementazione dell'interfaccia realizzata. Il risultato ottenuto è un ambiente funzionante, che soddisfa buona parte delle specifiche richieste e che potrà essere ampliato in futuro con nuove funzionalità.
Los estilos APA, Harvard, Vancouver, ISO, etc.
19

Plačko, Michal. "Sledování lidské postavy ve videosekvenci". Master's thesis, Vysoké učení technické v Brně. Fakulta elektrotechniky a komunikačních technologií, 2014. http://www.nusl.cz/ntk/nusl-220561.

Texto completo
Resumen
This thesis deals with human body detection and gestures tracking in videosequences. First, processing of videosequences in general is described. Further, different methods of human body detection are described and represented by significant papers. The most of the attention is focused on detection by real AdaBoost algorithm based on Haar-like features and Edgelet features. The practical part starts with selection of method that is implemented in this thesis. This method is detection by real AdaBoost based on Haar-like features. Further, different options of videosequence processing in JAVA are researched with justification of choice OpenCV library with JavaCV wrapper, which is used in this thesis. In the end, application itself is described, including description of GUI and description of each class and its functionality.
Los estilos APA, Harvard, Vancouver, ISO, etc.
20

Kilic, Türkbey. "Vidareutveckling av ett journalsystem : Hur ett gammalt projekt återupptas". Thesis, KTH, Skolan för informations- och kommunikationsteknik (ICT), 2017. http://urn.kb.se/resolve?urn=urn:nbn:se:kth:diva-210641.

Texto completo
Resumen
Sofiaängen är en psykoterapeutisk dagverksamhet och skola som ligger på Södermalm i Stockholm. Sofiaängen riktar sig till ungdomar mellan 13–20 år med psykiska och sociala problem. Sofiaängen var i behov av ett fullständigt journalsystem för att kunna underlätta deras arbetsrutiner med bokföring av patientbehandlingar. Då deras nuvarande system inte är färdigställd och behövs vidareutvecklas. Detta ledde till att arbetet delades upp i två delar, först att ta fram ett förslag på en generell processmodell för hantering av en icke färdigställda IT-system till akademin och därefter att leverera ett fullt fungerande journalsystem åt Sofiaängen. Examensarbetet har resulterat till att man har tagit fram ett förslag på generell processmodell för hantering av icke färdigställda projekt samt ett fullt fungerande journalsystem åt Sofiaängen som kan sättas direkt i drift.
Sofiaängen is a psychotherapeutic day school and school located at Södermalm in Stockholm. Sofiaängen is aimed at young people between 13-20 years with mental and social problems. Sofiaängen needed a complete journal system to facilitate their work routines with records of patient treatments. Their current system is not completed and needed further development. Thus, the work was divided into two parts, first to develop a proposal for a general process model for managing an unfinished IT system to the academy and then to deliver a fully functioning journal system for Sofiaängen. The thesis has resulted in a proposal for a general process model for handling unfinished projects as well as a fully functioning journal system for Sofiaängen, which can be put into operation immediately.
Los estilos APA, Harvard, Vancouver, ISO, etc.
21

Černocký, Petr. "Webové rozhraní pro komunikaci s uzly bezdrátové senzorové sítě". Master's thesis, Vysoké učení technické v Brně. Fakulta elektrotechniky a komunikačních technologií, 2011. http://www.nusl.cz/ntk/nusl-218960.

Texto completo
Resumen
The aim of this master's thesis is to design and create web application that allows analysing and monitoring wireless sensor networks. The main function is to load plan of given area and shown position of the sensor network nodes. These nodes allow user to set which measured phenomenon will be display on them. The measured values can be loaded directly from sensor nodes or from database server. Visualized values for user defined time period can be displayed in the implemented graph. The application itself is programmed in JavaFX language and follows the rules of REST architecture. For easier communication with database server application uses the MyBatis framework.
Los estilos APA, Harvard, Vancouver, ISO, etc.
22

Koya, Bharath Kumar. "Sched-ITS: An Interactive Tutoring System to Teach CPU Scheduling Concepts in an Operating Systems Course". Wright State University / OhioLINK, 2017. http://rave.ohiolink.edu/etdc/view?acc_num=wright1495656458526149.

Texto completo
Los estilos APA, Harvard, Vancouver, ISO, etc.
23

Arfwedson, Pontus. "Creating a usable analysis application built on an existing visualization platform". Thesis, Uppsala universitet, Signaler och System, 2017. http://urn.kb.se/resolve?urn=urn:nbn:se:uu:diva-323423.

Texto completo
Resumen
The advances in research on wireless communications has lead up to the current success of 4G mobile broadband and is currently focusing on designing the upcoming even more advanced fifth generation (5G) networks. The type of research behind this typically generates large quantities of data and requires efficient analysis in order to achieve tangible results. To enable this analysis, visualization of the data is used to give the researchers the needed insights. For this master thesis project an existing platform will be analyzed with the goal of, by utilizing the platform, creating a powerful, useful analysis application with the necessary and desired tools. The platform can access data produced from research simulations and visualize them through different types of useful charts. However, it has up until now lacked some important functionality, mainly letting the user modify and alter the visualization to aid in the analysis. It furthermore requires knowledge and experience before being useful. To solve this, there existed a need of extending the platform with new tools and functionality to give the user more control and possibilities and to simplify the usage. The thesis resulted in a functioning analysis application that gives the user many necessary features to effectively analyze data. The result fulfilled the set requirements with improved and added views, extended tools and optimized performance.
Los estilos APA, Harvard, Vancouver, ISO, etc.
24

Neužil, Antonín. "Nástroj pro práci s Objektově orientovanými Petriho sítěmi". Master's thesis, Vysoké učení technické v Brně. Fakulta informačních technologií, 2020. http://www.nusl.cz/ntk/nusl-417201.

Texto completo
Resumen
This work deals with the development and use of a graphical editor of object-oriented Petri nets implemented in the PNtalk language. First, Petri nets that expand over time are described here. They are followed by a description of the object-oriented paradigm. Next, the structure of object-oriented Petri nets in the implementation of PNtalk is described here. Further work presents a description of the application design, which shows the entire structure of the application from the perspective of views. The main motivation for creating this tool is the effort to make object-oriented Petri nets accessible to their users. The application was implemented in the JavaFX framework and the whole procedure is given in the following chapter together with testing. The result of the work is presented in the examples contained in the last chapter, which also contains detailed manuals for controlling the application. The tool in cooperation with the PNtalk server enables users to work more pleasantly with OOPN and their visual appearance.
Los estilos APA, Harvard, Vancouver, ISO, etc.
25

Jonsson, Daniel. "Layout and configuration tools for visualization software". Thesis, Linköpings universitet, Medie- och Informationsteknik, 2014. http://urn.kb.se/resolve?urn=urn:nbn:se:liu:diva-106951.

Texto completo
Resumen
Ericsson is one of the world leaders in radio network technology and are spending a lot of resources on research in this area. This produces big amounts of data and there is a desire for tools that allows the researchers to investigate and present the data in a user friendly way. This is the motivation behind Elsa GVP, Ericsson’s visualization platform, which facilitates the production of interactive visualizations. The platform handles database connections and provides a number of visual components that can be used in an interactive visualization, such as bar charts, scatter plots and maps. Although Elsa GVP certainly makes the production of an interactive visualization speedier it is still a time consuming task and requires expert knowledge. Therefore, there is a desire to make the entire process easier and more user-friendly so that any employee can construct an interactive visualization. This is the motivation behind this master thesis work whose main objective is to investigate how to reduce the amount of work required to produce an interactive visualization by providing an intuitive graphical user interface.
Los estilos APA, Harvard, Vancouver, ISO, etc.
26

Gruppioni, Laura. "Progetto e sviluppo di un software per l'esecuzione del workflow analitico su immagini e dati generati da una piattaforma di analisi cellulare". Master's thesis, Alma Mater Studiorum - Università di Bologna, 2022.

Buscar texto completo
Resumen
La medicina di precisione rappresenta ad oggi la più promettente alternativa alla somministrazione di farmaci Trial & Error ed è il principio fondante di CellPly, azienda del settore delle biotecnologie che ricerca e sviluppa soluzioni per la terapia personalizzata del cancro. L’azienda utilizza diverse tecnologie per l’acquisizione di immagini di cellule sottoposte a vari trattamenti sotto studio, a supporto delle quali risulta essenziale un adeguato software di analisi degli esperimenti. Questo lavoro di tesi si è focalizzato sull’analisi approfondita del programma attualmente in uso e delle sue criticità, sfociando poi nel progetto e nella realizzazione di un nuovo software di analisi. Il progetto è stato diviso in Sprint secondo la metodologia SCRUM e, dopo una fase di studio delle principali best practice UX/UI è stata avviata la raccolta dei requisiti. Da qui, seguendo le fasi del ciclo di vita del software, sono state svolte tutte le attività di analisi e progettazione necessarie allo sviluppo vero e proprio. Infine, il software risultante è stato distribuito, testato e valutato. Le principali feature del nuovo software possono essere riassunte come segue: l’utente può visualizzare e manipolare immagini acquisite dallo strumento caricandole sia da file system sia da database. L’utente può, inoltre, lanciare diversi algoritmi automatici di detection delle cellule presenti nelle immagini, ottenendo come risultato diversi file di output contenenti i dati delle cellule trovate nella fase di detection. A supporto dell’intero progetto sono stati utilizzati svariati strumenti, tra cui GIT come sistema di versionamento, Eclipse come IDE e JavaFX come linguaggio di programmazione ad oggetti. La versione del software attualmente distribuita e in uso dall’azienda non è che il trampolino di lancio di un progetto molto più ampio e innovativo in cui verrà inclusa, in primis, anche una parte di classificazione manuale/semi-automatica delle cellule.
Los estilos APA, Harvard, Vancouver, ISO, etc.
27

Jurčík, Michal. "Modelování elastických a neelastických kolizí". Master's thesis, Vysoké učení technické v Brně. Fakulta elektrotechniky a komunikačních technologií, 2013. http://www.nusl.cz/ntk/nusl-220296.

Texto completo
Resumen
Master's thesis deals with vehicles collisions within an environment of logistic distribution storehous. The aim is to avoid potential collisions that can occur between these vehicles. In the first chapter are detailed collisions of particles and elements impact for the law of conservation of energy and momentum. In further sections is carried out detailed research of elastic and inelastic collisions in an ideal environment, which are the theoretical basis for the simulation of the real environment. Collisions are supported by detailed calculations and added pictures. The second chapter deals with the development of double-layer application simulating elastic collisions in an ideal environment. In subchapters are descriptions of the classes and methods for computing prediction of collisions with examples of source code. The last section describes the software platform JavaFX and used animation classes that are required for visualization issues. The last chapter, which is the main goal of the work is done by the expansion of the existing design environment of storehouse and vehicles. Particular chapters then describe the cases of various types of collisions their detection and avoidance. There is an application designed to address this issue, with a description of the classes and methods. Used methods are supported with flowcharts for easier understanding.
Los estilos APA, Harvard, Vancouver, ISO, etc.
28

Tschantz, Matthew S. "Javari : adding reference immutability to Java". Thesis, Massachusetts Institute of Technology, 2006. http://hdl.handle.net/1721.1/42117.

Texto completo
Resumen
Thesis (M. Eng.)--Massachusetts Institute of Technology, Dept. of Electrical Engineering and Computer Science, 2006.
Includes bibliographical references (leaves 129-133).
This paper describes a programming language, Javari, that is capable of expressing and enforcing immutability constraints. The specific constraint expressed is that the abstract state of the object to which an immutable reference refers cannot be modified using that reference. The abstract state is (part of) the transitively reachable state: that is, the state of the object and all state reachable from it by following references. The type system permits explicitly excluding fields from the abstract state of an object. For a statically type-safe language, the type system guarantees reference immutability. The type system is distinguishes the notions of assignability and mutability; integrates with Java's generic types and with multi-dimensional arrays; provides a mutability polymorphism approach to avoiding code duplication; and has type-safe support for reflection and serialization. This paper describes a core calculus including formal type rules for the language. Additionally, this paper describes a type inference algorithm that can be used convert existing Java programs to Javari. Experimental results from a prototype implementation of the algorithm are presented.
by Matthew S. Tschantz.
M.Eng.
Los estilos APA, Harvard, Vancouver, ISO, etc.
29

Nevřela, Marek. "Systém pro sledování využití mobilních aplikací". Master's thesis, Vysoké učení technické v Brně. Fakulta informačních technologií, 2017. http://www.nusl.cz/ntk/nusl-363833.

Texto completo
Resumen
Master’s thesis describes development of the system which monitores a mobile application usage on the Android platform. The aim is to create the system which collects data in the background of a mobile application automatically and is able to analyze them. The thesis analyses the existing systems and proposes requirements for the new system based on them. Design of the whole system to monitor mobile application usage is the next part of the thesis. Design and implementation of mobile part, desktop application and server part of the systems and communication between them are described in the individual chapters.
Los estilos APA, Harvard, Vancouver, ISO, etc.
30

Martins, Duarte João Figueira. "JavaCO – uma variante do Java com um sistema de tipos baseado em covariância". Master's thesis, Faculdade de Ciências e Tecnologia, 2010. http://hdl.handle.net/10362/4590.

Texto completo
Resumen
Dissertação apresentada na Faculdade de Ciências e Tecnologia da Universidade Nova de Lisboa para obtenção do grau de Mestre em Engenharia Informática
Quando se compara a linguagem Eiffel com a linguagem Java, a diferença com mais impacto no estilo de programação é o facto de a primeira permitir métodos com argumentos covariantes, isto é, permitir a especialização do tipo dos argumentos à medida que se desce na hierarquia. Esta possibilidade é uma vantagem porque permite modelar determinados aspectos do mundo real de forma mais directa e intuitiva. Mas também há uma desvantagem que justifica a raridade desta opção na generalidade das linguagens modernas: o facto de criar complicações ao nível da tipificação estática dos programas. O objectivo deste trabalho é criar uma variante do Java, chamada JavaCO, cujo sistema de tipos será baseado em covariância, à imagem do sistema de tipos da linguagem Eiffel. A introdução de um novo tipo genérico “This”, servirá para aumentar a utilidade prática do mecanismo de covariância. Espera-se assim proporcionar uma experiência de programação similar à da linguagem Eiffel, mas num ambiente de programação Java, usando as ferramentas e bibliotecas do Java. A nova linguagem será implementada através da tradução para Java puro. A implementação seguirá as linhas da definição semântica e consistirá num tradutor escrito usando a ferramenta SableCC. O tradutor fará alguma análise estática dos programas de entrada; contudo, os aspectos mais essenciais da nova linguagem serão implementados por recurso a tipificação dinâmica (na mesma linha do Eiffel “clássico”).
Los estilos APA, Harvard, Vancouver, ISO, etc.
31

Beckwith, Robaire Stephen. "The ecology and behaviour of the Javan black langur, in lower montane rain forest, West Java". Thesis, University of Cambridge, 1995. https://www.repository.cam.ac.uk/handle/1810/252001.

Texto completo
Los estilos APA, Harvard, Vancouver, ISO, etc.
32

Fransson, Lina. "Fine scale habitat and movement patterns of javan slow loris (Nycticebus javanicus) in Cipaganti, West Java, Indonesia". Thesis, Uppsala universitet, Institutionen för biologisk grundutbildning, 2018. http://urn.kb.se/resolve?urn=urn:nbn:se:uu:diva-348817.

Texto completo
Resumen
Today biodiversity is rapidly decreasing and an increasing number of threatened species live in modified and human dominated landscapes. Therefore it is essential to learn more about how species cope with the changes of their habitat. The focus of this study lies on a primate species, the critically endangered Javan slow loris (Nycticebus javanicus), endemic to the densely populated island of Java, Indonesia.  In cooperation with the Little fire face project in West Java, I used a step selection function (SSF) framework, to understand how landscape structure affects the movement of Javan slow lorises within a fragmented mountain-agroforest landscape of Cipaganti, West Java. To investigate the movement and fine scale habitat selection of slow lorises I used one hour locations of 6 radio-collared slow lorises. The habitat and vegetation of observed and random steps was investigated in multiple variables such as presence of food trees and signs of human disturbance. For the analysis I paired observed steps (1h relocations) with 3 random habitat locations and used a conditional logistic regression to parameterize the SSF, which represents the probability of a focal slow loris to select a given step as a function of the habitat and vegetation factors surveyed. In average the slow lorises travelled about 450 m each night and most frequently they used a step length of about 0 – 50 m. My result reveals that slow lorises fine scale habitat selection is positively influenced by the presence of trees and tree trunk cover (indirect increasing the canopy cover and connectivity). They are also to a high extent positively affected by the presence of a feeding tree species, Calliandra calothyrsus. Surprisingly slow lorises selected steps associated with a higher number of fields (fields may indicate an increased biodiversity within the location). The results also indicate that slow lorises are limited in their movement by the presence of fields or rivers, which indicates that slow lorises are negatively influenced in their movement by a declining ability to move and forage within Cipaganti. I found no significant differences between sexes in their distance travelled. The recommendation for future conservation of slow lorises in Cipaganti is to prevent further habitat loss and fragmentation through activities that protect or maintain the present suitable slow loris habitat. Further research is needed to increase the knowledge of these primates’ abilities to live in this modified landscape.
Los estilos APA, Harvard, Vancouver, ISO, etc.
33

Svoboda, Pavel. "Komunikační klient v JavaMe". Master's thesis, Vysoké učení technické v Brně. Fakulta elektrotechniky a komunikačních technologií, 2009. http://www.nusl.cz/ntk/nusl-218191.

Texto completo
Resumen
This diploma thesis deals with developing multimedia applications on Java Micro Edition platform. The aim of this work is to design and implement the application which could establish a call between two users. The first part of the work describes J2ME platform, its two configurations and profiles. Next part is focused on Session Initiation Protocol and Real-time Transport Protocol. The application design consists of choosing the suitable virtual machine JVM, SIP and RTP libraries. The main part of this work describes application structure, graphic user interface and installation packages creating. It also shows a way of customizing the media stack - Java Media Framework, version Cross Platform.
Los estilos APA, Harvard, Vancouver, ISO, etc.
34

Anders, Jörg. "JAVA3D am Beispiel eines Getriebemodells". Universitätsbibliothek Chemnitz, 2001. http://nbn-resolving.de/urn:nbn:de:bsz:ch1-200100340.

Texto completo
Los estilos APA, Harvard, Vancouver, ISO, etc.
35

Janeček, Aleš. "Vývoj SIP klienta v JavaME". Master's thesis, Vysoké učení technické v Brně. Fakulta elektrotechniky a komunikačních technologií, 2008. http://www.nusl.cz/ntk/nusl-217494.

Texto completo
Resumen
This thesis analyzes various alternatives of SIP protocol implementation on Java Micro Edition devices. This analysis is especially concentrated on SIP protocol, SIP API (JSR-180) and the development in contemporary mobile data networks. I design a midlet for a mobile phone SIP client on the basis of this analysis. The design is especially concentrated on communication, registration and text mesage transfer.
Los estilos APA, Harvard, Vancouver, ISO, etc.
36

Obdržálek, Petr. "Video na vyžádání v JavaME". Master's thesis, Vysoké učení technické v Brně. Fakulta elektrotechniky a komunikačních technologií, 2009. http://www.nusl.cz/ntk/nusl-218196.

Texto completo
Resumen
The master’s thesis deals with creation of system that provides video on demand. Technologies which are used to creation mobile application are analyzed. There are also mentioned today's most used codecs in the mobile devices. There are described standards, norms, principles and recommendations for transfer multimedia data on network in real time. Technologies which are appropriate for functionality of system on server side are described. The output of the work is an operational sample of whole system and description of functionality of this system.
Los estilos APA, Harvard, Vancouver, ISO, etc.
37

Nešpor, Zdeněk. "Sledování objektu ve videosekvenci". Master's thesis, Vysoké učení technické v Brně. Fakulta elektrotechniky a komunikačních technologií, 2013. http://www.nusl.cz/ntk/nusl-220323.

Texto completo
Resumen
This thesis deals with tracking a predefined object in the movie. After a brief introduction describes the procedure suitable for the detection of an object in a video sequence, where the methods are also discussed in detail. There is dealt with issues of image preprocessing, image segmentation and object detection in the image. The main emphasis is laid on using detectors of interest points and descriptors of areas - SURF and SIFT. The second part deals with the practical implementation of a program suitable to monitor predefined object in the movie. First are analyzed libraries suitable for object tracking in a video sequence in an environment of Java, followed by a detailed description of the selected library OpenCV along with wrapper JavaCV. Further described is own application in terms of control and functionality are described key method. Outputs along with discussion and evaluation are presented at the end of work.
Los estilos APA, Harvard, Vancouver, ISO, etc.
38

Francisco, Pedro Filipe do Amaral Goucha. "Contract-Java - design by contract in Java - Contract-Java". Master's thesis, Universidade de Aveiro, 2012. http://hdl.handle.net/10773/11035.

Texto completo
Resumen
Mestrado em Engenharia de Computadores e Telemática
A programação por contrato é uma metodologia de programação que implementa mecanismos de correcção de forma bem adaptada à programação orientada por objectos, facilitando a construção de software correto e robusto, permitindo também a sua documentação e especificação e a construção de programas tolerantes a falhas. No entanto, ao contrário da programação orientada por objectos, a programação por contrato tem uma difusão bastante reduzida. Uma das razões para tal facto é a quase completa ausência de suporte para a metodologia na grande maioria das linguagens de programação usadas actualmente, nas quais se inclui a linguagem Java. Apesar de existirem algumas ferramentas para tentar suprir essa omissão da linguagem Java, são aproximações incompletas que não permitem usufruir de todas as vantagens e capacidades da programação por contrato. Neste trabalho pretende-se definir quais as características necessárias numa linguagem de modo a permitir a implementação completa da metodologia, avaliando as falhas que as ferramentas existentes possuem e, de seguida, definir e construir uma nova linguagem, “Contract-Java”, definida como uma extensão da linguagem Java, que permita usar a programação por contrato na sua totalidade.
Design by Contract is a programming methodology which implements correction mechanisms well adapted to object-oriented programming, easing the construction of correct and robust software, as well as allowing its documentation and specification and the construction of fault-tolerance programs. However, unlike object-oriented programming, Design by Contract has a very low distribution. One of the reasons for such is the lack of support for it on most programming languages currently in use, in which Java is included. Although a few tools attempt to workaround such lack of support, they all present incomplete approaches which do not support all the advantages and capabilities of Design by Contract. In this work, we intend to define which characteristics are necessary in order to fully implement the methodology, evaluating the faults of existing tools and, afterwards, defining and constructing a new language, “Contract-Java”, defined as an extension of the Java language, which allows to use Design by Contract in its entirety.
Los estilos APA, Harvard, Vancouver, ISO, etc.
39

Silva, Bernardo Natividade Vargas da y 97-99160-3713. "Territorialidade Korubo no Vale do Javari – AM". Universidade Federal do Amazonas, 2017. http://tede.ufam.edu.br/handle/tede/6132.

Texto completo
Resumen
Submitted by Divisão de Documentação/BC Biblioteca Central (ddbc@ufam.edu.br) on 2018-02-02T18:31:37Z No. of bitstreams: 2 license_rdf: 0 bytes, checksum: d41d8cd98f00b204e9800998ecf8427e (MD5) Dissertação_ Bernardo Vargas da Silva.pdf: 4544482 bytes, checksum: 1d3f3ba4191d581c16f302158171252c (MD5)
Approved for entry into archive by Divisão de Documentação/BC Biblioteca Central (ddbc@ufam.edu.br) on 2018-02-02T18:31:54Z (GMT) No. of bitstreams: 2 license_rdf: 0 bytes, checksum: d41d8cd98f00b204e9800998ecf8427e (MD5) Dissertação_ Bernardo Vargas da Silva.pdf: 4544482 bytes, checksum: 1d3f3ba4191d581c16f302158171252c (MD5)
Made available in DSpace on 2018-02-02T18:31:55Z (GMT). No. of bitstreams: 2 license_rdf: 0 bytes, checksum: d41d8cd98f00b204e9800998ecf8427e (MD5) Dissertação_ Bernardo Vargas da Silva.pdf: 4544482 bytes, checksum: 1d3f3ba4191d581c16f302158171252c (MD5) Previous issue date: 2017-11-17
CAPES - Coordenação de Aperfeiçoamento de Pessoal de Nível Superior
This dissertation is the result of an interdisciplinary study of the territorial configuration and territoriality expressed by the indigenous people Korubo in the last 50 years. The indigenous people named by us Korubo are speakers of a language of the Pano family and live in the Indigenous Territory Vale do Javari, in the far west of the Brazilian state of Amazonas. They are currently local groups that present different levels of interaction with the national society, from situations of isolation to relationships of permanent contact. Over the last decades, the Korubo have acted with deep resilience and resistance, mainly in reaction to the onslaught of developmentist fronts over their territory. During a part of the second half of the twentieth century, these people occupied a territorial unit based on the interfluvial rivers Ituí and Itaquaí, this last tributary of the Javari river, and explicitly showed the intention of not establishing permanent contact with the surrounding society. It is estimated that from the late 1980s processes of dispersion of local Korubo groups have been developed. This caused a geographic isolation between some of them, interrupting flows of contact due to new social and territorial arrangements. The contact consolidation events between the National Indian Foundation (FUNAI) and some of these local groups in the last 21 years revealed, among other things, the close kinship relations between individuals of the newly contacted groups and still important aspects that served to understand the aspects of their splits and dispersions. The methodology of this research is based on the cross-referencing of the information collected by the bibliographic and documentary investigation, the Korubo narratives and the work that I performed as a field indigenist by the Vale do Javari Ethno-Environmental Protection Front (FPEVJ), a unit of FUNAI that investigates and protects the territory and the culture of the isolated indigenous peoples and recently contacted of the Indigenous Territory Vale do Javari. As a result of this investigation, I present the forms that the Korubo appropriates their territory and the dilemmas that the indigenous of this ethnic group have been facing in the contemporary context.
Este trabalho é o resultado de um estudo interdisciplinar sobre a configuração territorial e a territorialidade expressada pelos índios Korubo nos últimos 50 anos. O povo indígena denominado por nós de Korubo são falantes de uma língua da família Pano e vivem na Terra Indígena Vale do Javari, no extremo ocidente do estado do Amazonas. Constituem atualmente grupos locais que apresentam diferentes níveis de interação com a sociedade nacional, desde situações de isolamento até relações de contato permanente. Ao longo das últimas décadas, os Korubo atuaram com profunda resiliência e resistência, principalmente na reação às investidas das frentes desenvolvimentistas sobre seu território. Durante uma parte da segunda metade do século XX, estes indígenas ocupavam uma unidade territorial baseada no interflúvio dos rios Ituí e Itaquaí, este último afluente do rio Javari, e explicitamente demonstravam a intenção de não estabelecer contato permanente com a sociedade envolvente. Estima-se que a partir do final da década de 1980 desenvolvem-se processos de dispersão de grupos locais Korubo, o que ocasionou um isolamento geográfico entre alguns deles, interrompendo fluxos de contato devido a novos arranjos sociais e territoriais. Os eventos de consolidação de contato entre a Fundação Nacional do Índio (FUNAI) e alguns destes grupos locais nos últimos 21 anos, revelou entre outras coisas, as estreitas relações de parentesco entre sujeitos dos grupos recém-contatados e ainda importantes aspectos que serviram para entender a forma que as cisões e dispersões entre os grupos locais ocorreram. A metodologia desta investigação baseia-se no cruzamento das informações levantadas pela pesquisa bibliográfica e documental, com as narrativas dos Korubo contatados e pelo trabalho que executei como indigenista de campo pela Frente de Proteção Etnoambiental Vale do Javari (FPEVJ), unidade da FUNAI que investiga, promove e protege o território e a cultura dos povos indígenas isolados e de recente contato da Terra Indígena Vale do Javari. Como resultado deste estudo, apresento as formas que os Korubo se apropriam de seu território e os dilemas que os indígenas desta etnia vêm enfrentando no contexto contemporâneo.
Los estilos APA, Harvard, Vancouver, ISO, etc.
40

Kubina, Tomáš. "Rozhraní pro skupinové odesílání SMS v JavaME". Master's thesis, Vysoké učení technické v Brně. Fakulta elektrotechniky a komunikačních technologií, 2008. http://www.nusl.cz/ntk/nusl-217718.

Texto completo
Resumen
This Diploma Thesis have been describing possibilities of Wireless Messaging API, which are used for applications handling with Short Messages. It have been describing basics of programming language JavaME, basics of formating and sending SMS, detailed analysis of Wireless Messaging API, application, which is part of my diploma thesis and finally Security Politics of JavaME programming language.
Los estilos APA, Harvard, Vancouver, ISO, etc.
41

Drejhammar, Frej. "Flow Java : declarative concurrency for Java". Licentiate thesis, KTH, Microelectronics and Information Technology, IMIT, 2004. http://urn.kb.se/resolve?urn=urn:nbn:se:kth:diva-287.

Texto completo
Resumen

This thesis presents the design, implementation, and evaluation of Flow Java, a programming language for the implementation of concurrent programs. Flow Java adds powerful programming abstractions for automatic synchronization of concurrent programs to Java. The abstractions added are single assignment variables (logic variables) and futures (read-only views of logic variables).

The added abstractions conservatively extend Java with respect to types, parameter passing, and concurrency. Futures support secure concurrent abstractions and are essential for seamless integration of single assignment variables into Java. These abstractions allow for simple and concise implementation of high-level concurrent programming abstractions.

Flow Java is implemented as a moderate extension to the GNU GCJ/libjava Java compiler and runtime environment. The extension is not speci c to a particular implementation, it could easily be incorporated into other Java implementations.

The thesis presents three implementation strategies for single assignment variables. One strategy uses forwarding and dereferencing while the two others are variants of Taylor's scheme. Taylor's scheme represents logic variables as a circular list. The thesis presents a new adaptation of Taylor's scheme to a concurrent language using operating system threads.

The Flow Java system is evaluated using standard Java benchmarks. Evaluation shows that in most cases the overhead incurred by the extensions is between 10% and 50%. For some pathological cases the runtime increases by up to 150%. Concurrent programs making use of Flow Java's automatic synchronization, generally perform as good as corresponding Java programs. In some cases Flow Java programs outperform Java programs by as much as 33%.

Los estilos APA, Harvard, Vancouver, ISO, etc.
42

Drejhammar, Frej. "Flow Java : declarative concurrency for Java /". Licentiate thesis, Stockholm : Department of Microelectronics and Information Technology, Royal Institute of Technology, 2005. http://urn.kb.se/resolve?urn=urn:nbn:se:kth:diva-287.

Texto completo
Los estilos APA, Harvard, Vancouver, ISO, etc.
43

Bwogi, Andrew y Tuncay Dagdelen. "Configuring Java Pathfinder for concurrent Java programs". Thesis, KTH, Skolan för datavetenskap och kommunikation (CSC), 2017. http://urn.kb.se/resolve?urn=urn:nbn:se:kth:diva-208369.

Texto completo
Resumen
Software verification is a field of computer science dedicated to guar- antee that a program runs according to a formalized specification. Of various kinds of verification techniques model checking tries all possi- ble states of a program and makes sure each state satisfies a set of for- malized properties. Java Pathfinder (JPF) is a tool that automatically model checks Java bytecode. This report studies general configuration patterns for JPF that leads it to either terminate without errors or ter- minate with found concurrency bugs for different types of programs. The types considered are solutions to producer-consumer problems, barber shop problems, reader-writer problems and programs falling under the type server-client systems. The main part of the method is first a search for these types of programs using cloud-based revision control systems. Second, these programs are verified with the help of the JPF documentation, articles on the subject and online discus- sion groups. The results are configurations that lead to no errors, con- currency bugs and native method errors depending on the program verified. An important limitation of the report is the absence of large programs that challenge JPF’s state space handling. The resulting gen- eral configuration patterns found are applicable to small programs not using native methods. A pattern is also found for programs with na- tive methods, but here it is possible that the user must modify a model class in JPF.
Programverifikation är ett datalogiskt fält som säkerställer att pro- gram fungerar enligt en formaliserad specifikation. Modellkontroll är ett delområde i programverifikation som testar alla möjliga tillstånd i ett program för att se om de uppfyller en mängd formaliserade egen- skaper. Java Pathfinder (JPF) är ett verktyg som automatiskt kontrolle- rar bytekod i Java. Syftet med den här rapporten är att undersöka vil- ka generella konfigurationsmönster som finns för särskilda program- typer som leder till att JPF antingen terminerar utan fel eller med ett funnet samverkningsfel. Programtyperna som undersöks är lösningar till producer/consumer-problem, barber shop-problem, reader/wri- ter-problem och program som faller under typen server/klient-pro- gram. Metoden består i huvudsak först av sökning efter program i molnbaserade versionshanteringssystem. Sedan följer programkontroll med hjälp av JPF-dokumentation, artiklar om ämnet och diskussions- grupper online. Resultatet är ett antal konfigurationer som leder till inga fel, fel på grund av samtidig trådkörning och fel på grund av di- rekt körbar kod, beroende på det verifierade programmet. En viktig begränsning med rapporten är frånvaron av stora program som tes- tar JPFs hantering av stora tillståndsrymder. De funna generella kon- figurationerna är tillämpbara på små program som inte använder di- rekt körbar kod. En generell konfiguration hittades även för program som använder direkt körbar kod, men här måste användaren eventu- ellt skriva om en modellklass i JPF.
Los estilos APA, Harvard, Vancouver, ISO, etc.
44

Paes, Filho Jose C. "JAVAMIX : a tactical decision to evaluate minefield clearance plans". Thesis, Monterey, California. Naval Postgraduate School, 2001. http://hdl.handle.net/10945/2496.

Texto completo
Resumen
A Tactical Decision Aid (TDA) for mixed minefield clearance, JAVAMIX, was designed, developed and tested. The TDA uses a Monte Carlo Simulation and it is based on the Monte Carlo option of the TDA MIXER (Washburn, 1995). The JAVAMIX GUI allows the user to introduce different plans based on the sweep and resource types available and mine types expected. To clear the minefield the user is asked to choose a parameter file and to introduce a plan. Output tables are presented in a DOS window and permit the user to easily visualize if the chosen plan is tactically executable. The design of the system permits future developments such as the implementation of MIXERâ s other options and the introduction of new parameters.
Brazilian Navy author
Los estilos APA, Harvard, Vancouver, ISO, etc.
45

Doyon, Stéphane. "On the security of Java, the Java bytecode verifier". Thesis, National Library of Canada = Bibliothèque nationale du Canada, 1999. http://www.collectionscanada.ca/obj/s4/f2/dsk1/tape7/PQDD_0004/MQ41890.pdf.

Texto completo
Los estilos APA, Harvard, Vancouver, ISO, etc.
46

Romio, Giovanni. "Backport di una applicazione da Java 8 a Java 7". Bachelor's thesis, Alma Mater Studiorum - Università di Bologna, 2016. http://amslaurea.unibo.it/10481/.

Texto completo
Resumen
In Java 8, ultimo aggiornamento ufficiale del linguaggio Java, sono state introdotte alcune nuove funzionalità che permettono l’integrazione di alcuni meccanismi legati ai linguaggi dinamici o funzionali, come le espressioni lambda, l’utilizzo degli stream e la dichiarazione di metodi statici all’interno di interfacce. Se si volesse installare un’applicazione scritta in Java 8 su Android, Dalvik VM, la JVM in esso presente, fallirà il processo di traduzione del bytecode. In questa tesi quindi esplorerò, sia ad alto livello che a basso livello, l’origine del problema e presenterò una soluzione di backporting per un’applicazione esistente.
Los estilos APA, Harvard, Vancouver, ISO, etc.
47

Goh, Okehee. "Scheduling garbage collection of JavaVM on embedded real-time systems". [Florida] : State University System of Florida, 2001. http://etd.fcla.edu/etd/uf/2001/ank7111/thesis3.pdf.

Texto completo
Resumen
Thesis (M.S.)--University of Florida, 2001.
Title from first page of PDF file. Document formatted into pages; contains xi, 75 p.; also contains graphics. Vita. Includes bibliographical references (p. 72-74).
Los estilos APA, Harvard, Vancouver, ISO, etc.
48

Gupta, Pankaj. "The Design and Implementation of a Prolog Parser Using Javacc". Thesis, University of North Texas, 2002. https://digital.library.unt.edu/ark:/67531/metadc3251/.

Texto completo
Resumen
Operatorless Prolog text is LL(1) in nature and any standard LL parser generator tool can be used to parse it. However, the Prolog text that conforms to the ISO Prolog standard allows the definition of dynamic operators. Since Prolog operators can be defined at run-time, operator symbols are not present in the grammar rules of the language. Unless the parser generator allows for some flexibility in the specification of the grammar rules, it is very difficult to generate a parser for such text. In this thesis we discuss the existing parsing methods and their modified versions to parse languages with dynamic operator capabilities. Implementation details of a parser using Javacc as a parser generator tool to parse standard Prolog text is provided. The output of the parser is an “Abstract Syntax Tree” that reflects the correct precedence and associativity rules among the various operators (static and dynamic) of the language. Empirical results are provided that show that a Prolog parser that is generated by the parser generator like Javacc is comparable in efficiency to a hand-coded parser.
Los estilos APA, Harvard, Vancouver, ISO, etc.
49

Nurvianto, Sandy [Verfasser], Sven [Akademischer Betreuer] Herzog, Imron Muhammad Akademischer Betreuer] Ali y Mechthild [Gutachter] [Roth. "The Ecology of Javan Asiatic Wild Dog (Cuon alpinus javanicus, Pallas 1811) in Baluran National Park, East Java, Indonesia / Sandy Nurvianto ; Gutachter: Mechthild Roth ; Sven Herzog, Muhammad Ali Imron". Dresden : Saechsische Landesbibliothek- Staats- und Universitaetsbibliothek Dresden, 2018. http://d-nb.info/1226811426/34.

Texto completo
Los estilos APA, Harvard, Vancouver, ISO, etc.
50

Kwon, Jagun. "Ravenscar-Java: Java Technology for High-Integrity Real-Time Systems". Thesis, University of York, 2006. http://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.485101.

Texto completo
Los estilos APA, Harvard, Vancouver, ISO, etc.
Ofrecemos descuentos en todos los planes premium para autores cuyas obras están incluidas en selecciones literarias temáticas. ¡Contáctenos para obtener un código promocional único!

Pasar a la bibliografía