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ę "oprogramowania" wg kryterium: Temat

  Lista filtrów
Wyrównaj
Wyświetlanie 1-15 z 153
Tytuł:
Zastosowanie programowalnych struktur logicznych w urządzeniach sterowania ruchem kolejowym
Application of programmable logical structures in railway traffic control devices
Autorzy:
Kawalec, P.
Koliński, D.
Mocki, J.
Powiązania:
https://bibliotekanauki.pl/articles/215128.pdf
Data publikacji:
2005
Wydawca:
Instytut Kolejnictwa
Tematy:
funkcje sterowania
pakiety oprogramowania
sterowanie ruchem kolejowym
Opis:
Przedstawiono zagadnienia związane ze sprzętową realizacją bloków logicznych urządzeń srk w programowalnych strukturach logicznych. Zaprezentowano klasyfikację układów cyfrowych, ze szczególnym uwzględnieniem układów specjalizowanych, programowanych przez użytkownika. Opisano pakiety wspomagania komputerowego, stosowanego do projektowania układów specjalizowanych w strukturach logicznych FPLD i przedstawiono procesy: specyfikacji, weryfikacji i implementacji projektowanych układów.Zaprezentowano stanowiska badawcze do prototypowania specjalizowanych układów sterowania, zrealizowanych w programowalnych strukturach logicznych. Na przykładzie bloku logicznego samoczynnej sygnalizacji przejazdowej oszacowano szybkość działania oraz wybrane parametry niezawodnościowe układów srk, zrealizowanych w różnych technologiach.
This article presents issues concerning equipment related realisation of railway traffic control equipment logical blocks within programmable logical structures. A classification of digital systems is presented, particularly including specialised user programmable systems. The article describes a computer air package used for the design of specialised systems within the FPLD logical structures, also including presentation of the following processes: specification, verification and implementation of the designed systems. Also testing stations for the preparation of prototypes of specialised control systems realised witching programmable logical structures are presented. Based on the example of a crossing automatic signalisation logical block, the promptness of action and selected reliability parameters of railway traffic control equipment, prepared with the use of various technologies were determined.
Źródło:
Problemy Kolejnictwa; 2005, 140; 66-88
0552-2145
2544-9451
Pojawia się w:
Problemy Kolejnictwa
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
Zastosowanie kolorowanych sieci Petriego w projektowaniu systemów czasu rzeczywistego
Using coloured Petri nets for real-time systems design
Autorzy:
Samolej, S.
Trybus, B.
Powiązania:
https://bibliotekanauki.pl/articles/156259.pdf
Data publikacji:
2005
Wydawca:
Stowarzyszenie Inżynierów i Techników Mechaników Polskich
Tematy:
kolorowane sieci Petriego
systemy czasu rzeczywistego
inżynieria oprogramowania
coloured Petri nets
real-time systems
software engineering
Opis:
W artykule przedstawiono metodę zastosowania kolorowanych sieci Petriego (sieci CPN) do wytwarzania systemów czasu rzeczywistego. Opis systemu prowadzony jest przy użyciu metodyki SDRTS (Structured Design for Real-Time Systems) i sieci CPN. Ostatecznym rezultatem procesu projektowego jest zbiór hierarchicznych czasowych sieci CPN odpowiadajacych diagramom metodyki SDRTS, umożliwiający symulację i formalną analizę wytwarzanego systemu.
A way of application of coloured Petri nets (CPN) in real-time systems development is presented in the paper. The system is described simultaneously using SDRTS (Structured Design for Real-Time Systems) method and CPN language. The final result of the development process is a set of hierarchical timed coloured Petri nets corresponding to SDRTS diagrams that makes it possible to simultane and formally analyse the system designed.
Źródło:
Pomiary Automatyka Kontrola; 2005, R. 51, nr 1, 1; 11-13
0032-4140
Pojawia się w:
Pomiary Automatyka Kontrola
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
Zastosowanie języka LOTOS do modelowania wybranych struktur metody HOOD
Use of LOTOS language in modeling HOOD method structures
Autorzy:
Brzuchcz, R.
Powiązania:
https://bibliotekanauki.pl/articles/320396.pdf
Data publikacji:
2006
Wydawca:
Akademia Górniczo-Hutnicza im. Stanisława Staszica w Krakowie. Wydawnictwo AGH
Tematy:
systemy czasu rzeczywistego
weryfikacja oprogramowania
algebry procesów
abstrakcyjne typy danych
LOTOS
HOOD
real-time systems
software verification
process algebras
abstract data types
Opis:
W pracy zaprezentowano możliwości użycia języka LOTOS [3, 7] w projektowaniu oprogramowania systemów czasu rzeczywistego metodą HOOD [6, 13]. Wybrane struktury HOOD zostają wyrażone w języku algebry procesów i abstrakcyjnych typów danych, co zapewnia możliwość formalnej analizy tworzonego projektu. We wprowadzeniu do pracy wyjaśniono cel i motywacje do tworzenia modelu formalnego projektu systemu czasu rzeczywistego. Następnie przedstawiono skrócony opis metodyki hierarchicznego projektowania HOOD, której notacja i proces projektowy stanowią bazę dla proponowanej metody formalizacji. Wyjaśniono znaczenie takich konstrukcji, jak moduł, interfejs, operacja, hierarchia użycia i zawierania. W kolejnym punkcie, po krótkim przedstawieniu języka LOTOS [3, 7], zaprezentowano technikę, w której konstrukcje metody HOOD zostają zinterpretowane w języku formalnym algebry procesów i abstrakcyjnych typów danych. Opis przeprowadzony jest dla prostego przykładu projektu w HOOD, celem wyjaśnienia istoty interpretacji. W części końcowej pracy podano wnioski wraz ze wskazaniem dalszych możliwych kierunków rozwoju i zastosowań prezentowanej metody.
The article presents a possibility of using LOTOS [3, 7] formal language in the HOOD [6, 13] real-time system design. Process algebras and abstract data types are used to express some HOOD structures in order to allow formal analysis of the system. The introduction explains the motivations and the goal of the work. Then, there is a brief survey of the HOOD hierarchical design method in the next point. It states as the base for the formalization method explained in the article. The notions of module, interface, operation, use and include relations are briefly explained. After it, the simple LOTOS language constructs are also presented. Next point explains the formalization of the HOOD structures. This is the most essentials part of the work where the method is presented on the exemplary HOOD diagram. LOTOS code is produced relate to the HOOD informal semantic. It expresses the main concepts of the HOOD dynamic model. There are the conclusions and further works proposals at the end of the article.
Źródło:
Elektrotechnika i Elektronika; 2006, 25, 1; 1-9
1640-7202
Pojawia się w:
Elektrotechnika i Elektronika
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
Zasady wdrażania rozwiązań open source
Rules for implementing open source solutions
Autorzy:
Kotuła, Sebastian D.
Powiązania:
https://bibliotekanauki.pl/articles/473848.pdf
Data publikacji:
2018
Wydawca:
Uniwersytet Marii Curie-Skłodowskiej. Instytut Informacji i Bibliotekoznawstwa
Tematy:
open source
wdrażanie programowania
zasady wyboru oprogramowania
uniwersalne kryteria wyboru
implementation of software
the rules of choice of software
universal selection criteria
Opis:
Od ponad trzydziestu lat na rynku funkcjonują programy wolne, a od około dwudziestu także otwarte, zaś od kilkunastu pojawiają się łącznie wolne i otwarte. Różnorodność terminologiczna w tym zakresie, nieznajomość definicji rzeczonych kategorii programów, potoczne wyobrażenia z nimi związane, jak również słabe rozeznanie w rynku oprogramowania wolnego i/lub otwartego wśród konsumentów może wpływać negatywnie na decyzje dotyczące wdrażania tych rozwiązań informatycznych we własnej działalności. W związku z tym postanowiono wskazać i omówić kryteria wyboru, jakimi powinien kierować się użytkownik, podejmując decyzję o implementacji rozwiązań open source w dowolnej działalności w każdej niemalże sferze, gdzie wykorzystuje się programy komputerowe. Skoncentrowano się jedynie na oprogramowaniu open source, które zapewnia większą swobodę wykorzystania także w działalności komercyjnej. Wskazane kryteria wyboru ustalono na podstawie publikacji naukowych i publicystycznych, jak również własnego doświadczenia podczas pracy z tym rodzajem oprogramowania. W rezultacie zaprezentowano uniwersalny zestaw kryteriów, w którym znalazły się następujące: funkcjonalność, użyteczność, wykonanie/interfejs, dostępność/sposób dystrybucji, dokumentacja, praktyka licencyjna, kod źródłowy, łatwość personalizacji, łatwość implementacji, cena/koszt, niezawodność, możliwości, rozeznanie rynkowe (ang. market penetration), społeczność/wsparcie, rodowód, model rozwoju oprogramowania, lista błędów/problemów, target, wieloplatformowość, interoperacyjność, modularność. Użytkownik zainteresowany ich wykorzystaniem może dowolnie wybierać spośród nich te, które jego zdaniem w danej sytuacji są najbardziej kluczowe lub też może kierować się nimi wszystkimi, a nawet rozbudowywać, dodając kolejne, jeśli zajdzie taka potrzeba. Na koniec opisany zestaw kryteriów zastosowano przy ocenie dystrybucji Ubuntu, jaką jest DigitLab, czyli laboratorium digitalizacyjne.
For more than thirty years, there has been free software on the market, and for about twenty years there also have been open source software, and even also under a common name free and open source software. Terminological diversity, ignorance of the definition of the said categories of software, common ideas associated with them, as well as poor understanding of the free and/or open source software on the market may negatively affect the consumer’s decisions regarding the implementation of these IT solutions in their own businesses. Therefore, it was decided to indicate and discuss the selection criteria that should be followed by the user, who decided to implement open source solutions in any activity in almost every sphere where computer software is used. The focus is only on open source software, which provides greater freedom of use also in commercial activities. The indicated selection criteria were established on the basis of scientific and journalistic publications as well as personal experience while working with this type of software. As a result, a universal set of criteria was presented, including the following: functionality, usability, realization/interface, availability/distribution method, documentation, licensing practice, source code, ease of personalization, ease of implementation, price/cost, reliability, opportunities, market penetration, community/support, pedigree, software development model, error/problem list, target, cross-platform, interoperability, modularity. The user interested in using them can freely choose among them those, which in his opinion are the most crucial in a given consignment or can be guided by all of them, and even expanded, adding further, if necessary. Finally, the given set of criteria was used when evaluating one of the distribution of Ubuntu, which is DigitLab (digitization laboratory).
Źródło:
Informatio et Scientia. Information Science Research; 2018, 1(1); 0-50
2544-9664
Pojawia się w:
Informatio et Scientia. Information Science Research
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
Zarządzanie jakością i niezawodnością oprogramowania w systemach związanych z bezpieczeństwem
Software quality and reliability management in safety-related systems
Autorzy:
Porzeziński, M.
Powiązania:
https://bibliotekanauki.pl/articles/2069725.pdf
Data publikacji:
2011
Wydawca:
Uniwersytet Morski w Gdyni. Polskie Towarzystwo Bezpieczeństwa i Niezawodności
Tematy:
jakość oprogramowania
niezawodność oprogramowania
bezpieczeństwo funkcjonalne
systemy związane z bezpieczeństwem
software quality
software reliability
functional safety
safety-related systems
Opis:
This article is concerned with the methods of ensuring the required quality and reliability of software in safetyrelated systems. The basic types of software reliability models and their specific properties are presented. The principles of managing the process of software development, based on the "Model V" life cycle, with particular emphasis on the role of inspection and testing processes are discussed. Also the methodology of quality management and reliability of the software recommended by the PN-EN 61508-3 are outlined. At the end the concept of application to support the process of assessing the quality and integrity of the safety-related software is described.
Źródło:
Journal of Polish Safety and Reliability Association; 2011, 2, 3; 45--52
2084-5316
Pojawia się w:
Journal of Polish Safety and Reliability Association
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
Wykorzystanie modeli danych do weryfikacji implementacji wzorców projektowych
Autorzy:
Wojszczyk, R.
Khadzhynov, W.
Powiązania:
https://bibliotekanauki.pl/articles/118470.pdf
Data publikacji:
2016
Wydawca:
Politechnika Koszalińska. Wydawnictwo Uczelniane
Tematy:
wzorce projektowe
model danych
ERD
weryfikacja oprogramowania
design patterns
data model
verifying implementation
Opis:
Wzorce projektowe to zagadnienie szeroko opisywane w uznanej literaturze i wykorzystywane przez wielu programistów, ale mimo to nie ma nad nimi formalnej kontroli. W artykule poruszony został problem weryfikacji implementacji wzorców projektowych stosowanych w programowaniu obiektowym. W procesie weryfikacji wyróżniono dwa modele danych: formalną reprezentację będącą ekwiwalentem badanego oprogramowania oraz repozytorium implementacji wzorców zawierające informacje opisujące implementację wzorców projektowych. Opracowane rozwiązanie pozwoli wykazać błędy i potencjalne problemy w implementacji.
Although the design patterns constitute the issue that has been widely discussed in the literature and used by many software developers, there is no formal control over them. The article discussed the problem of verifying the implementation of design patterns applied in object-oriented programming. Two following data models were distinguished in the process of verification: a formal representation that is an equivalent of the analysed software, and a repository of implementation of patterns containing information describing the implementation of design patterns. The proposed solution will make it possible to show implementation errors and potential problems.
Źródło:
Zeszyty Naukowe Wydziału Elektroniki i Informatyki Politechniki Koszalińskiej; 2016, 10; 193-209
1897-7421
Pojawia się w:
Zeszyty Naukowe Wydziału Elektroniki i Informatyki Politechniki Koszalińskiej
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
Wybrane problemy projektowe hybrydowego systemu wspomagania decyzji dla służb ratowniczych PSP
The hybrid decision support system for Fire Service – chosen project’s problems
Autorzy:
Mirończuk, Marcin Michał
Maciak, Tadeusz
Powiązania:
https://bibliotekanauki.pl/articles/41205336.pdf
Data publikacji:
2014
Wydawca:
Uniwersytet Kazimierza Wielkiego w Bydgoszczy
Tematy:
system wspomagania decyzji
system ekspertowy
SWD
hybrydowy system wspomagania decyzji
HSWD
model procesu rozwoju solidnego oprogramowania
DFTS
design for trustworthy software
hybrid decision support system
project’s problem of hybrid decision support system
Opis:
W artykule przedstawiono problematykę projektowania modelu hybrydowego systemu wspomagania decyzji dla Państwowej Straży Pożarnej. Do realizacji systemu wybrano metodę projektowania oprogramowania godnego zaufania (ang. design for trustworthy software – DFTS). W artykule w szczególności położono nacisk na omówienie etapu planowania wymagań i projektowania całości proponowanej platformy.
This article describes the process of designing a hybrid decision support system HSWD for the Fire Service. This designing process realize a methodology of design for trustworthy software – DFTS. In this article describes chosen project problems and their solution on the first stage of proposed design process. In this paper authors describe causes and consequences of the absence of certain information solutions in the PSP. Especially authors describe three source like a methodology, environment and user of these causes. These sources at the beginning of the project play a central role. At the beginning of the project the source like a software, hardware and measurement play a less significant role. The authors in detail describe any cause and gave way to its solution.
Źródło:
Studia i Materiały Informatyki Stosowanej; 2014, 15; 11-22
1689-6300
Pojawia się w:
Studia i Materiały Informatyki Stosowanej
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
Wybrane aspekty bezpieczeństwa zakładowych systemów informatycznych
Selected aspects of the security of corporate IT systems
Autorzy:
Mendyk-Krajewska, T.
Mazur, Z.
Powiązania:
https://bibliotekanauki.pl/articles/253311.pdf
Data publikacji:
2012
Wydawca:
Instytut Naukowo-Wydawniczy TTS
Tematy:
systemy informatyczne
bezpieczeństwo
błąd oprogramowania
sieci przemysłowe
IT systems
security
software error
industrial networks
Opis:
Jedną z przyczyn naruszeń bezpieczeństwa systemów informatycznych są błędy oprogramowania, które można wykorzystać, by uzyskać nielegalny dostęp do danych lub całkowicie przejąć kontrolę nad systemem. Problem ten dotyczy także nie pozbawionych wad sieci przemysłowych (przede wszystkim z powodu coraz częstszego ich łączenia z zakładowymi sieciami informatycznymi) i jest poważny, z powodu skali zjawiska i braku radykalnych rozwiązań. W ostatnim okresie obserwuje się wzrost zagrożeń dla bezpieczeństwa systemów zakładowych i sieci przemysłowych, których skutki mogą być bardzo groźne.
One of the sources of breaching the security of IT systems lies in software faults that can be used to gain unauthorized access to data or to take over the control over the system. This problem also concerns industrial networks (mostly because of more popular integration with corporate networks) and is quite serious given its extent and the lack of radical solutions. Most recently we have witnessed the increase of threats for the security of corporate and industrial networks, which may result in severe consequences.
Źródło:
TTS Technika Transportu Szynowego; 2012, 9; 329-338, CD
1232-3829
2543-5728
Pojawia się w:
TTS Technika Transportu Szynowego
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
Wpływ procedur i narzędzi stosowanych przy projektowaniu mostów na bezpieczeństwo ich konstrukcji
Impact of bridge design procedures and tools on the safety of bridge structures
Autorzy:
Bąk, Jerzy
Grej, Krzysztof
Pijanowski, Krzysztof
Oleszek, Radosław
Powiązania:
https://bibliotekanauki.pl/articles/24024766.pdf
Data publikacji:
2022
Wydawca:
Stowarzyszenie Inżynierów i Techników Komunikacji Rzeczpospolitej Polskiej
Tematy:
bezpieczeństwo konstrukcji
procedura obliczeń
błąd oprogramowania
construction safety
calculation procedures
software error
Opis:
W artykule omówiono wpływ procedur stosowanych w obliczeniach konstrukcji mostowych na bezpieczeństwo konstrukcji. Porównano wyniki obliczeń wybranych elementów konstrukcji uzyskane przy zastosowaniu procedur rekomendowanych obecnie w Polsce z wynikami uzyskanymi z użyciem procedur powiązanych z systemem norm PN-S-XXXXX, które były stosowane przed kilkoma laty. Zwrócono uwagę na zwiększoną pracochłonność obliczeń wykonywanych według norm systemu PN-EN, a także na utrudniony proces weryfikacji obliczeń i związane z tym zagrożenie dla konstrukcji spowodowane trudnością w wykrywaniu błędów. Podano przykłady błędów i nieścisłości w oprogramowaniu i kalkulatorach do obliczeń konstrukcyjnych powszechnie stosowanych w Europie (i gdzie indziej). Wskazano warunki, które powinny być spełnione dla ich bezpiecznego użytkowania.
The article discusses the impact of procedures used in the calculation of bridge structures on the safety of structures. A comparison was made between the results of calculations of selected structural elements obtained using procedures currently recommended in Poland and those obtained using procedures associated with the PN-S-XXXXX system of standards which were used several years ago. Attention has been drawn to the increased time-consumption of calculations made according to PN-EN system standards, as well as to the difficult process of verifying calculations and the related threat to structures caused by the difficulty in detecting errors. Examples are given of errors and inaccuracies in software and calculators for structural calculations commonly used in Europe (and elsewhere). Conditions which should be met for their safe use are indicated.
Źródło:
Drogownictwo; 2022, 2-3; 40--48
0012-6357
Pojawia się w:
Drogownictwo
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
Wpływ ITIL na procesy obsługi błędów oprogramowania
Autorzy:
Chomiak-Orsa, Iwona
Osińska, Angelika
Powiązania:
https://bibliotekanauki.pl/articles/431968.pdf
Data publikacji:
2018
Wydawca:
Wydawnictwo Uniwersytetu Ekonomicznego we Wrocławiu
Tematy:
błąd oprogramowania
usługa
proces
ITIL
obsługa błędów
eksploatacja usług
doskonalenie procesu
Opis:
Rozwój rynku produktów IT przyczynił się, z jednej strony, do wzrostu rozwiązań powielarnych, z drugiej zaś – do poszukiwania przez przedsiębiorców rozwiązań idealnie dopasowanych do ich potrzeb. Zdeterminowało to zmiany w idei dostępności do kodu oraz możliwości realizacji modyfikacji w oprogramowaniu nie tylko przez deweloperów oprogramowania, ale również przez użytkowników końcowych. Każda jednak zmiana w oprogramowaniu przyczynić się może do powstania błędu, dlatego też przebieg procesu obsługi błędów oprogramowania jest ważnym zagadnieniem dla każdego przedsiębiorstwa, którego funkcjonowanie opiera się na systemach informatycznych. Proces ten powinien być jasny, sprawny, kontrolowany i ustawicznie doskonalony. Dlatego też coraz częściej poszukuje się skutecznych narzędzi, które umożliwią skuteczne zarządzanie tym procesem. Artykuł niniejszy wskazuje, że skutecznym narzędziem może być model zarządzania usługami IT, jakim jest Information Technology Infrastructure Library (ITIL). Celem artykułu jest wykazanie, iż koncepcja ITIL jest właściwym wyborem dla problemu poprawy procesu obsługi błędów oprogramowania
Źródło:
Informatyka Ekonomiczna; 2018, 1(47); 22-31
1507-3858
Pojawia się w:
Informatyka Ekonomiczna
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
Weryfikacja użycia metody oceny jakości implementacji wzorców projektowych w zastosowaniu produkcyjnym
Autorzy:
Wojszczyk, Rafał
Stola, Piotr
Powiązania:
https://bibliotekanauki.pl/articles/118560.pdf
Data publikacji:
2019
Wydawca:
Politechnika Koszalińska. Wydawnictwo Uczelniane
Tematy:
wzorce projektowe
jakość oprogramowania
zwinne wytwarzanie oprogramowania
design patterns
software quality
agile development
Opis:
Programiści pracujący zgodnie z metodykami zwinnymi bardzo chętnie implementują wzorce projektowe w trakcie swojej pracy. Często robią to bazując wyłącznie na własnym doświadczeniu, co nie uwzględnia dodatkowych korzyści, których można oczekiwać po implementacji wzorców. Celem artykułu jest przedstawienie przebiegu i wyników z weryfikacji metody oceny wzorców projektowych w zastosowaniu produkcyjnym. Eksperyment przeprowadzono wspólnie z zewnętrzną firmą, pracującą według zwinnej metodyki wytwórczej.
Developers working according to agile methodologies are very happy to implement design patterns in their work. They often do so based solely on their own experience, which does not take into account the additional benefits that can be expected from implementing patterns. The purpose of the article is to present the mileage and results of verification of the method of assesment design patterns in production. The experiment was conducted jointly with an external company, working according to a agile manufacturing methodology.
Źródło:
Zeszyty Naukowe Wydziału Elektroniki i Informatyki Politechniki Koszalińskiej; 2019, 14; 83-92
1897-7421
Pojawia się w:
Zeszyty Naukowe Wydziału Elektroniki i Informatyki Politechniki Koszalińskiej
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
Walidacja oprogramowania współrzędnościowych maszyn pomiarowych
Validation of the CMM software
Autorzy:
Nieciąg, H.
Tabisz, R. A.
Powiązania:
https://bibliotekanauki.pl/articles/155798.pdf
Data publikacji:
2011
Wydawca:
Stowarzyszenie Inżynierów i Techników Mechaników Polskich
Tematy:
walidacja
systemy pomiarowe
współrzędnościowe maszyny pomiarowe
walidacja oprogramowania
validation
measurement systems
CMMs
software validation
Opis:
Zaproponowano ogólną metodologię walidacji oprogramowania systemów pomiarowych. Przedstawiono możliwość zastosowania tej metodologii do walidacji oprogramowania współrzędnościowych maszyn pomiarowych (WMP). Maszyny te stanowią bardzo ważne wyposażenie pomiarowe w przemyśle, stosującym zaawansowane technologie. Aktualnie brakuje ujednoliconych procedur walidacji oprogramowania tego rodzaju systemów. Publikacja jest wynikiem pierwszego wspólnego podejścia autorów do ujednolicenia działań dotyczących walidacji oprogramowania WMP. Głównymi etapami proponowanej metodologii są: dekompozycja oprogramowania na części, moduły i komponenty, określenie fazy realizacji komponentu, ustalenie kategorii ryzyka, wyspecyfikowanie wymagań, opracowanie procedury walidacji odpowiedniej dla ocenianego komponentu, przeprowadzenie walidacji i wygenerowanie jej certyfikatu.
A general validation methodology for measurement system software is proposed. The possibility of applying this methodology to validation of the software of coordinate measuring machines (CMM) is presented. These machines are important measurement equipment of industrial plants using advanced technologies. Up to now there have not been developed unified and standardized procedures for software validation of such systems. The publication is the result of the authors' joined approach to developing the unified validation methodology of the CMMs software. The main stages of the proposed methodology are: decomposition of the software into parts, modules and components, specifying the requirements, development of the validation procedure appropriate to the assessed component. Since the requirements can be different for each type of the software component subjected to validation, the software examination should be carried in accordance to them. The necessary stage is preparation and generation of the validation certificate.
Źródło:
Pomiary Automatyka Kontrola; 2011, R. 57, nr 12, 12; 1611-1616
0032-4140
Pojawia się w:
Pomiary Automatyka Kontrola
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
Verification of accuracy and cost of use methos of quality assessment of implementation of design patterns
Autorzy:
Wojszczyk, Rafał
Powiązania:
https://bibliotekanauki.pl/articles/118093.pdf
Data publikacji:
2019
Wydawca:
Polskie Towarzystwo Promocji Wiedzy
Tematy:
design patterns
software quality
quality assessment
wzorce projektowe
jakość oprogramowania
ocena jakości
Opis:
Professional programmers use many additional tools over the Integrated Development Environment during their work. Very often they are looking for new solutions, while expecting that the new tool will provide accurate results, and the cost of use will fit within the planned budget. The aim of the article is to present the results of two comparative analyzes carried out in terms of accuracy and the cost of using the quality assessment method of implementation of design patterns.
Źródło:
Applied Computer Science; 2019, 15, 1; 5-17
1895-3735
Pojawia się w:
Applied Computer Science
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
Użytkownik programu komputerowego a użytkownik w rozumieniu przepisów Kodeksu cywilnego
A Computer Program User and a User within the Meaning of the Civil Code
Autorzy:
Szczypa, Mateusz
Powiązania:
https://bibliotekanauki.pl/articles/22792455.pdf
Data publikacji:
2019-12-30
Wydawca:
Stowarzyszenie Absolwentów i Przyjaciół Wydziału Prawa Katolickiego Uniwersytetu Lubelskiego
Tematy:
użytkownik
użytkownik programu komputerowego
użytkownik oprogramowania
użytkownik aplikacji
użytkowanie prawa
user
computer program user
software user
application user
use of law
Opis:
Oprogramowanie komputerowe stało się elementem codzienności. Przybiera różne formy, przede wszystkim oprogramowania komputerów osobistych i smartfonów. Potocznie o osobach korzystających z tego rodzaju urządzeń oraz oprogramowania mówi się „użytkownicy”. Pojęcie użytkownika, a właściwie użytkowanie, zostało zdefiniowane w Kodeksie cywilnym. O użytkowniku oprogramowania w znaczeniu zgodnym z kodeksem cywilnym mówimy w przypadkach, kiedy podmiot uprawniony do korzystania jest użytkownikiem autorskich praw majątkowych. W przypadku zdecydowanej większości użytkowników programów komputerowych, są oni jedynie licencjobiorcami.
Computer software has become an element of everyday life. It takes various forms, mostly personal computers and smartphones. Generally people using this type of device and software are said to be ‘users.’ The term ‘user’ or more specific ‘use’ has been defined in the Civil Code. We mean the user of software in accordance with the Civil Code mostly when the entity authorized to the software is authorized to the author’s economic rights as well. Most entities authorized to the computer software are only licensed users.
Źródło:
Biuletyn Stowarzyszenia Absolwentów i Przyjaciół Wydziału Prawa Katolickiego Uniwersytetu Lubelskiego; 2019, 14, 16 (2); 101-110
2719-3128
2719-7336
Pojawia się w:
Biuletyn Stowarzyszenia Absolwentów i Przyjaciół Wydziału Prawa Katolickiego Uniwersytetu Lubelskiego
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
Uwzględnianie oczekiwań pracodawców w definiowaniu zakresu przedmiotowego kursów na przykładzie nauczania platform programistycznych
Taking Into Account the Expectations of Employers in Defining the Scope of the Courses on the Example of Teaching Development Platforms
Autorzy:
JABŁOŃSKI, Bartosz
Powiązania:
https://bibliotekanauki.pl/articles/455096.pdf
Data publikacji:
2015
Wydawca:
Uniwersytet Rzeszowski
Tematy:
dopasowanie oferty edukacyjnej
współpraca z przemysłem
iteracyjny rozwój oprogramowania
platformy programistyczne
education scope tailoring
industrial cooperation
iterative software development
programming platforms
Opis:
W opracowaniu został zaprezentowany jeden ze sposobów uwzględniania aktualnej wiedzy w procesie kształcenia oferowanego w szczególności dla kierunków technicznych. Zaprezentowana została analiza przypadku dla prowadzonego na Politechnice Wrocławskiej kursu „Platformy programistyczne .Net i Java”. Uwzględnienie potrzeb przyszłych pracodawców w programie zajęć kursu pozwoliło osiągnąć wiele pozytywnych rezultatów: skupienie się na umiejętnościach niezbędnych dla absolwenta, poznanie aktualnych całościowych rozwiązań technologicznych oraz mierzalny wysoki poziom satysfakcji uczestników kursu. W artykule przedstawiono również przykładowe wykorzystane praktyki, które mogą być z powodzeniem stosowane także w przypadku innych przedmiotów i kierunków.
This paper presents one of the methods of taking into consideration current knowledge in the educational process, specifically for technical departments. Case study results are presented for a course provided within Wroclaw University of Technology „Programming platforms .Net and Java”. Taking into consideration needs of future employers helped dramatically to reach several goals: focusing on skills and knowledge, which are crucial for graduates, having contact with up to date technical solutions and high level of participants satisfaction. In this paper a list of good practices were presented – they can be certainly used in cases for other courses and field of studies.
Źródło:
Edukacja-Technika-Informatyka; 2015, 6, 4; 45-50
2080-9069
Pojawia się w:
Edukacja-Technika-Informatyka
Dostawca treści:
Biblioteka Nauki
Artykuł
Wyświetlanie 1-15 z 153

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