Informacja

Drogi użytkowniku, aplikacja do prawidłowego działania wymaga obsługi JavaScript. Proszę włącz obsługę JavaScript w Twojej przeglądarce.

English (EN)·Polski (PL)·Yкраїнський (UK)
Przejdź do strony domowej biblioteki Centralna Biblioteka Wojskowa Link otwiera się w nowym oknie Logo biblioteki Prolib Integro - strona głównaCentralna Biblioteka Wojskowa

Wyszukujesz frazę "Java programming" wg kryterium: Wszystkie pola

  Lista filtrów
Wyrównaj
    Wyświetlanie 1-7 z 7
    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ł
    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ł
    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ł
    Tytuł:
    Modelling CTMC with a standard programming language and using conventions from computer networking
    Modelowanie łańcuchów Markowa z czasem ciągłym przy użyciu standardowego języka programowania i z zastosowaniem konwencji z dziedziny sieci komputerowych
    Autorzy:
    Rataj, A.
    Nowak, M.
    Pecka, P.
    Powiązania:
    https://bibliotekanauki.pl/articles/375742.pdf
    Data publikacji:
    2011
    Wydawca:
    Polska Akademia Nauk. Czytelnia Czasopism PAN
    Tematy:
    Markov chain
    continuous time
    model checking
    Java
    Opis:
    Continuous time Markov chains (CTMC) are one of the formalisms for building models. This paper discusses expressing these models in a standard programming language – Java. Using such a language as a model description allows for a partially common implementation of the production software and of the description of the model, for a greater flexibility in comparison to model-checker specific languages that often do not employ features of an object-oriented programming. Using Java also makes the parsing of models relatively fast, using optimised Java runtime environment. Our approach aims at using typical mechanisms of the Java language when implementing the model, and at the same time, following closely the concepts from computer networking and from formalisms based on it, like the queueing systems. These assumption result in techniques like plain object fields constituting the state vector, or negotiation between nodes to decide if an event happens.
    Łańcuchy Markowa czasu rzeczywistego są jednym z formalizmów używanych do budowy modeli. Artykuł ten omawia wyrażanie takich modeli w standardowym języku programowania - Javie. Użycie takiego języka umożliwia częściowo wspólną implementację oprogramowania użytkowego i opisu modelu, większą elastyczność w porównaniu do często nie używających obiektowych konwencji programistycznych języków stosowanych przez oprogramowanie weryfikujące, oraz szybką budowę modelu z użyciem zoptymalizowanego środowiska czasu wykonania Javy. Nasze podejście miało na celu wykorzystanie typowych mechanizmów języka Java przy opisie modelu i jednoczesnie trzymanie się konwencji z dziedziny sieci komputerowych i pokrewnych formalizmóm typu systemy kolejkowe. Dlatego używamy technik takich jak zastosowanie pól obiektów jako elementów wektora stanu czy negocjacja pomiędzy węzłami, czy dane zdarzenie ma mieć miejsce.
    Źródło:
    Theoretical and Applied Informatics; 2011, 23, 3-4; 229-243
    1896-5334
    Pojawia się w:
    Theoretical and Applied Informatics
    Dostawca treści:
    Biblioteka Nauki
    Artykuł
    Tytuł:
    Equivalence in Java and Clojure, Design and Implementation Considerations
    Autorzy:
    Grzanek, K.
    Powiązania:
    https://bibliotekanauki.pl/articles/972869.pdf
    Data publikacji:
    2013
    Wydawca:
    Społeczna Akademia Nauk w Łodzi
    Tematy:
    Equivalence testing
    semantics
    identity
    functional programming
    Clojure
    Opis:
    Immutability and the functional programming style demand an extensible and generic approach in the domain of semantic and structural equivalence testing. The lack of a library or a framework offering such functionality for Clojure programming language led to some design and implementation efforts that this article undertakes to describe. Incidentally it tries to gather and present a collection of most severe mistakes that may be made by a programmer that attempts to test objects of various kinds for their equivalence, both in Clojure and the underlying Java run-time with it's standard library, showing simple yet usable ways to avoid them.
    Źródło:
    Journal of Applied Computer Science Methods; 2013, 5 No. 2; 137-154
    1689-9636
    Pojawia się w:
    Journal of Applied Computer Science Methods
    Dostawca treści:
    Biblioteka Nauki
    Artykuł
    Tytuł:
    A Modularity Bug in Java 8
    Autorzy:
    Kramer, S.
    Powiązania:
    https://bibliotekanauki.pl/articles/375730.pdf
    Data publikacji:
    2016
    Wydawca:
    Polska Akademia Nauk. Czytelnia Czasopism PAN
    Tematy:
    component-based software construction
    interface specifications
    object-oriented programming
    programming-language pragmatics
    konstrukcja oprogramowania komponentowego
    specyfikacje interfejsu
    programowanie obiektowe
    pragmatyka języka programowania
    Opis:
    We demonstrate a modularity bug in the interface system of Java 8 on the practical example of a textbook design of a modular interface for vector spaces. Our example originates in our teaching of modular object-oriented design in Java 8 to undergraduate students, simply following standard programming practices and mathematical denitions. The bug shows up as a compilation error and should be xed with a language extension due to the importance of best practices (design delity).
    Źródło:
    Theoretical and Applied Informatics; 2016, 28, 3; 1-7
    1896-5334
    Pojawia się w:
    Theoretical and Applied Informatics
    Dostawca treści:
    Biblioteka Nauki
    Artykuł
    Tytuł:
    Adaptive resource allocation to stochastic multimodal projects: a distributed platform implementation in Java
    Autorzy:
    Tereso, A. P.
    Mota, J. R.
    Lameiro, R. J.
    Powiązania:
    https://bibliotekanauki.pl/articles/970847.pdf
    Data publikacji:
    2006
    Wydawca:
    Polska Akademia Nauk. Instytut Badań Systemowych PAN
    Tematy:
    klaster
    programowanie dynamiczne
    cluster
    distributed platform
    activity networks
    resource allocation
    dynamic programming
    Opis:
    This paper presents the implementation of the dynamic programming model (introduced in a previous paper) for the resolution of the adaptive resource allocation problem in stochastic multimodal project networks. A distributed platform using an Object Oriented language, Java, is used in order to take advantage of the available computational resources.
    Źródło:
    Control and Cybernetics; 2006, 35, 3; 661-686
    0324-8569
    Pojawia się w:
    Control and Cybernetics
    Dostawca treści:
    Biblioteka Nauki
    Artykuł
      Wyświetlanie 1-7 z 7

      Ta witryna wykorzystuje pliki cookies do przechowywania informacji na Twoim komputerze. Pliki cookies stosujemy w celu świadczenia usług na najwyższym poziomie, w tym w sposób dostosowany do indywidualnych potrzeb. Korzystanie z witryny bez zmiany ustawień dotyczących cookies oznacza, że będą one zamieszczane w Twoim komputerze. W każdym momencie możesz dokonać zmiany ustawień dotyczących cookies