Temat: Java programming language - Katalog OPAC zbiorów

Skocz do pozycji: 1.

Tytuł:: Model checking of java programs using networks of fadds
Autorzy:: Woźna, B.
Zbrzezny, A.
Powiązania:: https://bibliotekanauki.pl/articles/121764.pdf
Data publikacji:: 2009
Wydawca:: Uniwersytet Humanistyczno-Przyrodniczy im. Jana Długosza w Częstochowie. Wydawnictwo Uczelniane
Tematy:: język programowania Java
programowanie komputerowe
Pathfinder
języki programowania
Java programming language
computer programming
PathFinder code
programming languages
Opis:: In the paper we present the current theoretical base of the J2FADD tool, which translates a Java program to a network of finite automata with discrite data (FADDs).The reason for building the tool is that to model check a concurrent program writ-ten in Java by means of the tools like Uppaal or VerICS (the module VerICS ), an automata model of the Java program must be build first. This is because these tools verify only systems modeled as networks of automata, in particular, systems modeled as networks of FADDs. We also make an attempt to evaluate the J2FADD tool by comparison of it with the two well known Java verification tools: Bandera and Java PathFinder.
Źródło:: Scientific Issues of Jan Długosz University in Częstochowa. Mathematics; 2009, 14; 151-164
2450-9302
Pojawia się w:: Scientific Issues of Jan Długosz University in Częstochowa. Mathematics
Dostawca treści:: Biblioteka Nauki

Artykuł

Zmień widok

na półce

Skocz do pozycji: 2.

Tytuł:: A qualitative approach in terms of fuzzy logic related to the excellence achieving within managerial process of personnel selection
Podejście jakościowe w warunkach logiki rozmytej w relacji do osiągnięcia doskonałości w kierowniczym procesie wyboru personelu
Autorzy:: Sirb, L
Dragolea, L.
Powiązania:: https://bibliotekanauki.pl/articles/405251.pdf
Data publikacji:: 2013
Wydawca:: Politechnika Częstochowska
Tematy:: fuzzy logic
decisional process
personnel
Java programming language
Java
logika rozmyta
proces decyzyjny
personel
język programowania Java
Opis:: The present article aims to design and develop a qualitative methodology using fuzzy logic in order to be a real tool for the managerial decisional factor in solving the multicriteria decisional problems related to the proper selection of the personnel and to the achievement of excellence in this field within a company. In our days, the economical environment characterized by globalization and by a continuous change, offers many times to the decisional factors some situations which are surrounded by uncertainty and ambiguity, fact that in its turn leads to a subjectivism of their reasoning, which is in fact a feature of the abstract thinking of human being itself. This aspects are manifesting also in the field of personnel selection, where the evaluations related to this process are often subjectives, materialized through qualitative linguistic values. In this context, using the proposed fuzzy methodology, embedded in a fuzzy software tool developed in the Java programming language, can offer significantly opportunities and chances to achieve the excellence in this field of research, because the future and performance of any organization depend by the human resources that are working within it.
Celem niniejszego artykułu jest zaprojektowanie i opracowanie metodologii, wykorzystującej logikę rozmytą, w celu utworzenia prawdziwego narzędzia czynnika decyzyjnego w rozwiązywaniu wielokryterialnych problemów decyzyjnych związanych z właściwym wyborem personelu. W dzisiejszych czasach, środowisko rynkowe charakteryzuje się globalizacją i ciągłymi zmianami, powodując bardzo często konieczność podejmowania decyzji w sytuacjach niepewnych i wieloznacznych, co z kolei prowadzi do zjawiska subiektywności przy ich podejmowaniu, co w rzeczywistości jest cechą abstrakcyjnego rozumowania u człowieka. Te aspekty bardzo często występują w zakresie doboru personelu, gdzie oceny związane z tym procesem, bardzo często mają charakter subiektywny, uwidacznianie przez jakościowe wartości językowe. W tym kontekście, stosując rozmytą metodologię, istniejące narzędzia, opracowane w języku programowania Java, oferują znaczące korzyści i szanse na osiągnięcie doskonałości w tej dziedzinie badań, ponieważ przyszłość i efektywność każdej organizacji uzależniona jest od zasobów ludzkich które w niej pracują.
Źródło:: Polish Journal of Management Studies; 2013, 7; 48-57
2081-7452
Pojawia się w:: Polish Journal of Management Studies
Dostawca treści:: Biblioteka Nauki

Artykuł

Zmień widok

na półce

Skocz do pozycji: 3.

Tytuł:: Analiza porównawcza szkieletów programistycznych języka Java: Spring Boot, Micronaut oraz Quarkus
The comparative analysis of Java frameworks: Spring Boot, Micronaut and Quarkus
Autorzy:: Jeleń, Maciej
Dzieńkowski, Mariusz
Powiązania:: https://bibliotekanauki.pl/articles/2055128.pdf
Data publikacji:: 2021
Wydawca:: Politechnika Lubelska. Instytut Informatyki
Tematy:: aplikacja internetowa
szkielety programistyczne języka Java
analiza wydajności
Spring Boot
Micronaut
Quarkus
web application
frameworks of the Java programming language
performance analysis
Opis:: Przedmiotem tej pracy jest analiza porównawcza trzech szkieletów programistycznych do budowy aplikacji interneto-wych dla języka Java: Spring Boot 2.4.4, Micronaut 2.5.4 oraz Quarkus 1.13.4.Final. Przygotowano aplikacje testowe, wyposażone w tą samą funkcjonalność, które wykorzystano w eksperymencie, polegającym na pomiarze czasów odpowiedzi serwera na żądania typu POST, GET, PUT i DELETE – realizujące operacje na bazie danych. Dla każdej aplikacji testowej, powtórzono pięciokrotnie scenariusz, który miał na celu zmierzyć czas obsługi żądań w różnych warunkach obciążeniowych. Podczas każdego powtórzenia zwiększano wielkość obciążenia, które oznaczało średnią liczbę wysyłanych żądań na sekundę przez wirtualnych użytkowników. Równolegle z badaniami wydajności wykonano pomiary niezawodności aplikacji testowych. Niezawodność zdefiniowano jako odsetek żądań wysyłanych do serwera, które zakończyły się niepowodzeniem. W porównaniach wzięto również pod uwagę objętość kodu aplikacji testowych opartych na wybranych szkieletach. Z przeprowadzonych analiz wynikło, że pod względem większości rozpatrywanych w ramach tej pracy kryteriów najlepszym szkieletem programistycznym okazał się Micronaut.
The aim of the work is a comparative analysis of three frameworks designed for building web applications for the Java programming language: Spring Boot 2.4.4, Micronaut 2.5.4 and Quarkus 1.13.4.Final. Test applications were prepared, equipped with the same functionality as used in the experiment consisting in measuring the server response times to a request of POST, GET, PUT and DELETE performing operations on the database. For each test application, the scenario aimed at measuring the time of handling requests under various load conditions was repeated five times. During each repetition of the scenario, the load which was the average number of requests sent per second by virtual users was increased. In parallel with performance tests, the reliability of the test applications was measured. Reliability was defined as the percentage of requests sent to the server that ended in a failure. The comparative analysis also took into consideration the volume of the code of the test applications based on the selected frameworks. The performed analyses showed that in terms of most of the criteria considered in this work Micronaut proved to be the best framework.
Źródło:: Journal of Computer Sciences Institute; 2021, 21; 287--294
2544-0764
Pojawia się w:: Journal of Computer Sciences Institute
Dostawca treści:: Biblioteka Nauki

Artykuł

Zmień widok

na półce

Skocz do pozycji: 4.

Tytuł:: Dataflow approach to testing Java programs supported with DFC
Autorzy:: Bluemke, I
Rembiszewski, A
Powiązania:: https://bibliotekanauki.pl/articles/384114.pdf
Data publikacji:: 2015
Wydawca:: Politechnika Wrocławska. Oficyna Wydawnicza Politechniki Wrocławskiej
Tematy:: Java programming
data flow testing
structural programming language
DFC (Data Flow Coverage)
Opis:: Code based (“white box”) approach to testing can be divided into two main types: control flow coverage and data flow coverage methods. Dataflow testing was introduced for structural programming languages and later adopted for object languages. Among many tools supporting code based testing of object programs, only JaBUTi and DFC (Data Flow Coverage) support dataflow testing of Java programs. DFC is a tool implemented at the Institute of Computer Science Warsaw University of Technology as an Eclipse plug-in. The objective of this paper is to present dataflow coverage testing of Java programs supported by DFC. DFC finds all definition-uses pairs in tested unit and provides also the definition-uses graph for methods. After the execution of test information which def-uses pairs were covered is shown. An example of data flow testing of Java program is also presented
Źródło:: e-Informatica Software Engineering Journal; 2015, 9, 1; 9-19
1897-7979
Pojawia się w:: e-Informatica Software Engineering Journal
Dostawca treści:: Biblioteka Nauki

Artykuł

Zmień widok

na półce

Informacja

Wyszukujesz frazę "Java programming language" wg kryterium: Temat

Źródło danych

Dostawca treści

Kolekcja

Rok wydania

Wydawca

Temat

Autor

Typ dokumentu

Język