Informacja

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

Wyszukujesz frazę "software systems" wg kryterium: Temat


Wyświetlanie 1-74 z 74
Tytuł:
Optimal Resource Allocation for Reliability of Modular Software Systems
Optymalizacja alokacji nakładów w procesie wytwarzania programu o znanej strukturze modułowej
Autorzy:
Worwa, K.
Stanik, J.
Data publikacji:
2011
Wydawca:
Wojskowa Akademia Techniczna im. Jarosława Dąbrowskiego
Tematy:
struktura modułowa programu
testowanie oprogramowania
niezawodność oprogramowania
modular software systems
software testing
software reliability
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
Methods and models of reliable software protection systems
Metody i modele systemów ochrony niezawodności oprogramowania
Autorzy:
Aleksander, M.
Petrov, A.
Data publikacji:
2016
Wydawca:
Instytut Naukowo-Wydawniczy "SPATIUM"
Tematy:
software protection systems
software reliability
executable code
analysis of executable code
systemy ochrony
niezawodność oprogramowania
kod wykonywalny
analiza kodu wykonywalngo
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
Porównanie systemów tomograficznych na podstawie danych podanych przez przedstawicieli firm do zapytania ofertowego. Cz. 3, Parametry jakości obrazowania
Comparison of the tomographic systems based on data provided by the company’s representatives for the inquiry. P. 3, Image quality parameters
Autorzy:
Oborska-Kumaszyńska, D.
Data publikacji:
2018
Wydawca:
Indygo Zahir Media
Tematy:
systemy tomograficzne
radioterapia
funkcjonalności software systemów TK
CT systems
radiotherapy
CT software modalities
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
Integrated software tools supporting decision making on identification, prediction and optimization of complex technical systems operation, reliability and safety. Part 1. Integrated software tools description
Autorzy:
Blokus-Roszkowska, A.
Kołowrocki, K.
Fu, X.
Data publikacji:
2011
Wydawca:
Uniwersytet Morski w Gdyni. Polskie Towarzystwo Bezpieczeństwa i Niezawodności
Tematy:
reliability
identification
prediction
optimization
technical systems
software tools
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
Recent upgrading of the nanosecond pulse radiolysis setup and construction of laser flash photolysis setup at the Institute of Nuclear Chemistry and Technology in Warsaw, Poland
Autorzy:
Szreder, Tomasz
Data publikacji:
2022
Wydawca:
Instytut Chemii i Techniki Jądrowej
Tematy:
computer-controlled systems
data collection software
data processing software
laser flash photolysis
pulse radiolysis
time-resolved techniques
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.
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
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
Projekt programu ekspertowego do krótkookresowych przeglądów diagnostycznych pojazdów silnikowych
Draft of expert program for short-term diagnosis of engine vehicles
Autorzy:
Kotyk, M.
Jóźwiak, S.
Maćkowiak, P.
Data publikacji:
2015
Wydawca:
Politechnika Bydgoska im. Jana i Jędrzeja Śniadeckich. Wydawnictwo PB
Tematy:
diagnostyka
układ hamulcowy
oprogramowanie
inżynieria mechaniczna
diagnostics
braking systems
software
mechanical engineering
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
Rapid design and development of control applications for electrical engineering
Szybkie tworzenie aplikacji kontrolno-pomiarowych na potrzeby elektrotechniki
Autorzy:
Wojnicki, I.
Rad, M.
Data publikacji:
2013
Wydawca:
Akademia Górniczo-Hutnicza im. Stanisława Staszica w Krakowie. Wydawnictwo AGH
Tematy:
programming
control systems
software design
electric machines
programowanie
systemy sterowania
projektowanie oprogramowania
maszyny elektryczne
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
Quality Modelling for Web-based Information Systems
Modelowanie jakości webowych systemów informatycznych
Autorzy:
Worwa, K.
Stanik, J.
Data publikacji:
2011
Wydawca:
Wojskowa Akademia Techniczna im. Jarosława Dąbrowskiego
Tematy:
webowe systemy informatyczne
jakość oprogramowania systemów webowych
modelowanie jakości oprogramowania
Web-based information systems
quality of Web-based software
software quality modelling
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
Systemy zarządzania wiedzą w projektach wytwarzania oprogramowania
Knowledge management systems in software development projects
Autorzy:
Wójcik, Przemysław
Wolak, Jacek
Data publikacji:
2018
Wydawca:
Uniwersytet Ekonomiczny w Katowicach
Tematy:
Projekty wytwarzania oprogramowania
Systemy zarządzania wiedzą
Zarządzanie wiedzą
Knowledge management
Knowledge management systems
Software projects
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
Object-oriented programming as a method for developing software in rail-traffic-control computer systems
Programowanie obiektowe jako metoda tworzenia oprogramowania w komputerowych systemach sterowania ruchem kolejowym
Autorzy:
Sumiła, M.
Lewiński, A.
Data publikacji:
2010
Wydawca:
Polska Akademia Nauk. Czytelnia Czasopism PAN
Tematy:
sterowanie ruchem kolejowym
programowanie obiektowe
bezpieczne oprogramowanie
rail control systems
object-oriented programming
safe software
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
Potential of Multi-Agent Systems for Operation of Transportation Systems
Potencjał systemów wieloagentowych w zastosowaniu do eksploatacji systemu transportowego
Autorzy:
Madejski, J.
Data publikacji:
2016
Wydawca:
Sieć Badawcza Łukasiewicz - Przemysłowy Instytut Automatyki i Pomiarów
Tematy:
software agents
multi-agent systems
simulation
planning
inspection
agenty programowe
systemy wieloagentowe
symulacja
planowanie
kontrola
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
Asercyjne rozszerzenie języka ST normy IEC 61131-3 do dynamicznej weryfikacji systemów sterowania
Assertional extension in ST language of IEC 61131-3 standard for control systems dynamic verification
Autorzy:
Sadolewski, J.
Data publikacji:
2011
Wydawca:
Sieć Badawcza Łukasiewicz - Przemysłowy Instytut Automatyki i Pomiarów
Tematy:
oprogramowanie
projektowanie kontraktowe
język ST
systemy sterowania
software
design by contract
Structured Text language
control systems
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.
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
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
Localisation and acquisition of knowledge in software developing organisations in the light of empirical research
Autorzy:
Chrabański, Karol
Data publikacji:
2013
Wydawca:
Wydawnictwo Uniwersytetu Ekonomicznego we Wrocławiu
Tematy:
knowledge management
knowledge localisation
knowledge acquisition
quality management systems
software developing organisation
organisation of empirical studies
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
Metodyka prowadzenia projektów oprogramowania systemów pomiarowo-sterujących
Project management methodology for control and measuring systems
Autorzy:
Łukaszewski, R.
Zawistowski, P.
Data publikacji:
2010
Wydawca:
Stowarzyszenie Inżynierów i Techników Mechaników Polskich
Tematy:
systemy pomiarowo-sterujące
zarządzanie projektami
inżynieria oprogramowania
PRINCE2
Scrum
DSDM
control-measuring systems
project management
software engineering
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
Platforma narzędziowa SELF w modelu SaaS do automatyzacji i standaryzacji wytwarzania rozwiązań
SELF Tool Platform in SaaS Model for Automation and Standardization of Solutions Generatione
Autorzy:
Kraszewska, Marta
Kraszewski, Wojciech
Wojtas, Jadwiga
Data publikacji:
2023
Wydawca:
Sieć Badawcza Łukasiewicz - Przemysłowy Instytut Automatyki i Pomiarów
Tematy:
Software as a Service
SaaS
Soneta
platforma SELF
Soneta Elevation LifeCycle Framework
systemy ERP
SELF platform
ERP systems
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
Optymalizacja realizacji układowej hierarchicznych sieci Petriego
The implementation optimization of the hierarchical Petri nets
Autorzy:
Stasiak, A.
Data publikacji:
2007
Wydawca:
Stowarzyszenie Inżynierów i Techników Mechaników Polskich
Tematy:
projektowanie zintegrowane
sieci Petriego
model formalny
systemy osadzone
systemy cyfrowe
mikrosystemy cyfrowe
FPGA
hardware-software codesign
Petri nets
formal model
embedded systems
digital systems
digital microsystems
PLD
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
Metody walidacji i weryfikacji specyfikacji funkcjonalnej mikrosystemu cyfrowego
Validation and verification methods of the digital microsystem functional specification
Autorzy:
Stasiak, A.
Skowroński, Z.
Data publikacji:
2007
Wydawca:
Stowarzyszenie Inżynierów i Techników Mechaników Polskich
Tematy:
projektowanie zintegrowane
sieci Petriego
model formalny
systemy osadzone
systemy cyfrowe
mikrosystemy cyfrowe
FPGA
hardware-software codesign
Petri nets
formal model
embedded systems
digital systems
digital microsystems
PLD
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
Program PSCAD/EMTDC jako wygodne narzędzie do modelowania linii napowietrznych
Modelling of Overhead Lines by the PSCAD/EMTDC
Autorzy:
Smolarczyk, A.
Chmielak, W.
Data publikacji:
2016
Wydawca:
Sieć Badawcza Łukasiewicz - Instytut Elektrotechniki
Tematy:
linie napowietrzne
stany przejściowe
modelowanie
PSCAD/EMTDC
overhead lines
transients in power systems
power system modelling
PSCAD/EMTDC software
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
Problemy kultury języka informatyki na przykładzie wybranego zagadnienia terminologicznego
The problems of IT language culture. An example of a terminological issue
Autorzy:
Polak, Przemysław
Data publikacji:
2018
Wydawca:
Uniwersytet Rzeszowski. Wydawnictwo Uniwersytetu Rzeszowskiego
Tematy:
społeczeństwo informacyjne
systemy informacyjne
technologia informacyjna
kultura języka
funkcjonalność oprogramowania
e-society
information systems
information technology
language culture
software functionality
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
Code comprehension as a distributed construction of meanings
Podejście do zrozumienia kodu jako do konstrukcji sensu
Autorzy:
Cofta, Piotr
Data publikacji:
2019
Wydawca:
Wojskowa Akademia Techniczna im. Jarosława Dąbrowskiego
Tematy:
computer science
code comprehension
social systems theory
reverse engineering
software maintenance
informatyka
rozumienie kodu
teoria systemów społecznych
inżynieria odwrotna
utrzymanie oprogramowania
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.
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
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
Koncepcja metodyki zarządzania procesem wytwórczymsystemów pomiarowo-sterujących
The concept of software development process management methodology for control and measurement systems
Autorzy:
Zawistowski, P.
Data publikacji:
2013
Wydawca:
Stowarzyszenie Inżynierów i Techników Mechaników Polskich
Tematy:
systemy pomiarowo-sterujące
inżynieria oprogramowania
zarządzanie projektami
analiza wymagań
testowanie
LabVIEW
BRMS
control and measurement systems
software engineering
project management
requirements gathering
testing
Dostawca treści:
Biblioteka Nauki
Artykuł
    Wyświetlanie 1-74 z 74

    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

    Prześlij opinię

    Twoje opinie są dla nas bardzo ważne i mogą być niezwykle pomocne w pokazaniu nam, gdzie możemy dokonać ulepszeń. Bylibyśmy bardzo wdzięczni za poświęcenie kilku chwil na wypełnienie krótkiego formularza.

    Formularz