Temat: software systems - Katalog Bibliotek Uniwersytetu Śląskiego i Uniwersytetu Ekonomicznego w Katowicach

Skocz do pozycji: 1.

Tytuł:: Cykl tworzenia oprogramowania na przykładzie projektu SOFIA
The cycle of manufacturing software systems on a base of SOFIA project
Autorzy:: Gałach, A.
Data publikacji:: 2010
Wydawca:: Sieć Badawcza Łukasiewicz - Instytut Lotnictwa
Tematy:: tworzenie oprogramowania
projekt SOFIA
manufacturing software systems
SOFIA project; Pokaż więcej
Źródło:: Prace Instytutu Lotnictwa; 2010, 4 (206); 20-28
0509-6669
2300-5408
Dostawca treści:: Biblioteka Nauki

Artykuł

na półce

Szczegóły

Skocz do pozycji: 2.

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; Pokaż więcej
Źródło:: Biuletyn Instytutu Systemów Informatycznych; 2011, 7; 69-76
1508-4183
Dostawca treści:: Biblioteka Nauki

Artykuł

na półce

Szczegóły

Skocz do pozycji: 3.

Tytuł:: QAM: proposed model for quality assurance in CBSS
Autorzy:: Kharb, L
Data publikacji:: 2015
Wydawca:: Stowarzyszenie Inżynierów i Techników Mechaników Polskich
Tematy:: component-based software systems CBSS
QAM
software architecture
components
quality assurance; Pokaż więcej
Źródło:: Advances in Science and Technology. Research Journal; 2015, 9, 27; 50-57
2299-8624
Dostawca treści:: Biblioteka Nauki

Artykuł

na półce

Szczegóły

Skocz do pozycji: 4.

Tytuł:: Parallel and Distributed Simulation of Ad Hoc Networks
Autorzy:: Sikora, A.
Niewiadomska-Szynkiewicz, E.
Data publikacji:: 2009
Wydawca:: Instytut Łączności - Państwowy Instytut Badawczy
Tematy:: ad hoc networks
distributed simulation
mobile network
software systems; Pokaż więcej
Źródło:: Journal of Telecommunications and Information Technology; 2009, 3; 76-84
1509-4553
1899-8852
Dostawca treści:: Biblioteka Nauki

Artykuł

na półce

Szczegóły

Skocz do pozycji: 5.

Tytuł:: A Hybrid CPU/GPU Cluster for Encryption and Decryption of Large Amounts of Data
Autorzy:: Niewiadomska-Szynkiewicz, E.
Marks, M.
Jantura, J.
Podbielski, M.
Data publikacji:: 2012
Wydawca:: Instytut Łączności - Państwowy Instytut Badawczy
Tematy:: AES
computer clusters
cryptography
DES
GPU computing
parallel calculation
software systems; Pokaż więcej
Źródło:: Journal of Telecommunications and Information Technology; 2012, 3; 32-39
1509-4553
1899-8852
Dostawca treści:: Biblioteka Nauki

Artykuł

na półce

Szczegóły

Skocz do pozycji: 6.

Tytuł:: Transforming Source Code to Mathematical Relations for Performance Evaluation
Autorzy:: Izadkhah, H.
Data publikacji:: 2015
Wydawca:: Uniwersytet Marii Curie-Skłodowskiej. Wydawnictwo Uniwersytetu Marii Curie-Skłodowskiej
Tematy:: Distributed Software Systems
source code
speed up
Discrete Time Markov Chains; Pokaż więcej
Źródło:: Annales Universitatis Mariae Curie-Skłodowska. Sectio AI, Informatica; 2015, 15, 2; 7-13
1732-1360
2083-3628
Dostawca treści:: Biblioteka Nauki

Artykuł

na półce

Szczegóły

Skocz do pozycji: 7.

Tytuł:: Software Startups – A Research Agenda
Autorzy:: Unterkalmsteiner, M.
Abrahamsson, P.
Wang, X. F.
Nguyen-Duc, A.
Shah, S.
Bajwa, S. S.
Baltes, G. H.
Conboy, K.
Cullina, E.
Dennehy, D.
Edison, H.
Fernandez-Sanchez, C
Garbajosa, J.
Gorschek, T.
Klotins, E.
Hokkanen, L.
Kon, F.
Lunesu, I.
Marchesi, M.
Morgan, L.
Oivo, M.
Selig, C.
Seppänen, P.
Sweetman, R.
Tyrväinen, P.
Ungerer, C.
Yagüe, A.
Data publikacji:: 2016
Wydawca:: Politechnika Wrocławska. Oficyna Wydawnicza Politechniki Wrocławskiej
Tematy:: software startup
research agenda
software-intensive systems; Pokaż więcej
Źródło:: e-Informatica Software Engineering Journal; 2016, 10, 1; 89-123
1897-7979
Dostawca treści:: Biblioteka Nauki

Artykuł

na półce

Szczegóły

Skocz do pozycji: 8.

Tytuł:: From Principles to Details: Integrated Framework for Architecture Modelling of Large Scale Software Systems
Autorzy:: Zalewski, A.
Kijas, S.
Data publikacji:: 2013
Wydawca:: Politechnika Wrocławska. Oficyna Wydawnicza Politechniki Wrocławskiej
Tematy:: numerous models of software architecture
Integrated Framework
Architecture Modelling
Large Scale Software Systems; Pokaż więcej
Źródło:: e-Informatica Software Engineering Journal; 2013, 7, 1; 45-52
1897-7979
Dostawca treści:: Biblioteka Nauki

Artykuł

na półce

Szczegóły

Skocz do pozycji: 9.

Tytuł:: A Software Platform for Global Optimization
Autorzy:: Niewiadomska-Szynkiewicz, E.
Marks, M.
Data publikacji:: 2010
Wydawca:: Instytut Łączności - Państwowy Instytut Badawczy
Tematy:: global optimization
integrated software systems
nonconvex optimization
numerical libraries
price management; Pokaż więcej
Źródło:: Journal of Telecommunications and Information Technology; 2010, 3; 49-56
1509-4553
1899-8852
Dostawca treści:: Biblioteka Nauki

Artykuł

na półce

Szczegóły

Skocz do pozycji: 10.

Tytuł:: A UML 2.0 activity diagrams/csp integrated approach for modeling and verification of software systems
Autorzy:: Elmansouri, Raida
Meghzili, Said
Chaoui, Allaoua
Data publikacji:: 2021
Wydawca:: Akademia Górniczo-Hutnicza im. Stanisława Staszica w Krakowie. Wydawnictwo AGH
Tematy:: model-driven engineering
graph transformation
transformation correctness
model checker
groove
software systems; Pokaż więcej
Źródło:: Computer Science; 2021, 22 (2); 209-233
1508-2806
2300-7036
Dostawca treści:: Biblioteka Nauki

Artykuł

na półce

Szczegóły

Skocz do pozycji: 11.

Tytuł:: Logika temporalna w informatyce
Temporal Logic in Computer Science
Autorzy:: Trzęsicki, Kazimierz
Data publikacji:: 2010
Wydawca:: Katolicki Uniwersytet Lubelski Jana Pawła II. Towarzystwo Naukowe KUL
Tematy:: logika
informatyka
logika temporalna
weryfikowanie systemów informatycznych
logic
computer science
temporal logic
verification of software systems; Pokaż więcej
Źródło:: Roczniki Filozoficzne; 2010, 58, 2; 181-205
0035-7685
Dostawca treści:: Biblioteka Nauki

Artykuł

na półce

Szczegóły

Skocz do pozycji: 12.

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; Pokaż więcej
Źródło:: Autobusy : technika, eksploatacja, systemy transportowe; 2016, 17, 6; 37-46
1509-5878
2450-7725
Dostawca treści:: Biblioteka Nauki

Artykuł

na półce

Szczegóły

Skocz do pozycji: 13.

Tytuł:: Distributed control systems integration and management with an ontology-based multi-agent system
Autorzy:: Choiński, D.
Senik, M.
Data publikacji:: 2018
Wydawca:: Polska Akademia Nauk. Czytelnia Czasopism PAN
Tematy:: distributed control system
multi-agent system
software based integration systems
ontology
Petri nets
system wieloagentowy
ontologia
sieci Petriego
inteligentny system kontroli; Pokaż więcej
Źródło:: Bulletin of the Polish Academy of Sciences. Technical Sciences; 2018, 66, 5; 613-620
0239-7528
Dostawca treści:: Biblioteka Nauki

Artykuł

na półce

Szczegóły

Skocz do pozycji: 14.

Tytuł:: The trigger system of the ICARUS experiment for the CNGS beam
Autorzy:: Arkadiusz Bubak
Jacek Holeczek
Jan Emil Kisiel
Izabela Kochanek
Sławomir Mania
M Antonello
B Baibussinov
P Benetti
F Boffelli
E Calligarich
S Centro
A Cesana
K Cieslik
D. B Cline
A. G Cocco
A Dabrowska
D Dequal
A Dermenev
R Dolfini
A Falcone
C Farnese
A Fava
A Ferrari
G Fiorillo
D Gibin
S Gninenko
A Guglielmi
M Haranczyk
M Kirsanov
J Lagoda
A Menegolli
G Meng
C Montanari
M Nicoletto
S Otwinowski
P Picchi
F Pietropaolo
P Plonski
A Rappoldi
G. L Raselli
M Rossella
C Rubbia
P Sala
A Scaramelli
E Segreto
F Sergiampietri
D Stefan
R Sulej
M Szarska
M Terrani
M Torti
F Varanini
S Ventura
C Vignoli
H Wang
X Yang
A Zalewska
A Zani
K Zaremba
Data publikacji:: 2014
Słowa kluczowe:: trigger concepts and systems (hardware and software)
Noble liquid detectors (scintillation
ionization
double-phase)
neutrino detectors; Pokaż więcej
Dostawca treści:: Repozytorium Uniwersytetu Śląskiego w Katowicach

Artykuł

na półce

Szczegóły

Skocz do pozycji: 15.

Tytuł:: Nasze wczoraj, dziś a jutro?
Libraries - yesterday, today, and tomorrow
Autorzy:: Twardosz, Bogumiła
Data publikacji:: 2018
Wydawca:: Uniwersytet Pedagogiczny im. Komisji Edukacji Narodowej w Krakowie
Tematy:: zmiany technologiczne
strategia postępu
biblioteki jutra
bibliotekarze
oprogramowania
repozytoria
bazy danych
systemy biblioteczne (oprogramowanie)
technological changes
progress strategy
libraries of tomorrow
librarians
software
repositories
databases
library systems (software); Pokaż więcej
Źródło:: Biblioteka i Edukacja; 2018, 13
2299-565X
Dostawca treści:: Biblioteka Nauki

Artykuł

na półce

Szczegóły

Skocz do pozycji: 16.

Tytuł:: A new digital currency system
Autorzy:: Van Hee, Kees
Wijngaard, Jacob
Data publikacji:: 2021-12-28
Wydawca:: Wyższa Szkoła Bankowa we Wrocławiu
Tematy:: monetary systems
payment systems
central banks
software; Pokaż więcej
Źródło:: Central European Review of Economics and Management; 2021, 5, 4; 33-60
2543-9472
Dostawca treści:: Biblioteka Nauki

Artykuł

na półce

Szczegóły

Skocz do pozycji: 17.

Tytuł:: Interoperability and Security Standards and Rules in the Polish Law on Informatization
Autorzy:: Bliźniuk, G.
Data publikacji:: 2008
Wydawca:: Wojskowa Akademia Techniczna im. Jarosława Dąbrowskiego
Tematy:: interoperability
IT systems
software engineering; Pokaż więcej
Źródło:: Biuletyn Instytutu Systemów Informatycznych; 2008, 1; 1-7
1508-4183
Dostawca treści:: Biblioteka Nauki

Artykuł

na półce

Szczegóły

Skocz do pozycji: 18.

Tytuł:: Laboratory equipment to optimise integrated communication systems for military helicopters
Autorzy:: Pazur, A.
Rogala, K.
Paszek, S.
Data publikacji:: 2009
Wydawca:: Instytut Techniczny Wojsk Lotniczych
Tematy:: integrated communication systems
research-testing station
software; Pokaż więcej
Źródło:: Journal of KONES; 2009, 16, 2; 375-382
1231-4005
2354-0133
Dostawca treści:: Biblioteka Nauki

Artykuł

na półce

Szczegóły

Skocz do pozycji: 19.

Tytuł:: Calculator for Electricity Supplys Unreliability Estimation (OZZEE)
Autorzy:: Purczyński, A.
Frąckowiak, R.
Data publikacji:: 2010
Wydawca:: Politechnika Poznańska. Wydawnictwo Politechniki Poznańskiej
Tematy:: electric power systems
electrical energy
OZZEE software; Pokaż więcej
Źródło:: Computer Applications in Electrical Engineering; 2010, 8; 270-280
1508-4248
Dostawca treści:: Biblioteka Nauki

Artykuł

na półce

Szczegóły

Skocz do pozycji: 20.

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; Pokaż więcej
Źródło:: Inżynier i Fizyk Medyczny; 2018, 7, 1; 37-43
2300-1410
Dostawca treści:: Biblioteka Nauki

Artykuł

na półce

Szczegóły

Skocz do pozycji: 21.

Tytuł:: Remote software reprogramming in embedded systems
Zdalne rekonfigurowanie oprogramowania w systemach wbudowanych
Autorzy:: Iwiński, M.
Sosnowski, J
Data publikacji:: 2013
Wydawca:: Stowarzyszenie Inżynierów i Techników Mechaników Polskich
Tematy:: embedded systems
reprogrammable software
systemy wbudowane
reprogramowanie systemów; Pokaż więcej
Źródło:: Pomiary Automatyka Kontrola; 2013, R. 59, nr 8, 8; 769-771
0032-4140
Dostawca treści:: Biblioteka Nauki

Artykuł

na półce

Szczegóły

Skocz do pozycji: 22.

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; Pokaż więcej
Źródło:: Journal of Polish Safety and Reliability Association; 2011, 2, 2; 267--278
2084-5316
Dostawca treści:: Biblioteka Nauki

Artykuł

na półce

Szczegóły

Skocz do pozycji: 23.

Tytuł:: Component-Based Architecture for Systems, Services and Data Integration in Support for Criminal Analysis
Autorzy:: Dajda, J.
Dębski, R.
Byrski, A.
Kisiel-Dorohinicki, M.
Data publikacji:: 2012
Wydawca:: Instytut Łączności - Państwowy Instytut Badawczy
Tematy:: criminal analysis
component-based systems
software integration; Pokaż więcej
Źródło:: Journal of Telecommunications and Information Technology; 2012, 1; 67-73
1509-4553
1899-8852
Dostawca treści:: Biblioteka Nauki

Artykuł

na półce

Szczegóły

Skocz do pozycji: 24.

Tytuł:: DiaSter - Intelligent system for diagnostics and automatic control support of industrial processes
Autorzy:: Syfert, M.
Wnuk, P.
Kościelny, J. M.
Data publikacji:: 2011
Wydawca:: Sieć Badawcza Łukasiewicz - Przemysłowy Instytut Automatyki i Pomiarów
Tematy:: diagnostic and supervisory systems
automatic control support
software platform; Pokaż więcej
Źródło:: Journal of Automation Mobile Robotics and Intelligent Systems; 2011, 5, 4; 41-46
1897-8649
2080-2145
Dostawca treści:: Biblioteka Nauki

Artykuł

na półce

Szczegóły

Skocz do pozycji: 25.

Tytuł:: Development of autonomous distributed manufacturing systems (ADiMS) concept and example of its application in the casting industry
Autorzy:: Martawirya, Y. Y.
Data publikacji:: 2010
Wydawca:: Instytut Techniczny Wojsk Lotniczych
Tematy:: manufacturing systems
application software
casting industry
autonomous holon; Pokaż więcej
Źródło:: Journal of KONES; 2010, 17, 2; 299-307
1231-4005
2354-0133
Dostawca treści:: Biblioteka Nauki

Artykuł

na półce

Szczegóły

Skocz do pozycji: 26.

Tytuł:: Improving software systems by Flow Control Analysis
Autorzy:: Poznański, P.
Wawrowski, M.
Data publikacji:: 2012
Wydawca:: Akademia Górniczo-Hutnicza im. Stanisława Staszica w Krakowie. Wydawnictwo AGH
Tematy:: software engineering
architecture definition
requirements management
testing
agile
systems modeling; Pokaż więcej
Źródło:: Computer Science; 2012, 13 (2); 81-92
1508-2806
2300-7036
Dostawca treści:: Biblioteka Nauki

Artykuł

na półce

Szczegóły

Skocz do pozycji: 27.

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; Pokaż więcej
Źródło:: Nukleonika; 2022, 67, 3; 49--64
0029-5922
1508-5791
Dostawca treści:: Biblioteka Nauki

Artykuł

na półce

Szczegóły

Skocz do pozycji: 28.

Tytuł:: A Testing Environment for Distributed Systems
Autorzy:: Sztandarski, M.
Sowa, G.
Goetzen, P.
Marchlewska, A.
Data publikacji:: 2012
Wydawca:: Społeczna Akademia Nauk w Łodzi
Tematy:: distributed systems
software testing
testing automation
test-driven development; Pokaż więcej
Źródło:: Journal of Applied Computer Science Methods; 2012, 4 No. 1; 45-62
1689-9636
Dostawca treści:: Biblioteka Nauki

Artykuł

na półce

Szczegóły

Skocz do pozycji: 29.

Tytuł:: Analysis of distributed systems dynamics with Erlang Performance Lab
Autorzy:: Ślaski, M.
Turek, W.
Gil, A.
Szafran, B.
Paciorek, M.
Byrski, A.
Data publikacji:: 2018
Wydawca:: Akademia Górniczo-Hutnicza im. Stanisława Staszica w Krakowie. Wydawnictwo AGH
Tematy:: software engineering
distributed computing and simulation
distributed systems monitoring; Pokaż więcej
Źródło:: Computer Science; 2018, 19 (2); 139-155
1508-2806
2300-7036
Dostawca treści:: Biblioteka Nauki

Artykuł

na półce

Szczegóły

Skocz do pozycji: 30.

Tytuł:: E-negotiation design and engineering
Autorzy:: Kersten, Gregory
Data publikacji:: 2021
Wydawca:: Polska Akademia Nauk. Instytut Badań Systemowych PAN
Tematy:: e-negotiation protocols
e-negotiation support systems
negotiation ontology
software agents; Pokaż więcej
Źródło:: Control and Cybernetics; 2021, 50, 1; 11--31
0324-8569
Dostawca treści:: Biblioteka Nauki

Artykuł

na półce

Szczegóły

Skocz do pozycji: 31.

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; Pokaż więcej
Źródło:: Journal of Polish Safety and Reliability Association; 2011, 2, 3; 45--52
2084-5316
Dostawca treści:: Biblioteka Nauki

Artykuł

na półce

Szczegóły

Skocz do pozycji: 32.

Tytuł:: Elements of Method Improvement of Flood Zones Determination
Autorzy:: Kryzhovets, Tetiana
Data publikacji:: 2020
Wydawca:: Polska Akademia Nauk. Oddział w Lublinie PAN
Tematy:: stochastic models
methods of extreme estimation
optimization problems
software
automated information systems; Pokaż więcej
Źródło:: ECONTECHMOD : An International Quarterly Journal on Economics of Technology and Modelling Processes; 2020, 9, 1; 25--29
2084-5715
Dostawca treści:: Biblioteka Nauki

Artykuł

na półce

Szczegóły

Skocz do pozycji: 33.

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; Pokaż więcej
Źródło:: Postępy w Inżynierii Mechanicznej; 2015, 6(3); 13-22
2300-3383
Dostawca treści:: Biblioteka Nauki

Artykuł

na półce

Szczegóły

Skocz do pozycji: 34.

Tytuł:: A safe programmable electronic system
Autorzy:: Halang, W.
Śnieżek, M.
Data publikacji:: 2010
Wydawca:: Polska Akademia Nauk. Czytelnia Czasopism PAN
Tematy:: programmable electronic systems
safety
fail-safe comparison
function block programming
software verification; Pokaż więcej
Źródło:: Bulletin of the Polish Academy of Sciences. Technical Sciences; 2010, 58, 3; 423-434
0239-7528
Dostawca treści:: Biblioteka Nauki

Artykuł

na półce

Szczegóły

Skocz do pozycji: 35.

Tytuł:: Federated Database Systems in Supply Chain Management
Autorzy:: Paszkowski, J.
Marchlewska, A.
Przybyszewski, K.
Data publikacji:: 2012
Wydawca:: Społeczna Akademia Nauk w Łodzi
Tematy:: soft computing
supply chain management
databases
federated database systems
middle software; Pokaż więcej
Źródło:: Journal of Applied Computer Science Methods; 2012, 4 No. 2; 55-66
1689-9636
Dostawca treści:: Biblioteka Nauki

Artykuł

na półce

Szczegóły

Skocz do pozycji: 36.

Tytuł:: Charakterystyka systemu klasy ERP
Characteristics of ERP class system
Autorzy:: Latała, D.
Data publikacji:: 2018
Wydawca:: Instytut Naukowo-Wydawniczy "SPATIUM"
Tematy:: SAP
oprogramowanie ERP
zarządzanie przedsiębiorstwem
ERP systems
SAP software
business management; Pokaż więcej
Źródło:: Autobusy : technika, eksploatacja, systemy transportowe; 2018, 19, 6; 1221-1224, CD
1509-5878
2450-7725
Dostawca treści:: Biblioteka Nauki

Artykuł

na półce

Szczegóły

Skocz do pozycji: 37.

Tytuł:: Feasibility Analysis of Grid-Connected Solar Photovoltaic Systems in Dhahran and Bisha, Saudi Arabia
Autorzy:: Allah, Malik Al-Abed
Data publikacji:: 2024
Wydawca:: Polskie Towarzystwo Inżynierii Ekologicznej
Tematy:: photovoltaic systems
grid connected
solar energy
greenhouse gas emissions
RETScreen software; Pokaż więcej
Źródło:: Journal of Ecological Engineering; 2024, 25, 9; 260-271
2299-8993
Dostawca treści:: Biblioteka Nauki

Artykuł

na półce

Szczegóły

Skocz do pozycji: 38.

Tytuł:: Selected methods of cost estimation of ERP systems. Modifications
Wybrane metody wyceny modyfikacji systemów ERP
Autorzy:: Plecka, P
Data publikacji:: 2013
Wydawca:: Polskie Towarzystwo Zarządzania Produkcją
Tematy:: ERP systems
software modifications
cost estimation
systemy ERP
modyfikacje oprogramowania
wycena kosztów oprogramowania; Pokaż więcej
Źródło:: Zarządzanie Przedsiębiorstwem; 2013, 16, 4; 27-34
1643-4773
Dostawca treści:: Biblioteka Nauki

Artykuł

na półce

Szczegóły

Skocz do pozycji: 39.

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; Pokaż więcej
Źródło:: Biuletyn Instytutu Systemów Informatycznych; 2011, 7; 77-86
1508-4183
Dostawca treści:: Biblioteka Nauki

Artykuł

na półce

Szczegóły

Skocz do pozycji: 40.

Tytuł:: Trust and Risk Assessment Model of Popular Software Based on Known Vulnerabilities
Autorzy:: Janiszewski, M.
Felkner, A.
Olszak, J.
Data publikacji:: 2017
Wydawca:: Polska Akademia Nauk. Czytelnia Czasopism PAN
Tematy:: software vulnerabilities
risk assessment
software management
trust management models
reputation management models
0-day vulnerabilities forecast
risk of information systems
prediction model; Pokaż więcej
Źródło:: International Journal of Electronics and Telecommunications; 2017, 63, 3; 329-336
2300-1933
Dostawca treści:: Biblioteka Nauki

Artykuł

na półce

Szczegóły

Skocz do pozycji: 41.

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.
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; Pokaż więcej
Źródło:: TTS Technika Transportu Szynowego; 2012, 9; 329-338, CD
1232-3829
2543-5728
Dostawca treści:: Biblioteka Nauki

Artykuł

na półce

Szczegóły

Skocz do pozycji: 42.

Tytuł:: Trends and challenges in the aviation systems safety and cybersecurity
Autorzy:: Zalewski, Janusz
Kornecki, Andrew
Data publikacji:: 2019
Wydawca:: Politechnika Gdańska
Tematy:: aviation safety
cybersecurity
software safety
safety standards
safety guidelines
unmanned aircraft systems
aircraft certification; Pokaż więcej
Źródło:: TASK Quarterly. Scientific Bulletin of Academic Computer Centre in Gdansk; 2019, 23, 2; 159-175
1428-6394
Dostawca treści:: Biblioteka Nauki

Artykuł

na półce

Szczegóły

Skocz do pozycji: 43.

Tytuł:: A Graphical Modelling Editor for STARSoC Design Flow Tool Based on Model Driven Engineering Approach
Autorzy:: Kerkouche, E.
Bourennane, E. B.
Chaoui, A.
Data publikacji:: 2018
Wydawca:: Politechnika Wrocławska. Oficyna Wydawnicza Politechniki Wrocławskiej
Tematy:: embedded systems
hardware-software codesign
STARSoC tool
UML
model driven engineering
Eclipse modelling project; Pokaż więcej
Źródło:: e-Informatica Software Engineering Journal; 2018, 12, 1; 9-26
1897-7979
Dostawca treści:: Biblioteka Nauki

Artykuł

na półce

Szczegóły

Skocz do pozycji: 44.

Tytuł:: Symulator do badania własności systemów wieloprocesorowych
Simulator for multiprocessor systems efficiency investigation
Autorzy:: Nowicki, T.
Wrzosek, Ł.
Data publikacji:: 2010
Wydawca:: Polskie Towarzystwo Symulacji Komputerowej
Tematy:: symulator programowy
systemy wieloprocesorowe
efektywność systemu
software simulator
multiprocesor systems
system efficiency; Pokaż więcej
Źródło:: Symulacja w Badaniach i Rozwoju; 2010, 1, 3; 279-294
2081-6154
Dostawca treści:: Biblioteka Nauki

Artykuł

na półce

Szczegóły

Skocz do pozycji: 45.

Tytuł:: A model of transition from quality management systems to knowledge management systems in software developing organizations
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; Pokaż więcej
Źródło:: Informatyka Ekonomiczna; 2013, 4(30); 115-133
1507-3858
Dostawca treści:: Biblioteka Nauki

Artykuł

na półce

Szczegóły

Skocz do pozycji: 46.

Tytuł:: Cloud computing solutions in the management of a contemporary business organization. The vendor and user perspective
Autorzy:: Ziora, Leszek
Data publikacji:: 2018
Wydawca:: Wydawnictwo Uniwersytetu Ekonomicznego we Wrocławiu
Tematy:: cloud computing
software as a service
decision making support
Management Information Systems; Pokaż więcej
Źródło:: Informatyka Ekonomiczna; 2018, 4(50); 169-182
1507-3858
Dostawca treści:: Biblioteka Nauki

Artykuł

na półce

Szczegóły

Skocz do pozycji: 47.

Tytuł:: Online accounting software for the business
Autorzy:: Christauskas, Ceslovas
Miseviciene, Regina
Data publikacji:: 2011
Wydawca:: Uniwersytet Łódzki. Wydawnictwo Uniwersytetu Łódzkiego
Tematy:: small to medium enterprises
accounting information systems
web-based software
cloud computing; Pokaż więcej
Źródło:: Acta Universitatis Lodziensis. Folia Oeconomica; 2011, 257
0208-6018
2353-7663
Dostawca treści:: Biblioteka Nauki

Artykuł

na półce

Szczegóły

Skocz do pozycji: 48.

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; Pokaż więcej
Źródło:: Archives of Transport; 2010, 22, 2; 219-237
0866-9546
2300-8830
Dostawca treści:: Biblioteka Nauki

Artykuł

na półce

Szczegóły

Skocz do pozycji: 49.

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; Pokaż więcej
Źródło:: Pomiary Automatyka Robotyka; 2016, 20, 1; 31-36
1427-9126
Dostawca treści:: Biblioteka Nauki

Artykuł

na półce

Szczegóły

Skocz do pozycji: 50.

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; Pokaż więcej
Źródło:: Pomiary Automatyka Kontrola; 2005, R. 51, nr 1, 1; 11-13
0032-4140
Dostawca treści:: Biblioteka Nauki

Artykuł

na półce

Szczegóły

Skocz do pozycji: 51.

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; Pokaż więcej
Źródło:: Informatyka Ekonomiczna; 2013, 4(30); 134-158
1507-3858
Dostawca treści:: Biblioteka Nauki

Artykuł

na półce

Szczegóły

Skocz do pozycji: 52.

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; Pokaż więcej
Źródło:: Automatyka / Automatics; 2013, 17, 2; 263-270
1429-3447
2353-0952
Dostawca treści:: Biblioteka Nauki

Artykuł

na półce

Szczegóły

Skocz do pozycji: 53.

Tytuł:: Strategie zapewniania bezpieczeństwa systemów mobilnych
Strategies of providing security in mobile systems
Autorzy:: Piechaczek, D.
Jóźwiak, I.
Data publikacji:: 2017
Wydawca:: Politechnika Śląska. Wydawnictwo Politechniki Śląskiej
Tematy:: bezpieczeństwo
systemy mobilne
aplikacja mobilna
oprogramowanie
strategia
security
mobile systems
mobile apps
software
strategy; Pokaż więcej
Źródło:: Zeszyty Naukowe. Organizacja i Zarządzanie / Politechnika Śląska; 2017, 113; 365-373
1641-3466
Dostawca treści:: Biblioteka Nauki

Artykuł

na półce

Szczegóły

Skocz do pozycji: 54.

Tytuł:: Walidacja oprogramowania współrzędnościowych maszyn pomiarowych
Validation of the CMM software
Autorzy:: Nieciąg, H.
Tabisz, R. A.
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; Pokaż więcej
Źródło:: Pomiary Automatyka Kontrola; 2011, R. 57, nr 12, 12; 1611-1616
0032-4140
Dostawca treści:: Biblioteka Nauki

Artykuł

na półce

Szczegóły

Skocz do pozycji: 55.

Tytuł:: Badanie satysfakcji jako atrybutu jakości systemów e-usługowych
The Studies of Satisfaction Understood as an Attribute of e-Service Systems Quality
Autorzy:: Łopaciński, Karol
Maciaszek, Leszek A.
Data publikacji:: 2015
Wydawca:: Uniwersytet Warszawski. Wydawnictwo Naukowe Wydziału Zarządzania
Tematy:: satysfakcja użytkownika
jakość oprogramowania
systemy e-usługowe
user satisfaction
software quality
e-services systems; Pokaż więcej
Źródło:: Problemy Zarządzania; 2015, 2/2015 (52), t.1; 37-50
1644-9584
Dostawca treści:: Biblioteka Nauki

Artykuł

na półce

Szczegóły

Skocz do pozycji: 56.

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; Pokaż więcej
Źródło:: Studia Ekonomiczne; 2018, 369; 271-280
2083-8611
Dostawca treści:: Biblioteka Nauki

Artykuł

na półce

Szczegóły

Skocz do pozycji: 57.

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; Pokaż więcej
Źródło:: Pomiary Automatyka Robotyka; 2023, 27, 1; 111--117
1427-9126
Dostawca treści:: Biblioteka Nauki

Artykuł

na półce

Szczegóły

Skocz do pozycji: 58.

Tytuł:: Integrated Software for Implementation of Control Systems Based on PLC Controllers
Autorzy:: Surma, S.
Mikulski, J.
Data publikacji:: 2008
Wydawca:: Uniwersytet Morski w Gdyni. Wydział Nawigacyjny
Tematy:: transport
Control System
Integrated Software
PLC Controllers
Sea Transportation
Information Technology (IT)
Safety of Multicomputer Systems; Pokaż więcej
Źródło:: TransNav : International Journal on Marine Navigation and Safety of Sea Transportation; 2008, 2, 3; 297-300
2083-6473
2083-6481
Dostawca treści:: Biblioteka Nauki

Artykuł

na półce

Szczegóły

Skocz do pozycji: 59.

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; Pokaż więcej
Źródło:: Pomiary Automatyka Robotyka; 2011, 15, 2; 305-314
1427-9126
Dostawca treści:: Biblioteka Nauki

Artykuł

na półce

Szczegóły

Skocz do pozycji: 60.

Tytuł:: Metody rozwoju oprogramowania krytycznego dla bezpieczeństwa
Safety Critical Software Development Methodologies in Avionics
Autorzy:: Zakrzewski, Paweł
Narkiewicz, Janusz
Brenchly, Darren
Data publikacji:: 2020
Wydawca:: Sieć Badawcza Łukasiewicz - Instytut Lotnictwa
Tematy:: avionics
safety critical software
Agile
systems engineering
awionika
oprogramowanie krytyczne dla bezpieczeństwa
metody zwinne
inżynieria systemowa; Pokaż więcej
Źródło:: Transactions on Aerospace Research; 2020, 2 (259); 59-71
0509-6669
2545-2835
Dostawca treści:: Biblioteka Nauki

Artykuł

na półce

Szczegóły

Skocz do pozycji: 61.

Tytuł:: Accelerator Infrastructure in Europe EuCARD 2011
Autorzy:: Romaniuk, R. S.
Data publikacji:: 2011
Wydawca:: Polska Akademia Nauk. Czytelnia Czasopism PAN
Tematy:: electronics and photonics for high energy physics experiments
free electron laser
distributed measurement and control systems
precise timing distribution systems of large space extent
advanced electronic systems
integration of hardware and software; Pokaż więcej
Źródło:: International Journal of Electronics and Telecommunications; 2011, 57, 3; 413-419
2300-1933
Dostawca treści:: Biblioteka Nauki

Artykuł

na półce

Szczegóły

Skocz do pozycji: 62.

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; Pokaż więcej
Źródło:: Prace Instytutu Elektrotechniki; 2016, 272; 31-48
0032-6216
Dostawca treści:: Biblioteka Nauki

Artykuł

na półce

Szczegóły

Skocz do pozycji: 63.

Tytuł:: Effective implementation of e-CRM strategy
Efektywne wdrażanie strategii e-CRM
Autorzy:: Dzopalic, M.
Zubovic, J.
Bradic-Martinovic, A.
Data publikacji:: 2010
Wydawca:: Politechnika Częstochowska
Tematy:: CRM
satysfakcja
lojalność
rozwiązania w zakresie oprogramowania
zintegrowane systemy biznesowe
satisfaction
loyalty
software solutions
integrated business systems; Pokaż więcej
Źródło:: Polish Journal of Management Studies; 2010, 1; 54-65
2081-7452
Dostawca treści:: Biblioteka Nauki

Artykuł

na półce

Szczegóły

Skocz do pozycji: 64.

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; Pokaż więcej
Źródło:: Nierówności Społeczne a Wzrost Gospodarczy; 2018, 53; 263-274
1898-5084
2658-0780
Dostawca treści:: Biblioteka Nauki

Artykuł

na półce

Szczegóły

Skocz do pozycji: 65.

Tytuł:: Wybrane zagadnienia bezpieczeństwa danych w sieciach komputerowych
Selected issues of data security in computer networks
Autorzy:: Chaładyniak, D.
Data publikacji:: 2015
Wydawca:: Warszawska Wyższa Szkoła Informatyki
Tematy:: złośliwe oprogramowanie
atak sieciowy
systemy wykrywania włamań
zapory ogniowe
Malicious Software
network attacks
intrusion detection systems (IDS)
firewalls; Pokaż więcej
Źródło:: Zeszyty Naukowe Warszawskiej Wyższej Szkoły Informatyki; 2015, 9, 13; 33-56
1896-396X
2082-8349
Dostawca treści:: Biblioteka Nauki

Artykuł

na półce

Szczegóły

Skocz do pozycji: 66.

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; Pokaż więcej
Źródło:: Pomiary Automatyka Kontrola; 2010, R. 56, nr 11, 11; 1333-1335
0032-4140
Dostawca treści:: Biblioteka Nauki

Artykuł

na półce

Szczegóły

Skocz do pozycji: 67.

Tytuł:: Adaptacyjne planowanie sprintu na podstawie informacji o ryzyku
Adaptational Sprint planning basing on risk information
Autorzy:: Marchwicka, Ewa
Marchwicki, Tymon
Data publikacji:: 2024-08-01
Wydawca:: Szkoła Główna Handlowa w Warszawie. Kolegium Zarządzania i Finansów
Tematy:: Scrum methodology
uncertainty
software projects
recommendation systems
risk management
metodyka scrum
niepewność
projekty informatyczne
systemy rekomendacyjne
zarządzanie ryzykiem; Pokaż więcej
Źródło:: Studia i Prace Kolegium Zarządzania i Finansów; 2023, 195; 53-72
1234-8872
2657-5620
Dostawca treści:: Biblioteka Nauki

Artykuł

na półce

Szczegóły

Skocz do pozycji: 68.

Tytuł:: Accelerator Science and Technology in Europe EuCARD 2012
Autorzy:: Romaniuk, R. S.
Data publikacji:: 2012
Wydawca:: Polska Akademia Nauk. Czytelnia Czasopism PAN
Tematy:: electronics and photonics for high energy physics experiments
free electron laser
advanced electronic systems
integration of hardware and software
nuclear electronics; Pokaż więcej
Źródło:: International Journal of Electronics and Telecommunications; 2012, 58, 4; 327-334
2300-1933
Dostawca treści:: Biblioteka Nauki

Artykuł

na półce

Szczegóły

Skocz do pozycji: 69.

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; Pokaż więcej
Źródło:: Biuletyn Wojskowej Akademii Technicznej; 2019, 68, 2; 23-41
1234-5865
Dostawca treści:: Biblioteka Nauki

Artykuł

na półce

Szczegóły

Skocz do pozycji: 70.

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; Pokaż więcej
Źródło:: Pomiary Automatyka Kontrola; 2007, R. 53, nr 5, 5; 108-110
0032-4140
Dostawca treści:: Biblioteka Nauki

Artykuł

na półce

Szczegóły

Skocz do pozycji: 71.

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; Pokaż więcej
Źródło:: Pomiary Automatyka Kontrola; 2007, R. 53, nr 5, 5; 111-113
0032-4140
Dostawca treści:: Biblioteka Nauki

Artykuł

na półce

Szczegóły

Skocz do pozycji: 72.

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; Pokaż więcej
Źródło:: Elektrotechnika i Elektronika; 2006, 25, 1; 1-9
1640-7202
Dostawca treści:: Biblioteka Nauki

Artykuł

na półce

Szczegóły

Skocz do pozycji: 73.

Tytuł:: Certification of Highly Complex Safety-Related Systems
Autorzy:: Reinert, D.
Schaefer, M.
Data publikacji:: 1999
Wydawca:: Centralny Instytut Ochrony Pracy
Tematy:: certification
complex electronic systems
numerical controller
power drive
machining centre
validation
verification
microcomputer
metrics
software
certyfikacja
systemy elektroniczne
centra obróbkowe
mikrokomputery
oprogramowanie; Pokaż więcej
Źródło:: International Journal of Occupational Safety and Ergonomics; 1999, 5, 4; 537-552
1080-3548
Dostawca treści:: Biblioteka Nauki

Artykuł

na półce

Szczegóły

Skocz do pozycji: 74.

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; Pokaż więcej
Źródło:: Pomiary Automatyka Kontrola; 2013, R. 59, nr 6, 6; 590-593
0032-4140
Dostawca treści:: Biblioteka Nauki

Artykuł

na półce

Szczegóły

Skocz do pozycji: 75.

Tytuł:: Initial analysis of the tracking performance of the GOOSE GNSS Software-Defined Receiver
Autorzy:: Galas, Roman
Kunzi, Florian
Adolfs, Marjolijn
Overbeck, Matthias
Felber, Wolfgang
Data publikacji:: 2020
Wydawca:: Akademia Morska w Szczecinie. Wydawnictwo AMSz
Tematy:: local ionospheric perturbations
scintillations
single autonomous GNSS monitoring station
continuously monitoring GNSS ground systems
autonomous power management
real-time processing
software-defined receiver; Pokaż więcej
Źródło:: Zeszyty Naukowe Akademii Morskiej w Szczecinie; 2020, 63 (135); 113-120
1733-8670
2392-0378
Dostawca treści:: Biblioteka Nauki

Artykuł

na półce

Szczegóły

Skocz do pozycji: 76.

Tytuł:: Nowoczesne technologie projektowania systemów automatyki
Modern Technologies of Designing Automation Systems
Autorzy:: Pauluk, Mariusz
Data publikacji:: 2020
Wydawca:: Sieć Badawcza Łukasiewicz - Przemysłowy Instytut Automatyki i Pomiarów
Tematy:: systemy wbudowane
jakość oprogramowania
kryzys oprogramowania
cykl życia oprogramowania
Model V
weryfikacja
walidacja
techniki testowania MIL
techniki testowania SIL
techniki testowania PIL
techniki testowania HIL
embedded systems
quality of software
software crisis
software life cycle
V-Model
verification
validation
MIL model-in-the-loop testing
SIL model-in-the-loop testing
PIL model-in-the-loop testing
HIL model-in-the-loop testing; Pokaż więcej
Źródło:: Pomiary Automatyka Robotyka; 2020, 24, 4; 85--91
1427-9126
Dostawca treści:: Biblioteka Nauki

Artykuł

na półce

Szczegóły

Skocz do pozycji: 77.

Tytuł:: Krótkookresowe planowanie robót górniczych z wykorzystaniem oprogramowania MineScape w BOT KWB "Bełchatów" SA
Short-term mine planning using MineScape software in BOT KWB Bełchatów SA
Autorzy:: Frankowski, R.
Gądek, A.
Sośniak, E.
Data publikacji:: 2007
Wydawca:: Akademia Górniczo-Hutnicza im. Stanisława Staszica w Krakowie. Wydawnictwo AGH
Tematy:: krótkookresowe planowanie robót górniczych
plany pracy maszyn podstawowych
geometria odkrywek
systemy informatyczne
MOSS
DATATIME
oprogramowanie
bazy danych
Poltegor-Instytut
cyfrowe modele geologiczne złóż
MINCOM
short-term mine planning
primary machines work-plan
pit geometry
information systems
software
database
digital model of deposit geology; Pokaż więcej
Źródło:: Górnictwo i Geoinżynieria; 2007, 31, 2; 229-240
1732-6702
Dostawca treści:: Biblioteka Nauki

Artykuł

na półce

Szczegóły

Skocz do pozycji: 78.

Tytuł:: VHDL-Ams Model of the Integrated Membrane Micro-Accelerometer with Delta-Sigma (Δσ) Analog-To-Digital Converter for Schematic Design Level
Autorzy:: Golovatyj, А.
Teslyuk, V.
Kryvyy, R.
Data publikacji:: 2015
Wydawca:: Polska Akademia Nauk. Oddział w Lublinie PAN
Tematy:: Micro-Electro-Mechanical Systems (MEMS)
micromechanical sensitive element
integrated membrane micro-accelerometer
delta-sigma modulation
pulse width modulation (PWM)
delta-sigma analog-todigital converter (ADC)
one bit digital-to-analog converter (DAC)
VHDL-AMS hardware description language
hAMSter software
schemotechnical design level; Pokaż więcej
Źródło:: ECONTECHMOD : An International Quarterly Journal on Economics of Technology and Modelling Processes; 2015, 4, 2; 65-70
2084-5715
Dostawca treści:: Biblioteka Nauki

Artykuł

na półce

Szczegóły

Informacja

Wyszukujesz frazę "software systems" wg kryterium: Temat